Description Logics 1996: Cambridge, MA, USA
Lin Padgham, Enrico Franconi, Manfred Gehrke, Deborah L. McGuinness, Peter F. Patel-Schneider (Eds.): Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA. AAAI Press 1996 AAAI Technical Report ISBN 1-57735-014-6
Description Logic Papers from the Fifth International Conference on Principles of Knowledge Representation and Reasoning
- Franz Baader, Ulrike Sattler: Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. 3-14
- Diego Calvanese: Finite Model Reasoning in Description Logics. 25-36
- Giuseppe De Giacomo, Maurizio Lenzerini: TBox and ABox Reasoning in Expressive Description Logics. 37-48
- Nestor Rychtyckyj: DLMS: An Evaluation of KL-ONE in the Automobile Industry. 60-69
Papers Submitted to the Workshop
- Catriel Beeri, Alon Y. Levy, Marie-Christine Rousset: Switching Terminologies - Creating a New View of An Old World: Preliminary Report. 79-83
- Jesús Bermúdez, Arantza Illarramendi, José Miguel Blanco, Alfredo Goñi: Incorporating New Languages into DL Systems. 84-86
- Alexander Borgida, Charles L. Isbell, Deborah L. McGuinness: Reasoning with Black Boxes: Handling Test Concepts in CLASSIC. 87-91
- Daniel J. Buehrer, Yi-Huang Liu, Ting-Yue Hong, Jeng-Jong Jou: Class Algebra as a Description Logic. 92-96
- Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini: Datalog and Description Logics: Expressive Power - Preliminary Report. 97-101
- Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Representing SGML Documents in Description Logics. 102-106
- Quentin Elhaik, Marie-Christine Rousset, Marie-Claude Gaudel: A Proposal for a Glass-Box Approach for Subsumption Checking. 111-115
- Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani: A New Method for Testing Decision Procedures in Modal and Terminological Logics. 119-123
- Volker Haarslev: Using Description Logic for Reasoning about Diagrammatical Notations. 124-128
- Makoto Haraguchi: Towards a Legal Reasoning System based on Description Logics: A Position Paper. 129-131
- Daniel Kudenko, Haym Hirsh: Representing Sequences in Description Logics Using Suffix Trees. 141-145
- Patrick Lambrix, Lin Padgham: A Description Logic for Composite Objects for Domain Modeling in an Agent-Oriented Application. 146-149
- Ounissa Larab, Aïcha-Nabila Benharkat: Resolving Semantic Heterogeneity in Databases with a Terminological Model: Correspondence Refinement. 150-154
- Thorsten Liebig, Dietmar Rösner: Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents. 160-164
- Houria Mihoubi, Ana Simonet, Michel Simonet: A Translation Scheme for Domain Ontologies Based on Model Ontologies of KBS. 165-169
- Ralf Möller: Object-Oriented Programming Support for CLASSIC. 170-174
- Amedeo Napoli: A Proposal for a Layered Architecture for a Hybrid Object-Based Representation System. 175-181
- Jeroen Nijhuis: The Use of Description Logics in the Condorcet Conceptual Information Retrieval System. 180-181
- Riccardo Rosati: On the Semantics of Epistemic Description Logics. 185-188
- Piet-Hein Speel: Can Description Logics Be Used in Real-Life Knowledge-Based Systems? 189-191
- Véronique Ventos: A Deductive Study of the C-CLASSICde Description Logic. 192-196
- Robert A. Weida, Eric Mays, Robert Dionne, Meir Laker, Brian White, Chihong Liang, Frank J. Oles: The K-Rep System Architecture. 197-199
- Christopher A. Welty: An HTML Interface for Classic. 200-202
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team