Decidable Reasoning in Terminological Knowledge Representation Systems
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 704-708.
Abstract
Terminological Knowledge Representation Systems (TKRSs) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages). The TKRS we consider in this paper is of practical interest since it goes beyond the capabilities of presently available TKRSs . First, our TKRS is equipped with a highly expressive concept language, called A£CNR., including general complements of concepts, numb er restrictions and role conjunction. Second. it allows one to express inclusion statements be tw een general concepts, in particular to express terminological cycles . Vl'e provide a sound , complete and terminating calculus for reasoning in A£CNR.-knowledge bases based on the general technique of constraint systems .
@inproceedings{ijcai1993p99,
title = {Decidable Reasoning in Terminological Knowledge Representation Systems},
author = {Buchheit, Martin and Donini, Francesco M. and Schaerf, Andrea},
booktitle = {Proceedings of the Thirteenth International Joint Conference on
Artificial Intelligence, {IJCAI-93}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ruzena Bajcsy},
pages = {704--708},
year = {1993},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1993/99},
}
TY - CPAPER TI - Decidable Reasoning in Terminological Knowledge Representation Systems AU - Buchheit, Martin AU - Donini, Francesco M. AU - Schaerf, Andrea T2 - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 PB - International Joint Conferences on Artificial Intelligence PY - 1993 SP - 704 EP - 708 UR - https://ijcai.org/proceedings/1993/99 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
