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
ICSE '90 Proceedings of the 12th international conference on Software engineering
Configuration as a Consistency Maintenance Task
Künstliche Intelligenz, GWAI-88, 12. Jahrestagung
The BACK System Revisited
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Usability issues in knowledge representation systems
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Automated Deduction Techniques for Classification in Description Logic Systems
Journal of Automated Reasoning
The description logic handbook
From tableaux to automata for description logics
Fundamenta Informaticae
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
Deriving and Retrieving Contextual Categorical Information through Instance Inheritance
Fundamenta Informaticae
Business rules for semantics-aware business modelling: overview and open issues
International Journal of Web Engineering and Technology
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Reconciling description logics and rules
Journal of the ACM (JACM)
An empirical analysis of terminological representation systems
AAAI'92 Proceedings of the tenth national conference on 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
Document retrieval by relevance terminological logics
MIRO'95 Proceedings of the Final conference on Multimedia Information Retrieval
From Tableaux to Automata for Description Logics
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Deriving and Retrieving Contextual Categorical Information through Instance Inheritance
Fundamenta Informaticae
On the Semantics of a Semantic Network
Fundamenta Informaticae
Hi-index | 0.00 |
Our work on the CLASSIC knowledge representation system covers a broad range from theory to practice. While CLASSIC was implemented primarily to provide a simple, easy to learn and use, locally available tool for a relatively limited set of applications, it has a substantial theoretical foundation, based on a formal "terminological" logic. The logical foundation provides the semantics of a term description language, which is used to define structured concepts and make assertions about individuals in a knowledge base. These concepts and individuals are organized into a generalization hierarchy by classification and subsumption algorithms. The CLASSIC system explores the expressiveness vs. tractability tradeoff, driven by concerns of usefulness and usability in several real applications. Within this context, it embodies our views of what a knowledge representation system should