Article ID Journal Published Year Pages File Type
402983 Knowledge-Based Systems 2011 14 Pages PDF
Abstract

We present ARTIGENCE, a representation language that combines description logics and Horn rules with uncertainty. ARTIGENCE capabilities go beyond the similar hybrid systems presently available, and it contains three components: a highly expressive description logic ACLNRACLNR, a set of probabilistic Horn rules and a set of ground facts. The new features described, often required in realistic application domains, can be summarized in three main points. First, we obtained a sound, complete and decidable algorithm for reasoning in ARTIGENCE knowledge base, with decidability being an important indicator that the computational complexity of the language might be essential issue for practical applications. Second, ARTIGENCE was designed not only to combine the expressive power of Horn rules and description logics, but also for its ability to deal with uncertainty. Third, we consider ACLNRACLNR as a description logic component of ARTIGENCE, which is one of the most expressive description logic with decidable inference procedures so far. We also show that the specific description logic ACLNRACLNR used in our proposed framework is not mandatory, and other decidable description logics, even their probabilistic versions can be accommodated to our framework.

Related Topics
Physical Sciences and Engineering Computer Science Artificial Intelligence
Authors
,