Abstract is missing.
- Number Restrictions on Complex Roles in Description Logics: A Preliminary ReportFranz Baader, Ulrike Sattler. 3-14
- Asking Queries about FramesAlexander Borgida, Deborah L. McGuinness. 15-24
- Finite Model Reasoning in Description LogicsDiego Calvanese. 25-36
- TBox and ABox Reasoning in Expressive Description LogicsGiuseppe De Giacomo, Maurizio Lenzerini. 37-48
- An SAT-based Decision Procedure for ALCFausto Giunchiglia, Roberto Sebastiani. 49-59
- DLMS: An Evaluation of KL-ONE in the Automobile IndustryNestor Rychtyckyj. 60-69
- Open Problems with Part-Whole RelationsAlessandro Artale, Enrico Franconi, Nicola Guarino. 70-73
- Knowledge Representation in Process EngineeringFranz Baader, Ulrike Sattler. 74-78
- Switching Terminologies - Creating a New View of An Old World: Preliminary ReportCatriel Beeri, Alon Y. Levy, Marie-Christine Rousset. 79-83
- Incorporating New Languages into DL SystemsJesús Bermúdez, Arantza Illarramendi, José Miguel Blanco, Alfredo Goñi. 84-86
- Reasoning with Black Boxes: Handling Test Concepts in CLASSICAlexander Borgida, Charles L. Isbell, Deborah L. McGuinness. 87-91
- Class Algebra as a Description LogicDaniel J. Buehrer, Yi-Huang Liu, Ting-Yue Hong, Jeng-Jong Jou. 92-96
- Datalog and Description Logics: Expressive Power - Preliminary ReportMarco Cadoli, Luigi Palopoli, Maurizio Lenzerini. 97-101
- Representing SGML Documents in Description LogicsDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. 102-106
- Exptime Tableaux for ALCGiuseppe De Giacomo, Francesco M. Donini, Fabio Massacci. 107-110
- A Proposal for a Glass-Box Approach for Subsumption CheckingQuentin Elhaik, Marie-Christine Rousset, Marie-Claude Gaudel. 111-115
- Subsumption-Based Matching: Bringing Semantics to GoalsYolanda Gil, Pedro A. González. 116-118
- A New Method for Testing Decision Procedures in Modal and Terminological LogicsFausto Giunchiglia, Marco Roveri, Roberto Sebastiani. 119-123
- Using Description Logic for Reasoning about Diagrammatical NotationsVolker Haarslev. 124-128
- Towards a Legal Reasoning System based on Description Logics: A Position PaperMakoto Haraguchi. 129-131
- Using a Description Logic with Concept InclusionsIan Horrocks, Alan L. Rector. 132-135
- Using Description Logics for Consistency-based DiagnosisGerd Kamp, Holger Wache. 136-140
- Representing Sequences in Description Logics Using Suffix TreesDaniel Kudenko, Haym Hirsh. 141-145
- A Description Logic for Composite Objects for Domain Modeling in an Agent-Oriented ApplicationPatrick Lambrix, Lin Padgham. 146-149
- Resolving Semantic Heterogeneity in Databases with a Terminological Model: Correspondence RefinementOunissa Larab, Aïcha-Nabila Benharkat. 150-154
- An Approach to Subsumption in a DL with ImplicationMathieu Latourrette, Michel Simonet. 155-159
- Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical DocumentsThorsten Liebig, Dietmar Rösner. 160-164
- A Translation Scheme for Domain Ontologies Based on Model Ontologies of KBSHouria Mihoubi, Ana Simonet, Michel Simonet. 165-169
- Object-Oriented Programming Support for CLASSICRalf Möller. 170-174
- A Proposal for a Layered Architecture for a Hybrid Object-Based Representation SystemAmedeo Napoli. 175-181
- The Use of Description Logics in the Condorcet Conceptual Information Retrieval SystemJeroen Nijhuis. 180-181
- The Algebraic Essence of K-RepFrank J. Oles, Eric Mays, Robert A. Weida. 182-184
- On the Semantics of Epistemic Description LogicsRiccardo Rosati. 185-188
- Can Description Logics Be Used in Real-Life Knowledge-Based Systems?Piet-Hein Speel. 189-191
- A Deductive Study of the C-CLASSICde Description LogicVéronique Ventos. 192-196
- The K-Rep System ArchitectureRobert A. Weida, Eric Mays, Robert Dionne, Meir Laker, Brian White, Chihong Liang, Frank J. Oles. 197-199
- An HTML Interface for ClassicChristopher A. Welty. 200-202