The Description Logic ALCNH R + Extended with Concrete Domains : Revised

Abstract

The paper introduces the description logicALCNHR+(D) −. Prominent language features beyond ALC are number restrictions, role hierarchies, transitively closed roles, generalized concept inclusions and concrete domains. As in other languages based on concrete domains (e.g. ALC(D)) a so-called predicate exists restriction concept constructor is provided. However, compared to ALC(D) only features and no feature chains are allowed in this operator. This results in a limited expressivity w.r.t. concrete domains but is required to ensure the decidability of the language. We show that the results can be exploited for building practical description logic systems for solving e.g. configuration problems.

Cite this paper

@inproceedings{Haarslev2000TheDL, title={The Description Logic ALCNH R + Extended with Concrete Domains : Revised}, author={Volker Haarslev and Ralf M{\"{o}ller and Michael Wessel}, year={2000} }