1 research outputs found

    Adding ternary complex roles to ALCRP(D)

    No full text
    The goal of this paper is to introduce the description logic ALCRP (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 (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
    corecore