A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic

Abstract

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 e ciently with individuals in classic descriptions, the developers have had to use an algorithm that is incomplete with respect to the standard, model… (More)
DOI: 10.1613/jair.56

Topics

Cite this paper

@article{Borgida1994ASA, title={A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic}, author={Alexander Borgida and Peter F. Patel-Schneider}, journal={J. Artif. Intell. Res.}, year={1994}, volume={1}, pages={277-308} }