International Description Logics: Papers from the 1996 AAAI Workshop
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
PDFAsking Queries about Frames
PDFFinite Model Reasoning in Description Logics
PDFTBox and ABox Reasoning in Expressive Description Logics
PDFAn SAT-based Decision Procedure for ALC
PDFDLMS: An Evaluation of KL-ONE in the Automobile Industry
PDF
Papers Submitted to the Workshop
Representing Sequences in Description Logics Using Suffix Tree
PDFIndex of Authors
PDFAn HTML Interface for Classic
PDFThe K-Rep System Architecture
PDFA Deductive Study of the C-classICde Description Logic
PDFCan Description Logics Be Used in Real-Life Knowledge-Based Systems?
PDFOn the Semantics of Epistemic Description Logics
PDFThe Algebraic Essence of K-Rep
PDFThe Use of Description Logics in the Condorcet Conceptual Information Retrieval System
PDFA Proposal for a Layered Architecture for a Hybrid Object-Based Representation System
PDFObject-Oriented Programming Support for classIC
PDFA Translation Scheme for Domain Ontologies Based on Model Ontologies of KBS
PDFDescription Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents
PDFAn Approach to Subsumption in a DL with Implication
PDFResolving Semantic Heterogeneity in Databases with a Terminological Model: Correspondence Refinement
PDFA Description Logic for Composite Objects for Domain Modeling in an Agent-Oriented Application
PDFOpen Problems with Part-Whole Relations
PDFUsing Description Logics for Consistency-based Diagnosis
PDFUsing a Description Logic with Concept Inclusions
PDFTowards a Legal Reasoning System based on Description Logics: A Position Paper
PDFUsing Description Logic for Reasoning about Diagrammatical Notations
PDFA New Method for Testing Decision Procedures in Modal and Terminological Logics
PDFSubsumption-Based Matching: Bringing Semantics to Goals
PDFA Proposal for a Glass-Box Approach for Subsumption Checking
PDFExptime Tableaux for ALC
PDFRepresenting SGML Documents in Description Logics
PDFDatalog and Description Logics: Expressive Power – Preliminary Report
PDFClass Algebra as a Description Logic
PDFReasoning with Black Boxes: Handling Test Concepts in classI
PDFIncorporating New Languages into DL Systems
PDFSwitching Terminologies – Creating a New View of An Old World: Preliminary Report
PDFKnowledge Representation in Process Engineering
PDF