Conferences in DBLP
Franz Baader , Ulrike Sattler Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Borgida , Deborah L. McGuinness Asking Queries about Frames. [Citation Graph (0, 0)][DBLP ] Conf ] Diego Calvanese Finite Model Reasoning in Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe De Giacomo , Maurizio Lenzerini TBox and ABox Reasoning in Expressive Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Fausto Giunchiglia , Roberto Sebastiani An SAT-based Decision Procedure for ALC. [Citation Graph (0, 0)][DBLP ] Conf ] Nestor Rychtyckyj DLMS: An Evaluation of KL-ONE in the Automobile Industry. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Artale , Enrico Franconi , Nicola Guarino Open Problems with Part-Whole Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader , Ulrike Sattler Knowledge Representation in Process Engineering. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Jesús Bermúdez , Arantza Illarramendi , José Miguel Blanco , Alfredo Goñi Incorporating New Languages into DL Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Borgida , Charles L. Isbell , Deborah L. McGuinness Reasoning with Black Boxes: Handling Test Concepts in CLASSIC. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel J. Buehrer , Yi-Huang Liu , Ting-Yue Hong , Jeng-Jong Jou Class Algebra as a Description Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Cadoli , Luigi Palopoli , Maurizio Lenzerini Datalog and Description Logics: Expressive Power - Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini Representing SGML Documents in Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe De Giacomo , Francesco M. Donini , Fabio Massacci Exptime Tableaux for ALC. [Citation Graph (0, 0)][DBLP ] Conf ] Quentin Elhaik , Marie-Christine Rousset , Marie-Claude Gaudel A Proposal for a Glass-Box Approach for Subsumption Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Yolanda Gil , Pedro A. González Subsumption-Based Matching: Bringing Semantics to Goals. [Citation Graph (0, 0)][DBLP ] Conf ] Fausto Giunchiglia , Marco Roveri , Roberto Sebastiani A New Method for Testing Decision Procedures in Modal and Terminological Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Haarslev Using Description Logic for Reasoning about Diagrammatical Notations. [Citation Graph (0, 0)][DBLP ] Conf ] Makoto Haraguchi Towards a Legal Reasoning System based on Description Logics: A Position Paper. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Horrocks , Alan L. Rector Using a Description Logic with Concept Inclusions. [Citation Graph (0, 0)][DBLP ] Conf ] Gerd Kamp , Holger Wache Using Description Logics for Consistency-based Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Kudenko , Haym Hirsh Representing Sequences in Description Logics Using Suffix Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Lambrix , Lin Padgham A Description Logic for Composite Objects for Domain Modeling in an Agent-Oriented Application. [Citation Graph (0, 0)][DBLP ] Conf ] Ounissa Larab , Aïcha-Nabila Benharkat Resolving Semantic Heterogeneity in Databases with a Terminological Model: Correspondence Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Mathieu Latourrette , Michel Simonet An Approach to Subsumption in a DL with Implication. [Citation Graph (0, 0)][DBLP ] Conf ] Thorsten Liebig , Dietmar Rösner Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents. [Citation Graph (0, 0)][DBLP ] Conf ] Houria Mihoubi , Ana Simonet , Michel Simonet A Translation Scheme for Domain Ontologies Based on Model Ontologies of KBS. [Citation Graph (0, 0)][DBLP ] Conf ] Ralf Möller Object-Oriented Programming Support for CLASSIC. [Citation Graph (0, 0)][DBLP ] Conf ] Amedeo Napoli A Proposal for a Layered Architecture for a Hybrid Object-Based Representation System. [Citation Graph (0, 0)][DBLP ] Conf ] Jeroen Nijhuis The Use of Description Logics in the Condorcet Conceptual Information Retrieval System. [Citation Graph (0, 0)][DBLP ] Conf ] Frank J. Oles , Eric Mays , Robert A. Weida The Algebraic Essence of K-Rep. [Citation Graph (0, 0)][DBLP ] Conf ] Riccardo Rosati On the Semantics of Epistemic Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Piet-Hein Speel Can Description Logics Be Used in Real-Life Knowledge-Based Systems? [Citation Graph (0, 0)][DBLP ] Conf ] Véronique Ventos A Deductive Study of the C-CLASSICde Description Logic. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Christopher A. Welty An HTML Interface for Classic. [Citation Graph (0, 0)][DBLP ] Conf ] 