International Description Logics
Papers from the IDL Workshop
Lin Padgham, Enrico Franconi, Manfred Gehrke, Deborah L. McGuinness, and Peter F. Patel-Schneider, Editors
Technical Report WS-96-05 published by The AAAI Press, Menlo Park, California
This technical report is also available in book and CD format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
Preface / x
Lin Padgham, Enrico Franconi, Manfred Gehrke, Deborah L. McGuinness, and Peter F. Patel-Schneider
Description Logic Papers from the Fifth International Conference on Principles of Knowledge Representation and Reasoning
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report / 3
Franz Baader and Ulrike Sattler, LuFG Theoretische Informatik, RWTH Aachen
Asking Queries about Frames / 15
Alex Borgida, Department of Computer Science, Rutgers University; and Deborah L. McGuinness, Department of Computer Science, Rutgers University and AT&T Labs - Research
Finite Model Reasoning in Description Logics / 25
Diego Calvanese, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza"
TBox and ABox Reasoning in Expressive Description Logics / 37
Giuseppe De Giacomo and Maurizio Lenzerini, Dipartimento di Informatica e Sistemistica, Universitá di Roma "La Sapienza"
An SAT-based Decision Procedure for ALC / 49
Fausto Giunchiglia, IRST and DIST, Università di Genova; and Roberto Sebastiani, DIST, Università di Genova
DLMS: An Evaluation of KL-ONE in the Automobile Industry / 60
Nestor Rychtyckyj, Ford Motor Company
Papers Submitted to the Workshop
Open Problems with Part-Whole Relations / 70
Alessandro Artale, Enrico Franconi, IRST, and Nicola Guarino, Ladseb-CNR
Knowledge Representation in Process Engineering / 74
Franz Baader and Ulrike Sattler, LuFG Theoretische Informatik, RWTH Aachen
Switching Terminologies - Creating a New View of An Old World: Preliminary Report / 79
Catriel Beeri, The Hebrew University of Jerusalem; Alon Y. Levy, AT&T Laboratories; and Marie-Christine Rousset, LRI URA CNRS, University of Paris-Sud
Incorporating New Languages into DL Systems / 84
J. Bermúdez, A. Illarramendi, J. M. Blanco, A. Goni, Facultad de Informática, Universidad del País Vasco
Reasoning with Black Boxes: Handling Test Concepts in classIC / 87
Alex Borgida, Department of Computer Science, Rutgers University; Charles L. Isbell, Artificial Intelligence Laboratory, Massachusetts Institute of Technology; and Deborah L. McGuinness, Artificial Intelligence Principles Research, AT&T Labs
Class Algebra as a Description Logic / 92
Daniel J. Buehrer, Yi-Huang Liu, Ting-Yue Hong, Jeng-Jong Jou, Institute of Computer Science and Information Engineering, National Chung Cheng University
Datalog and Description Logics: Expressive Power - Preliminary Report / 97
Marco Cadoli, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza"; Luigi Palopoli, Dipartimento di Elettronica Informatica e Sistemistica, Università della Calabria, and Maurizio Lenzerini, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza"
Representing SGML Documents in Description Logics / 102
Diego Calvanese, Giuseppe De Giacomo and Maurizio Lenzerini, Dipartimento di Informatica e Sistemistica, Universitá di Roma "La Sapienza"
Exptime Tableaux for ALC / 107
Giuseppe De Giacomo, Francesco M. Donini, and Fabio Massacci, Dipartimento di Informatica e Sistemistica, Universitá di Roma "La Sapienza"
A Proposal for a Glass-Box Approach for Subsumption Checking / 111
Quentin Elhaik, Marie-Christine Rousset, and Marie-Claude Gaudel, LRI URA CNRS, University of Paris-Sud
Subsumption-Based Matching: Bringing Semantics to Goals / 116
Yolanda Gil, Information Sciences Institute, University of Southern California; and Pedro A. González, Departamento de Informática y Automática, Universidad Complutense de Madrid
A New Method for Testing Decision Procedures in Modal and Terminological Logics / 119
Fausto Giunchiglia, IRST and DIST, Università di Genova; and Marco Roveri and Roberto Sebastiani, DIST, Università di Genova
Using Description Logic for Reasoning about Diagrammatical Notations / 124
Volker Haarslev, Computer Science Department, University of Hamburg
Towards a Legal Reasoning System based on Description Logics: A Position Paper / 129
Makoto Haraguchi, Division of Electronics and Information Engineering, Hokkaido University
Using a Description Logic with Concept Inclusions / 132
Ian Horrocks and Alan Rector, Department of Computer Science, University of Manchester
Using Description Logics for Consistency-based Diagnosis / 136
Gerd Kamp, Universität Hamburg; and Holger Wache, Universität Bremen
Representing Sequences in Description Logics Using Suffix Trees / 141
Daniel Kudenko and Haym Hirsh, Department of Computer Science, Rutgers University
A Description Logic for Composite Objects for Domain Modeling in an Agent-Oriented Application / 146
Patrick Lambrix, Department of Computer and Information Science, Linköping University; and Lin Padgham, Department of Computer Science, RMIT University
Resolving Semantic Heterogeneity in Databases with a Terminological Model: Correspondence Refinement / 150
Ounissa Larab and Aïcha-Nabila Benharkat, Laboratorie d'Ingénierie des Systèms d'Information, Institut National des Sciences Appliqueés de Lyon
An Approach to Subsumption in a DL with Implication / 155
Mathieu Latourrette and Michel Simonet, Laboratoire TIMC-IMAG, Faculté de Medecine de Grenoble
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents / 160
Thorsten Liebig, and Dietmar Rösner, Institut für Informations - und Kommunikationssysteme, Otto-von-Guericke-Universität Magdeburg
A Translation Scheme for Domain Ontologies Based on Model Ontologies of KBS / 165
Houria Mihoubi, Ana Simonet, and Michel Simonet, Laboratoire TIMC-IMAG, Faculté de Medecine de Grenoble
Object-Oriented Programming Support for classIC / 170
Ralf Möller, Computer Science Department, University of Hamburg
A Proposal for a Layered Architecture for a Hybrid Object-Based Representation System / 175
Amadeo Napoli, CRIN CNRS-INRIA Lorraine
The Use of Description Logics in the Condorcet Conceptual Information Retrieval System / 180
Jeroen Nijhuis, Faculty of Computer Science, University of Twente
The Algebraic Essence of K-Rep / 182
Frank J. Oles, Eric K. Mays, and Robert A. Weida, IBM T.J. Watson Research Center
On the Semantics of Epistemic Description Logics / 185
Riccardo Rosati, Dipartimento di Informatica e Sistemistica, Universitá di Roma "La Sapienza"
Can Description Logics Be Used in Real-Life Knowledge-Based Systems? / 189
Piet-Hein Speel, Advanced Manufacturing Technology Group, Unilever Research Laboratorium Vlaardingen
A Deductive Study of the C-classICde Description Logic / 192
Véronique Ventos, LIPN-CNRS URA 1507, Université Paris-Nord
The K-Rep System Architecture / 197
Robert Weida, Eric Mays, Robert Dionne, Meir Laker, Brian White, Chihong Liang, and Frank J. Oles, IBM T. J. Watson Research Center
An HTML Interface for Classic / 200
Christopher A. Welty, Computer Science Department, Vassar College
Index / 203
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.