A Computationally Tractable Terminological Logic

Abstract

Terminological Logics are knowledge representation formalisms of enormous applicative interest, as they are specifically oriented to the vast class of application domains that are describable by means of taxonomic organizations of complex objects. A number of results relative to the computational complexity of terminological logics have recently appeared in… (More)

Topics

Cite this paper

@inproceedings{Sebastiani1991ACT, title={A Computationally Tractable Terminological Logic}, author={Fabrizio Sebastiani and Umberto Straccia}, booktitle={SCAI}, year={1991} }