Adding ternary complex roles to ALCRP(D)

Alissa Kaplunova, Volker Haarslev, Ralf Möller
2002 International Workshop on Description Logics  
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