]> 2012-05-29T09:12:49-04:00 Alexander Borgida Alexander Alexander Borgida Borgida Asking Queries about Frames Explaining ALC Subsumption Reasoning with Black Boxes: Handling Test Concepts in CLASSIC DBLP:conf/ecai/BorgidaFH00 The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation Matching in Description Logics: Preliminary Results Explaining Subsumption in Description Logics CLASSIC: A Structural Data Model for Objects The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale Data Semantics Revisited Refining Semantic Mappings from Relational Tables to Ontologies Constructing Complex Semantic Mappings Between XML Data and Ontologies Representing the UMLS Semantic Network Using OWL: (Or "What's in a Semantic Web Link?") Building Semantic Mappings from Databases to Ontologies Computing Least Common Subsumers in Description Logics On The Relationship Between Description Logic and Predicate Logic On the Definition of Specialization Hierarchies for Procedures Vivid Knowledge and Tractable Reasoning Semantic Networks and the Generation of Context Aspects of Distributed and Modular Ontology Reasoning Efficient Management of Transitive Relationships in Large Data and Knowledge Bases Modeling Class Hierarchies with Contradictions Loading Data into Description Reasoners Data and Activities: Exploiting Hierarchies of Classes Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis Consistency of Models (discussion) Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory Accommodating Exceptions in Databases, and Refining the Schema by Learning from them Asking queries about Frames A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic Distributed Description Logics: Assimilating Information from Peer Sources Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources Explanation in DL-Lite Explanation in the DL-LiteFamily of Description Logics Description Logics for Databases Towards the Systematic Development of Terminological Reasoners: CLASP reconstructed Towards the Systematic Development of Terminological Reasoners: CLASP reconstructed Author Has author Has identifier Foaf:surname Foaf:name Foaf:firstName Anonymous.png Foaf:depiction Person