Conferences in DBLP
Franz Baader , Ulrike Sattler Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:3-14 [Conf ] Alexander Borgida , Deborah L. McGuinness Asking Queries about Frames. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:15-24 [Conf ] Diego Calvanese Finite Model Reasoning in Description Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:25-36 [Conf ] Giuseppe De Giacomo , Maurizio Lenzerini TBox and ABox Reasoning in Expressive Description Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:37-48 [Conf ] Fausto Giunchiglia , Roberto Sebastiani An SAT-based Decision Procedure for ALC. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:49-59 [Conf ] Nestor Rychtyckyj DLMS: An Evaluation of KL-ONE in the Automobile Industry. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:60-69 [Conf ] Alessandro Artale , Enrico Franconi , Nicola Guarino Open Problems with Part-Whole Relations. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:70-73 [Conf ] Franz Baader , Ulrike Sattler Knowledge Representation in Process Engineering. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:74-78 [Conf ] Catriel Beeri , Alon Y. Levy , Marie-Christine Rousset Switching Terminologies - Creating a New View of An Old World: Preliminary Report. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:79-83 [Conf ] Jesús Bermúdez , Arantza Illarramendi , José Miguel Blanco , Alfredo Goñi Incorporating New Languages into DL Systems. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:84-86 [Conf ] Alexander Borgida , Charles L. Isbell , Deborah L. McGuinness Reasoning with Black Boxes: Handling Test Concepts in CLASSIC. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:87-91 [Conf ] Daniel J. Buehrer , Yi-Huang Liu , Ting-Yue Hong , Jeng-Jong Jou Class Algebra as a Description Logic. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:92-96 [Conf ] Marco Cadoli , Luigi Palopoli , Maurizio Lenzerini Datalog and Description Logics: Expressive Power - Preliminary Report. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:97-101 [Conf ] Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini Representing SGML Documents in Description Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:102-106 [Conf ] Giuseppe De Giacomo , Francesco M. Donini , Fabio Massacci Exptime Tableaux for ALC. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:107-110 [Conf ] Quentin Elhaik , Marie-Christine Rousset , Marie-Claude Gaudel A Proposal for a Glass-Box Approach for Subsumption Checking. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:111-115 [Conf ] Yolanda Gil , Pedro A. González Subsumption-Based Matching: Bringing Semantics to Goals. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:116-118 [Conf ] Fausto Giunchiglia , Marco Roveri , Roberto Sebastiani A New Method for Testing Decision Procedures in Modal and Terminological Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:119-123 [Conf ] Volker Haarslev Using Description Logic for Reasoning about Diagrammatical Notations. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:124-128 [Conf ] Makoto Haraguchi Towards a Legal Reasoning System based on Description Logics: A Position Paper. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:129-131 [Conf ] Ian Horrocks , Alan L. Rector Using a Description Logic with Concept Inclusions. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:132-135 [Conf ] Gerd Kamp , Holger Wache Using Description Logics for Consistency-based Diagnosis. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:136-140 [Conf ] Daniel Kudenko , Haym Hirsh Representing Sequences in Description Logics Using Suffix Trees. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:141-145 [Conf ] Patrick Lambrix , Lin Padgham A Description Logic for Composite Objects for Domain Modeling in an Agent-Oriented Application. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:146-149 [Conf ] Ounissa Larab , Aïcha-Nabila Benharkat Resolving Semantic Heterogeneity in Databases with a Terminological Model: Correspondence Refinement. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:150-154 [Conf ] Mathieu Latourrette , Michel Simonet An Approach to Subsumption in a DL with Implication. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:155-159 [Conf ] Thorsten Liebig , Dietmar Rösner Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:160-164 [Conf ] Houria Mihoubi , Ana Simonet , Michel Simonet A Translation Scheme for Domain Ontologies Based on Model Ontologies of KBS. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:165-169 [Conf ] Ralf Möller Object-Oriented Programming Support for CLASSIC. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:170-174 [Conf ] Amedeo Napoli A Proposal for a Layered Architecture for a Hybrid Object-Based Representation System. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:175-181 [Conf ] Jeroen Nijhuis The Use of Description Logics in the Condorcet Conceptual Information Retrieval System. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:180-181 [Conf ] Frank J. Oles , Eric Mays , Robert A. Weida The Algebraic Essence of K-Rep. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:182-184 [Conf ] Riccardo Rosati On the Semantics of Epistemic Description Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:185-188 [Conf ] Piet-Hein Speel Can Description Logics Be Used in Real-Life Knowledge-Based Systems? [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:189-191 [Conf ] Véronique Ventos A Deductive Study of the C-CLASSICde Description Logic. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:192-196 [Conf ] Robert A. Weida , Eric Mays , Robert Dionne , Meir Laker , Brian White , Chihong Liang , Frank J. Oles The K-Rep System Architecture. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:197-199 [Conf ] Christopher A. Welty An HTML Interface for Classic. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:200-202 [Conf ]