---
title: "Decidable Reasoning in Terminological Knowledge Representation Systems"
authors:
  - "Martin Buchheit"
  - "Francesco M. Donini"
  - "Andrea Schaerf"
doi: ""
url: "https://ijcai.org/proceedings/1993/99"
pdf: "https://ijcai.org/proceedings/1993/0099.pdf"
venue: "Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence"
year: 1993
pages: "704-708"
track: "Knowledge Representation"
keywords:
---

# Decidable Reasoning in Terminological Knowledge Representation Systems

Martin Buchheit, Francesco M. Donini, Andrea Schaerf

*Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence*, 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 .