An ALC Description Logic Connection Method
نویسنده
چکیده
The connection method earned good reputation in the field of automated theorem proving for around three decades, due to its simplicity, clarity, efficiency and parsimonious use of memory. This seems to be a very appealing feature, in particular in the context of Semantic Web, where it is assumed that the knowledge bases might be of arbitrary size. In this paper, I present a connection method especially tailored to infer over the description logic (DL) ALC. Our ALC connection method is formalized in sequent style, although matrices should be employed for practical reasons.
منابع مشابه
A Connection Calculus for the Description Logic ALC
This paper presents a connection calculus for the description logic (DL) ALC. It replaces the usage of Skolem terms and unification by additional annotation and introduces blocking, a typical feature of DL provers, by a new rule, to ensure termination in the case of cyclic ontologies. Besides the connection calculus, a simplified clausal form normalization is presented. Furthermore, termination...
متن کاملOn the Non-Monotonic Description Logic ALC+Tmin
In the last 20 years many proposals have been made to incorporate non-monotonic reasoning into description logics, ranging from approaches based on default logic and circumscription to those based on preferential semantics. In particular, the non-monotonic description logic ALC+Tmin uses a combination of the preferential semantics with minimization of a certain kind of concepts, which represent...
متن کاملOn the Non-Monotonic Description Logic $\mathcal{ALC}$+T$_{\mathsf{min}}$
In the last 20 years many proposals have been made to incorporate non-monotonic reasoning into description logics, ranging from approaches based on default logic and circumscription to those based on preferential semantics. In particular, the non-monotonic description logic ALC+Tmin uses a combination of the preferential semantics with minimization of a certain kind of concepts, which represent...
متن کاملPractical Issues of Description Logics for Spatial Reasoning
Spatial reasoning with description logic has become an important research topic in the recent past. Several authors dealt with the problem of finding logical frameworks in which concept definitions can be made by using also spatial operators, particularly those of the Region Connection Calculus. Lutz and Miličić investigated the formal properties required to the concrete domain of the logical s...
متن کامل