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 Technical Report WS-96-05 AAAI Press 1996, ISBN 1-57735-014-6 BibTeX
@proceedings{DBLP:conf/dlog/1996,
editor = {Lin Padgham and
Enrico Franconi and
Manfred Gehrke and
Deborah L. McGuinness and
Peter F. Patel-Schneider},
title = {Proceedings of the 1996 International Workshop on Description
Logics, November 2-4, 1996, Cambridge, MA, USA},
booktitle = {Description Logics},
publisher = {AAAI Press},
series = {AAAI Technical Report},
volume = {WS-96-05},
year = {1996},
isbn = {1-57735-014-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Description Logic Papers from the Fifth International Conference on Principles of Knowledge Representation and Reasoning
Papers Submitted to the Workshop
- Alessandro Artale, Enrico Franconi, Nicola Guarino:
Open Problems with Part-Whole Relations.
70-73 BibTeX
- Franz Baader, Ulrike Sattler:
Knowledge Representation in Process Engineering.
74-78 BibTeX
- Catriel Beeri, Alon Y. Levy, Marie-Christine Rousset:
Switching Terminologies - Creating a New View of An Old World: Preliminary Report.
79-83 BibTeX
- Jesús Bermúdez, Arantza Illarramendi, José Miguel Blanco, Alfredo Goñi:
Incorporating New Languages into DL Systems.
84-86 BibTeX
- Alexander Borgida, Charles L. Isbell, Deborah L. McGuinness:
Reasoning with Black Boxes: Handling Test Concepts in CLASSIC.
87-91 BibTeX
- Daniel J. Buehrer, Yi-Huang Liu, Ting-Yue Hong, Jeng-Jong Jou:
Class Algebra as a Description Logic.
92-96 BibTeX
- Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini:
Datalog and Description Logics: Expressive Power - Preliminary Report.
97-101 BibTeX
- Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Representing SGML Documents in Description Logics.
102-106 BibTeX
- Giuseppe De Giacomo, Francesco M. Donini, Fabio Massacci:
Exptime Tableaux for ALC.
107-110 BibTeX
- Quentin Elhaik, Marie-Christine Rousset, Marie-Claude Gaudel:
A Proposal for a Glass-Box Approach for Subsumption Checking.
111-115 BibTeX
- Yolanda Gil, Pedro A. González:
Subsumption-Based Matching: Bringing Semantics to Goals.
116-118 BibTeX
- Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani:
A New Method for Testing Decision Procedures in Modal and Terminological Logics.
119-123 BibTeX
- Volker Haarslev:
Using Description Logic for Reasoning about Diagrammatical Notations.
124-128 BibTeX
- Makoto Haraguchi:
Towards a Legal Reasoning System based on Description Logics: A Position Paper.
129-131 BibTeX
- Ian Horrocks, Alan L. Rector:
Using a Description Logic with Concept Inclusions.
132-135 BibTeX
- Gerd Kamp, Holger Wache:
Using Description Logics for Consistency-based Diagnosis.
136-140 BibTeX
- Daniel Kudenko, Haym Hirsh:
Representing Sequences in Description Logics Using Suffix Trees.
141-145 BibTeX
- Patrick Lambrix, Lin Padgham:
A Description Logic for Composite Objects for Domain Modeling in an Agent-Oriented Application.
146-149 BibTeX
- Ounissa Larab, Aïcha-Nabila Benharkat:
Resolving Semantic Heterogeneity in Databases with a Terminological Model: Correspondence Refinement.
150-154 BibTeX
- Mathieu Latourrette, Michel Simonet:
An Approach to Subsumption in a DL with Implication.
155-159 BibTeX
- Thorsten Liebig, Dietmar Rösner:
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents.
160-164 BibTeX
- Houria Mihoubi, Ana Simonet, Michel Simonet:
A Translation Scheme for Domain Ontologies Based on Model Ontologies of KBS.
165-169 BibTeX
- Ralf Möller:
Object-Oriented Programming Support for CLASSIC.
170-174 BibTeX
- Amedeo Napoli:
A Proposal for a Layered Architecture for a Hybrid Object-Based Representation System.
175-181 BibTeX
- Jeroen Nijhuis:
The Use of Description Logics in the Condorcet Conceptual Information Retrieval System.
180-181 BibTeX
- Frank J. Oles, Eric Mays, Robert A. Weida:
The Algebraic Essence of K-Rep.
182-184 BibTeX
- Riccardo Rosati:
On the Semantics of Epistemic Description Logics.
185-188 BibTeX
- Piet-Hein Speel:
Can Description Logics Be Used in Real-Life Knowledge-Based Systems?
189-191 BibTeX
- Véronique Ventos:
A Deductive Study of the C-CLASSICde Description Logic.
192-196 BibTeX
- Robert A. Weida, Eric Mays, Robert Dionne, Meir Laker, Brian White, Chihong Liang, Frank J. Oles:
The K-Rep System Architecture.
197-199 BibTeX
- Christopher A. Welty:
An HTML Interface for Classic.
200-202 BibTeX
Copyright © Sat May 16 23:07:08 2009
by Michael Ley (ley@uni-trier.de)