A terminological knowledge representation system with complete inference algorithms
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Attributive concept descriptions with complementsArtificial Intelligence, 1991
- A resolution principle for clauses with constraintsPublished by Springer Nature ,1990
- Hybrid Inferences in KL-ONE-based Knowledge Representation SystemsPublished by Springer Nature ,1990
- Concept LogicsPublished by Springer Nature ,1990
- Undecidability of subsumption in NIKLArtificial Intelligence, 1989
- CLASSIC: a structural data model for objectsPublished by Association for Computing Machinery (ACM) ,1989
- Computational complexity of terminological reasoning in BACKArtificial Intelligence, 1988
- Expressiveness and tractability in knowledge representation and reasoning1Computational Intelligence, 1987
- An Overview of the KL‐ONE Knowledge Representation System*Cognitive Science, 1985