Maurizio Lenzerini's Publications

Books

Fondamenti di programmazione dei calcolatori elettronici: Carlo Batini, Luigia Carlucci Aiello, Maurizio Lenzerini, Alberto Marchetti Spaccamela, and Alfonso Miola
Franco Angeli, 1991.
La progettazione concettuale dei dati: Carlo Batini, Giulio De Petra, Maurizio Lenzerini, and Gaetano Santucci
Franco Angeli, 1987.
Manuale di informatica - basi di dati: Carlo Batini and Maurizio Lenzerini
Calderini, 1995.
Fondamenti della progettazione dei programmi. princìpi, tecniche e loro applicazioni in C++: Marco Cadoli, Maurizio Lenzerini, Paolo Naggar, and Andrea Schaerf
Città Studi Edizioni di UTET Libreria, Torino, 1997. Paper available on-line .
Esercizi di progettazione di programmi in C++: Marco Cadoli, Maurizio Lenzerini, Emanuele Panizzi, and Andrea Schaerf
Città Studi Edizioni di UTET Libreria, Torino, 1998. Paper available on-line .
Proceedings of the 1999 international conference on cooperative information systems: Umesh Dayal and Maurizio Lenzerini, editors IEEE Computer, 1999.
Fundamentals of data warehouses: Matthias Jarke, Maurizio Lenzerini, Yannis Vassiliou, and Panos Vassiliadis
Springer-Verlag, 1999.
Progetto di programmi in pascal.: Maurizio Lenzerini and Paolo Atzeni
Città Studi Edizioni, Milano, 1988 3a edizione.
Ai*ia 97: Advances in artificial intelligence. proceedings of the 5th congress of the italian association for artificial intelligence: Maurizio Lenzerini, editor Number 1321 in Lecture Notes in Artificial Intelligence. Springer-Verlag, 1997.
Inheritance hierarchies in knowledge representation and programming languages: Maurizio Lenzerini, Daniele Nardi, and Maria Simi, editors John Wiley & Sons, Chichester, 1991.

Journal Papers

A methodology for data schema integration in the entity relationship model: Carlo Batini and Maurizio Lenzerini
IEEE Transactions on Software Engineering , 10(6):650-664, 1984.
A comparative analysis of methodologies for database schema integration: Carlo Batini, Maurizio Lenzerini, and Sham B. Navathe
ACM Computing Surveys , 18(4):323-364, 1986.
A computer-aided methodology for conceptual database design: Carlo Batini, Maurizio Lenzerini, and Gaetano Santucci
Information Systems , 7(3):265-280, 1982.
Survey on non-monotonic reasoning: Luigia Carlucci Aiello, Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Fiora Pirri, and Marco Schaerf
In Zbigniew W. Ras and Maria Zemankova, editors, Intelligent Systems: State of the Art and Future Directions , series in Artificial Intelligence, pages 120-151. Elsevier, 1990.
Modeling and querying semi-structured data: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
Network and Information Systems , 2(2), 1999.
Representing and reasoning on XML documents: A description logic approach: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
Journal of Logic and Computation , 1999 To appear.
Reasoning in expressive description logics: Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Daniele Nardi
In Alan Robinson and Andrei Voronkov, editors, Handbook of Automated Reasoning . Elsevier Science Publishers (North-Holland), Amsterdam, 1999 To appear.
Conceptual language for statistical data modeling: Tiziana Catarci, Giovanna D'Angiolini, and Maurizio Lenzerini
Data and Knowledge Engineering , 17(2):93-125, 1995.
Representing and using interschema knowledge in cooperative information systems: Tiziana Catarci and Maurizio Lenzerini
Journal of Intelligent and Cooperative Information Systems , 2(4):375-398, 1993.
The complexity of propositional closed world reasoning and circumscription: Marco Cadoli and Maurizio Lenzerini
Journal of Computer and System Sciences , 48:255-310, 1994 Shorter version in the proceedings of AAAI-90.
Description logics for conceptual data modeling: Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi
In Jan Chomicki and Günter Saake, editors, Logics for Databases and Information Systems , pages 229-264. Kluwer Academic Publisher, 1998. Paper available on-line .
Unifying class-based representation formalisms: Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi
Journal of Artificial Intelligence Research , 11:199-240, 1999.
A uniform framework for concept definitions in description logics: Giuseppe De Giacomo and Maurizio Lenzerini
Journal of Artificial Intelligence Research , 6:87-110, 1997.
Deductive entity-relationship modeling: Giuseppe Di Battista and Maurizio Lenzerini
IEEE Transactions on Knowledge and Data Engineering , 5(3):439-450, 1993.
Using terminological reasoning in hybrid systems: Francesco M. Donini, Maurizio Lenzerini, and Daniele Nardi
AI Communications_The European Journal for Artificial Intelligence , 3(3):128-138, 1990.
Nonmonotonic reasoning: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Fiora Pirri, and Marco Schaerf
Artificial Intelligence Review , 4:163-210, 1990.
Ragionamento non monotono: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Fiora Pirri, and Marco Schaerf
Rivista di Informatica , XXI(1):5-42, 1991.
The complexity of existential quantification in concept languages: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Bernhard Hollunder, Werner Nutt, and Alberto Marchetti Spaccamela
Artificial Intelligence , 53:309-327, 1992.
Queries, rules and definitions as epistemic sentences in concept languages: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, and Andrea Schaerf
In Gerhard Lakemeyer and Bernhard Nebel, editors, Theoretical Foundations of Knowledge Representation and Reasoning , number 810 in Lecture Notes in Artificial Intelligence. Springer-Verlag, 1994.
An epistemic operator for description logics: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, and Werner Nutt
Artificial Intelligence , 100(1-2):225-274, 1998.
The complexity of concept languages: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Werner Nutt
Information and Computation , 134:1-58, 1997.
Deduction in concept languages: From subsumption to instance checking: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf
Journal of Logic and Computation , 4(4):423-452, 1994. Paper available on-line .
Reasoning in description logics: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf
In Gerhard Brewka, editor, Foundation of Knowledge Representation , pages 191-236. CSLI-Publications, 1996.
AL-log: integrating datalog and description logics: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf
Journal of Intelligent Information Systems , 10:227-252, 1998. Paper available on-line .
Careful closure of inheritance networks: Maurizio Lenzerini
In M. Lenzerini, D. Nardi, and M. Simi, editors, Inheritance Hierarchies in Knowledge Representation and Programming Languages , pages 97-111. John Wiley & Sons, 1991.
Type data bases with incomplete information: Maurizio Lenzerini
Information Sciences , 53:61-87, 1991.
On the satisfiability of dependency constraints in entity-relationship schemata: Maurizio Lenzerini and Paolo Nobili
Information Systems , 15(4):453-461, 1990.

Conference Papers

Knowledge-based access to the network: Cinzia Barcaroli, Luca Iocchi, Maurizio Lenzerini, and Daniele Nardi
In Proceedings of WWW5 Workshop on Artificial Intelligence-based tools to help W3 users , 1996. Paper available on-line .
Knowledge-based access to the web: Diego Calvanese, Giuseppe De Giacomo, Luca Iocchi, Maurizio Lenzerini, and Daniele Nardi
In Proceedings of the Fifth AI*IA Symposium , 1996. Paper available on-line .
Increasing the power of structured objects: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
In KRDB-95: Reasoning about Structured Objects: Knowledge Representation meets Databases , Bielefeld (Germany), 1995.
Structured objects: Modeling and resoning: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
In Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases (DOOD'95) , number 1013 in Lecture Notes in Computer Science, pages 229-246, 1995. Paper available on-line .
Representing SGML documents in Description Logics: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
In Proceedings of the 1996 Description Logic Workshop (DL'96) , 1996.
Conjunctive query containment in Description Logics with n-ary relations: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
In Proceedings of the 1997 Description Logic Workshop (DL'97) , pages 5-9, 1997. Paper available on-line .
Representing and reasoning on SGML documents: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
In Proceedings of the Tenth International Symposium on Methodologies for Intelligent Systems (ISMIS'97) , 1997. Paper available on-line .
Extending semi-structured data: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
In Proceedings of the Sixth Italian Conference on Database Systems (SEBD'98) , 1998.
On the decidability of query containment under constraints: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
In Proceedings of the Seventeenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'98) , 1998. Paper available on-line .
On the decidability of query containment under constraints: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
In Proceedings of the Seventeenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'98) , pages 149-158, 1998.
Semi-structured data with constraints and incomplete information: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
In Proceedings of the 1998 Description Logic Workshop (DL'98) , pages 11-20, 1998.
What can knowledge representation do for semi-structured data?: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
In Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI'98) , pages 205-210, 1998. Paper available on-line .
Description logic framework for information integration: Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati
In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98) , pages 2-13, 1998. Paper available on-line .
Knowledge representation approach to information integration: Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati
In Proc. of AAAI Workshop on AI and Information Integration , pages 58-65. AAAI Press/The MIT Press, 1998.
Source integration in data warehousing: Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati
In Proc. of the 9th Int. Workshop on Database and Expert Systems Applications (DEXA-98) , pages 192-197. IEEE Computer Society Press, 1998. Paper available on-line .
Information integration: Conceptual modeling and reasoning support: Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati
In Proceedings of the Sixth International Conference on Cooperative Information Systems (CoopIS'98) , pages 280-291, 1998.
Queries and constraints on semi-structured data: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
In Proceedings of the Eleventh Conference on Advanced Information Systems Engineering (CAiSE'99) , 1999.
Reasoning in expressive description logics with fixpoints based on automata on infinite trees: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99) , 1999.
Rewriting regular expressions in semi-structured data: Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Vardi
In Proc. of ICDT'99 Workshop on Query Processing for Semi-Structured Data and Non-Standard Data Formats , 1999. Paper available on-line .
Rewriting of regular expressions and regular path queries: Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Vardi
In Proceedings of the Eighteenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'99) , 1999. Paper available on-line .
Concept description language for statistical data modeling: Tiziana Catarci, Giovanna D'Angiolini, and Maurizio Lenzerini
In Very Large Data Bases, VLDB-90 , 1990.
The complexity of propositional closed world reasoning and circumscription: Marco Cadoli and Maurizio Lenzerini
In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI'90) , pages 550-555, 1990.
Making object-oriented schemas more expressive: Diego Calvanese and Maurizio Lenzerini
In Proceedings of the Thirteenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'94) , pages 243-254, Minneapolis, 1994. ACM Press and Addison Wesley. Paper available on-line .
On the interaction between ISA and cardinality constraints: Diego Calvanese and Maurizio Lenzerini
In Proceedings of the Tenth IEEE International Conference on Data Engineering (ICDE'94) , pages 204-213. IEEE Computer Society Press, 1994. Paper available on-line .
A unified framework for class based representation formalisms: Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi
In J. Doyle, E. Sandewall, and P. Torasso, editors, Proceedings of the Fourth International Conference on the Principles of Knowledge Representation and Reasoning (KR'94) , pages 109-120, Bonn, 1994. Morgan Kaufmann, Los Altos. Paper available on-line .
Datalog and description logics: Expressive power. Preliminary report: Marco Cadoli, Luigi Palopoli, and Maurizio Lenzerini
In Proceedings of the 1996 Description Logic Workshop (DL'96) , pages 97-101, 1996.
Datalog and description logics: Expressive power: Marco Cadoli, Luigi Palopoli, and Maurizio Lenzerini
In Proceedings of the Sixth International Workshop on Database Programming Languages (DBPL'97) , number 1369 in Lecture Notes in Computer Science, pages 281-298. Springer-Verlag, 1998. Paper available on-line .
Boosting the correspondence between description logics and propositional dynamic logics: Giuseppe De Giacomo and Maurizio Lenzerini
In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI'94) , pages 205-212. AAAI-Press/the MIT-Press, 1994.
Concept language with number restrictions and fixpoints, and its relationship with mu-calculus: Giuseppe De Giacomo and Maurizio Lenzerini
In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI'94) , pages 411-415. John Wiley and Sons, 1994.
Description logics with inverse roles, functional restrictions, and n-ary relations: Giuseppe De Giacomo and Maurizio Lenzerini
In Proceedings of the Fourth European Workshop on Logics in Artificial Intelligence (JELIA'94) , volume 838 of Lecture Notes in Artificial Intelligence , pages 332-346. Springer-Verlag, 1994.
On the correspondence between description logics and logics of programs (position paper): Giuseppe De Giacomo and Maurizio Lenzerini
In Proceedings of the 1994 Description Logic Workshop (DL'94) , pages 1-4, 1994.
Enhanced propositional dynamic logic for reasoning about concurrent actions (extended abstract): Giuseppe De Giacomo and Maurizio Lenzerini
In Proceedings of AAAI 1995 Spring Symposium on Extending Theories of Action: Formal and Practical Applications , pages 62-67, 1995.
Making CAT S out of kittens: description logics with aggregates: Giuseppe De Giacomo and Maurizio Lenzerini
In Proceedings of the 1995 Description Logic Workshop (DL'95) , pages 85-88, 1995.
PDL-based framework for reasoning about actions: Giuseppe De Giacomo and Maurizio Lenzerini
In Proceedings of the Fourth Conference of the Italian Association for Artificial Intelligence (AI*IA'95) , volume 992 of Lecture Notes in Artificial Intelligence , pages 103-114, 1995.
What's in an aggregate: foundations for description logics with tuples and sets: Giuseppe De Giacomo and Maurizio Lenzerini
In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI'95) , pages 801-80762-67, 1995.
Tbox and abox reasoning in expressive description logics: Giuseppe De Giacomo and Maurizio Lenzerini
In Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR'96) , pages 316-327. Morgan Kaufmann Publishers, 1996.
Object-modeling based on logic: Giuseppe Di Battista and Maurizio Lenzerini
In Entity-Relatioship Approach, ER-88 , 1988.
A deductive method for entity-relationship modeling: Giuseppe Di Battista and Maurizio Lenzerini
In Very Large Data Bases, VLDB-89 , 1989.
An efficient method for hybrid deduction: Francesco M. Donini, Maurizio Lenzerini, and Daniele Nardi
In Luigia Carlucci Aiello, editor, 9th European Conference on Artificial Intelligence ECAI-90 , pages 246-252. Pitman, 1990.
Adding epistemic operators to concept languages: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, and Werner Nutt
In B. Nebel, C. Rich, and W. Swartout, editors, Proceedings of the Third International Conference on the Principles of Knowledge Representation and Reasoning (KR'92) , pages 342-353. Morgan Kaufmann, 1992 Appeared also in the Proceedings of the ECAI Workshop on the Theoretical Foundations of Knowledge Representation and Reasoning.
The complexity of concept languages: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Werner Nutt
In James Allen, Richard Fikes, and Erik Sandewall, editors, Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning (KR'91) , pages 151-162. Morgan Kaufmann, Los Altos, 1991.
Tractable concept languages: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Werner Nutt
In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI'91) , pages 458-463, Sidney, 1991 Best Paper Award.
A hybrid system with datalog and concept languages: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf
In E. Ardizzone, S. Gaglio, and F. Sorbello, editors, Proceedings of the Second Conference of the Italian Association for Artificial Intelligence (AI*IA'91) , volume LNAI 549, pages 88-97. Springer Verlag, 1991 An extended version appeared also in the Working Notes of the AAAI Fall Symposium "Principles of Hybrid Reasoning", pp. 13-19, 1991. Paper available on-line .
Instance checking is not computationally equivalent to subsumption: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf
In Proceedings of the AAAI-92 Workshop on Tractable Reasoning , pages 47-50, 1992.
Covering and disjointness constraints in type networks: Maurizio Lenzerini
In Proceedings of the Third IEEE International Conference on Data Engineering (ICDE'87) , pages 386-393, Los Angeles, 1987. IEEE Computer.
Concept languages as query languages: Maurizio Lenzerini and Andrea Schaerf
In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI'91) , pages 471-476, 1991.
Querying concept-based knowledge bases: Maurizio Lenzerini and Andrea Schaerf
In Proceedings of the International Workshop on Processing Declarative Knwoledge (PDK-91) , pages 107-123. Lecture Notes in Artificial Intelligence, Springer-Verlag, 1991.
Information system analysis: A formal model for the specification of behavioural and structural class properties.: Giovanni Rumolo and Maurizio Lenzerini
In Proceedings of 4th International Conference on Information System Development - ISD94, Bled (Slovenia) , pages 63-72, September 1994.
LOCAL++: A C++ framework for combinatorial search problems: Andrea Schaerf, Maurizio Lenzerini, and Marco Cadoli
In Proceedings of the 29th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS-EUROPE-99) , pages 152-161, Nancy, France, 1999.

Technical Reports

Database integration for data warehousing (a survey): Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati
Technical Report DWQ-UNIROMA-001, DWQ Consortium, March 1997.
Source integration in data warehousing: Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati
Technical Report DWQ-UNIROMA-002, DWQ Consortium, October 1997. Paper available on-line .
Queries and constraints on semi-structured data: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
Submitted for publication, 1998.
Queries and constraints on semi-structured data: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
Technical Report 13-98, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1998.
Experimentation with the incremental view integration: Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati
Technical Report DWQ-UNIROMA-003, DWQ Consortium, September 1998.
Source and data integration methodology for dwq: Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati
Technical Report DWQ-UNIROMA-004, DWQ Consortium, September 1998.
Modeling and querying semi-structured data: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
Submitted for publication to an international journal, 1999.
Rewriting of regular expressions and regular path queries: Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Vardi
Technical Report 04-99, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1999.
Answering regular path queries using views: Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Vardi
Submitted for publication, 1999.
Query answering using views for data integration over the web: Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Vardi
Submitted for publication, 1999.
Formal properties of ISA and cardinality constraints in data modeling: Diego Calvanese and Maurizio Lenzerini
Submitted to an international journal, 1996.
Reasoning on object-oriented schemas for data reeingeneering: Diego Calvanese and Maurizio Lenzerini
Technical Report PROGRESS-002, PROGRESS Consortium, July 1997.
Foundations of class based representation formalisms: Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi
In preparation, 1996.
Deductive entity-relationship modeling: Giuseppe Di Battista and Maurizio Lenzerini
Technical Report RAP.01.90, Università di Roma La Sapienza, Dipartimento di Informatica e Sistemistica, September 1990 To appear in IEEE Transactions on Knowledge and Data Engineering.
Converse, local determinism, and graded nondeterminism in propositional dynamic logics: Giuseppe De Giacomo and Maurizio Lenzerini
Technical Report 11-94, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", June 1994.
Adding epistemic operators to description logics: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, and Werner Nutt
Technical Report 16-96, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1996 A modified version has been accepted for publication Artificial Intelligence.
The complexity of concept languages: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Werner Nutt
Technical Report RR-95-07, Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI), 1995 Appeared on Information and Computation. Paper available on-line .
From subsumption to instance checking: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf
Technical Report RAP.15.92, Università di Roma La Sapienza, Dipartimento di Informatica e Sistemistica, September 1992 Appeared in the Journal of Logic and Computation.
International workshop on description logics: Technical Report 07.95, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", May 1995 Rome, June 2-3, 1995.

Last update: Wednesday, 15-Sep-1999 10:09:08 CEST