ALC_P~u: An Integration of Description Logic and General Rules

摘要

A unifying logic is built on top of ontologies and rules for the revised Semantic Web Architecture. This paper proposes ALC_P~u, which integrates a description logic (DL) that makes a unique names assumption with general rules that have the form of Datalog Programs permitting default negation in the body. An ALC_P~u knowledge base (KB) consists of a Tbox T of subsumptions, an Abox A of assertions, and a novel Pbox P of general rules that share predicates with DL concepts and DL roles. To model open answer set semantics, extended Herbrand structures are used for interpreting DL concepts and DL roles, while open answer sets hold for general rules. To retain decidability, a well-known weak safeness condition is employed. We develop DL tableaux-based algorithms for decision procedures of the KB satisfiability and the query entailment problems.