A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
The goal of this paper is to introduce the description logic ALCRP 3 (D). This logic is based on the DL ALCRP(D) extended by a ternary role-forming predicate operator and by inverse roles. In order to be able to define a compositional semantics for ALCRP 3 (D), which supports n-ary relations, we introduce a DLR-style syntax. For simplicity and from the viewpoint of the applicability in practice, only ternary relations will be discussed. The paper discusses syntactic restrictions on concepts and roles to ensure decidability of the language.dblp:conf/dlog/KaplunovaHM02 fatcat:wewus4c6e5bsjkimkm3up3izh4