Login: A logic programming language with built-in inheritance
Journal of Logic Programming
Computational complexity of terminological reasoning in BACK
Artificial Intelligence
A four-valued semantics for terminological logics
Artificial Intelligence
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Terminological reasoning is inherently intractable (research note)
Artificial Intelligence
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
Subsumption in KL-ONE is undecidable
Proceedings of the first international conference on Principles of knowledge representation and reasoning
KRIS: Knowledge Representation and Inference System
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Proceedings of the Tenth National Conference on Artificial intelligence
AAAI-92 Proceedings of the Tenth National Conference on Artificial intelligence
COLT '94 Proceedings of the seventh annual conference on Computational learning theory
IAAI '93 Proceedings of the The Fifth Conference on Innovative Applications of Artificial Intelligence
Classification as a Query Processing Technique in the CANDIDE Semantic Data Model
Proceedings of the Fifth International Conference on Data Engineering
Configuration as a Consistency Maintenance Task
Künstliche Intelligenz, GWAI-88, 12. Jahrestagung
A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification)
Decidable, logic-based knowledge representation
Decidable, logic-based knowledge representation
What can knowledge representation do for semi-structured data?
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
DAML+OIL: A Reason-able Web Ontology Language
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Coordination Issues in Multi-agent Event Data Processing
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
A Class-Based Logic Language for Ontologies
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Cooperation Strategies for Information Integration
CooplS '01 Proceedings of the 9th International Conference on Cooperative Information Systems
Reasoning about Duplicate Elimination with Description Logic
CL '00 Proceedings of the First International Conference on Computational Logic
A NExpTime-Complete Description Logic Strictly Contained in C2
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Towards a Scalable Query Rewriting Algorithm in Presence of Value Constraints
Journal on Data Semantics XII
"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality
Conceptual Modeling: Foundations and Applications
Electronic Commerce Research and Applications
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
Learning with feature description logics
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
Part-whole reasoning in an object-centered framework
Part-whole reasoning in an object-centered framework
Non-standard inferences in description logics
Non-standard inferences in description logics
Logic-based knowledge representation
Artificial intelligence today
Representing sequences in description logics
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
P-CLASSIC: a tractable probablistic description logic
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Efficient management of very large ontologies
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Iterative refinement of knowledge bases with consistency guarantees
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Agent-based semantic composition of web services using distributed description logics
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Rewriting fuzzy queries using imprecise views
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
Automating competence management through non-standard reasoning
Engineering Applications of Artificial Intelligence
Towards Semantics-Based Instantiation of Services
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01
Introductions to description logics: a guided tour
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Hi-index | 0.00 |
This paper analyzes the correctness of the subsumption algorithm used in CLASSIC, a description logic-based knowledge representation system that is being used in practical applications. In order to deal efficiently with individuals in CLASSIC descriptions, the developers have had to use an algorithm that is incomplete with respect to the standard, model-theoretic semantics for description logics. We provide a variant semantics for descriptions with respect to which the current implementation is complete, and which can be independently motivated. The soundness and completeness of the polynomial-time subsumption algorithm is established using description graphs, which are an abstracted version of the implementation structures used in CLASSIC, and are of independent interest.