default search action
Description Logics 1996: Cambridge, MA, USA
- Lin Padgham, Enrico Franconi, Manfred Gehrke, Deborah L. McGuinness, Peter F. Patel-Schneider:
Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA. AAAI Technical Report WS-96-05, AAAI Press 1996, 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. Description Logics 1996: 3-14 - Alexander Borgida, Deborah L. McGuinness:
Asking Queries about Frames. Description Logics 1996: 15-24 - Diego Calvanese:
Finite Model Reasoning in Description Logics. Description Logics 1996: 25-36 - Giuseppe De Giacomo, Maurizio Lenzerini:
TBox and ABox Reasoning in Expressive Description Logics. Description Logics 1996: 37-48 - Fausto Giunchiglia, Roberto Sebastiani:
An SAT-based Decision Procedure for ALC. Description Logics 1996: 49-59 - Nestor Rychtyckyj:
DLMS: An Evaluation of KL-ONE in the Automobile Industry. Description Logics 1996: 60-69
Papers Submitted to the Workshop
- Alessandro Artale, Enrico Franconi, Nicola Guarino:
Open Problems with Part-Whole Relations. Description Logics 1996: 70-73 - Franz Baader, Ulrike Sattler:
Knowledge Representation in Process Engineering. Description Logics 1996: 74-78 - Catriel Beeri, Alon Y. Levy, Marie-Christine Rousset:
Switching Terminologies - Creating a New View of An Old World: Preliminary Report. Description Logics 1996: 79-83 - Jesús Bermúdez, Arantza Illarramendi, José Miguel Blanco, Alfredo Goñi:
Incorporating New Languages into DL Systems. Description Logics 1996: 84-86 - Alexander Borgida, Charles L. Isbell Jr., Deborah L. McGuinness:
Reasoning with Black Boxes: Handling Test Concepts in CLASSIC. Description Logics 1996: 87-91 - Daniel J. Buehrer, Yi-Huang Liu, Ting-Yue Hong, Jeng-Jong Jou:
Class Algebra as a Description Logic. Description Logics 1996: 92-96 - Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini:
Datalog and Description Logics: Expressive Power - Preliminary Report. Description Logics 1996: 97-101 - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Representing SGML Documents in Description Logics. Description Logics 1996: 102-106 - Giuseppe De Giacomo, Francesco M. Donini, Fabio Massacci:
Exptime Tableaux for ALC. Description Logics 1996: 107-110 - Quentin Elhaik, Marie-Christine Rousset, Marie-Claude Gaudel:
A Proposal for a Glass-Box Approach for Subsumption Checking. Description Logics 1996: 111-115 - Yolanda Gil, Pedro A. González:
Subsumption-Based Matching: Bringing Semantics to Goals. Description Logics 1996: 116-118 - Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani:
A New Method for Testing Decision Procedures in Modal and Terminological Logics. Description Logics 1996: 119-123 - Volker Haarslev:
Using Description Logic for Reasoning about Diagrammatical Notations. Description Logics 1996: 124-128 - Makoto Haraguchi:
Towards a Legal Reasoning System based on Description Logics: A Position Paper. Description Logics 1996: 129-131 - Ian Horrocks, Alan L. Rector:
Using a Description Logic with Concept Inclusions. Description Logics 1996: 132-135 - Gerd Kamp, Holger Wache:
Using Description Logics for Consistency-based Diagnosis. Description Logics 1996: 136-140 - Daniel Kudenko, Haym Hirsh:
Representing Sequences in Description Logics Using Suffix Trees. Description Logics 1996: 141-145 - Patrick Lambrix, Lin Padgham:
A Description Logic for Composite Objects for Domain Modeling in an Agent-Oriented Application. Description Logics 1996: 146-149 - Ounissa Larab, Aïcha-Nabila Benharkat:
Resolving Semantic Heterogeneity in Databases with a Terminological Model: Correspondence Refinement. Description Logics 1996: 150-154 - Mathieu Latourrette, Michel Simonet:
An Approach to Subsumption in a DL with Implication. Description Logics 1996: 155-159 - Thorsten Liebig, Dietmar F. Rösner:
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents. Description Logics 1996: 160-164 - Houria Mihoubi, Ana Simonet, Michel Simonet:
A Translation Scheme for Domain Ontologies Based on Model Ontologies of KBS. Description Logics 1996: 165-169 - Ralf Möller:
Object-Oriented Programming Support for CLASSIC. Description Logics 1996: 170-174 - Amedeo Napoli:
A Proposal for a Layered Architecture for a Hybrid Object-Based Representation System. Description Logics 1996: 175-181 - Jeroen Nijhuis:
The Use of Description Logics in the Condorcet Conceptual Information Retrieval System. Description Logics 1996: 180-181 - Frank J. Oles, Eric Mays, Robert A. Weida:
The Algebraic Essence of K-Rep. Description Logics 1996: 182-184 - Riccardo Rosati:
On the Semantics of Epistemic Description Logics. Description Logics 1996: 185-188 - Piet-Hein Speel:
Can Description Logics Be Used in Real-Life Knowledge-Based Systems? Description Logics 1996: 189-191 - Véronique Ventos:
A Deductive Study of the C-CLASSICde Description Logic. Description Logics 1996: 192-196 - Robert A. Weida, Eric Mays, Robert Dionne, Meir Laker, Brian White, Chihong Liang, Frank J. Oles:
The K-Rep System Architecture. Description Logics 1996: 197-199 - Christopher A. Welty:
An HTML Interface for Classic. Description Logics 1996: 200-202
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-10 20:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: