Adding ternary complex roles to ALCRP(D)
نویسندگان
چکیده
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.
منابع مشابه
A Concept Language with Role-Forming Predicate Restrictions
The development of language constructs for defining concept and role terms is an important goal of research on description logic formalisms. However, most decidable descriptions logics only support the definition of roles with very limited properties. For more complex roles, e.g. roles needed to represent Allen’s temporal relations, a higher expressivity is required. This paper formally introdu...
متن کاملA Description Logic with Concrete Domains and a Role-forming Predicate Operator
This article presents the description logic ALCRP(D) with concrete domains and a roleforming predicate operator as its prominent aspects. We demonstrate the feasibility of ALCRP(D) for reasoning about spatial objects and their qualitative spatial relationships and provide an appropriate concrete domain for spatial objects. The general significance of ALCRP(D) is demonstrated by adding temporal ...
متن کاملImplementing an ALCRP(D) ABox Reasoner - Progress Report
This paper presents a progress report on the implementation of an ALCRP(D) ABox reasoner and a knowledge representation framework. We present an ALC ABox reasoner which has been constructed for providing a basis for an optimized ALCRP(D) implementation. We compare the implementation with the concept consistency reasoner FaCT which sets the standard in current DL implementations.
متن کاملOn Terminological Default Reasoning about Spatial Information: Extended Abstract
We extend the theory about terminological default reasoning using a logical base language that can be used to represent spatioterminological phenomena. Based on the description logic ALCRP(S2) the paper discusses how to implement an algorithm for computing extensions of a world description consisting of ALCRP(S2) assertions and a set of closed ALCRP(S2) Reiter-style default rules.
متن کاملLie ternary $(sigma,tau,xi)$--derivations on Banach ternary algebras
Let $A$ be a Banach ternary algebra over a scalar field $Bbb R$ or $Bbb C$ and $X$ be a ternary Banach $A$--module. Let $sigma,tau$ and $xi$ be linear mappings on $A$, a linear mapping $D:(A,[~]_A)to (X,[~]_X)$ is called a Lie ternary $(sigma,tau,xi)$--derivation, if $$D([a,b,c])=[[D(a)bc]_X]_{(sigma,tau,xi)}-[[D(c)ba]_X]_{(sigma,tau,xi)}$$ for all $a,b,cin A$, where $[abc]_{(sigma,tau,xi)}=ata...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002