A Computationally Tractable Terminological Logic


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)


Cite this paper

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