Guarded Hybrid Knowledge Bases

Details Guarded Hybrid Knowledge Bases Guarded Hybrid Knowledge Bases

2007-11-14

arxiv.org/abs/0711.2155v1

Computer Science

Logic in Computer Science

18 pages

Scientific paper

Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web.We define guarded hybrid knowledge bases (or g-hybrid knowledge bases) as knowledge bases that consist of a Description Logic knowledge base and a guarded logic program, similar to the DL+log knowledge bases from (Rosati 2006). G-hybrid knowledge bases enable an integration of Description Logics and Logic Programming where, unlike in other approaches, variables in the rules of a guarded program do not need to appear in positive non-DL atoms of the body, i.e. DL atoms can act as guards as well. Decidability of satisfiability checking of g-hybrid knowledge bases is shown for the particular DL DLRO, which is close to OWL DL, by a reduction to guarded programs under the open answer set semantics. Moreover, we show 2-EXPTIME-completeness for satisfiability checking of such g-hybrid knowledge bases. Finally, we discuss advantages and disadvantages of our approach compared with DL+log knowledge bases.

Affiliated with

Also associated with

No associations

Rating

Guarded Hybrid Knowledge Bases does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Guarded Hybrid Knowledge Bases, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Guarded Hybrid Knowledge Bases will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-530582