Computer Science – Logic in Computer Science
Scientific paper
2012-02-04
LMCS 8 (1:12) 2012
Computer Science
Logic in Computer Science
38 pages, 3 figures, camera ready version of paper accepted for publication in Logical Methods in Computer Science
Scientific paper
10.2168/LMCS-8(1:12)2012
We propose a novel, type-elimination-based method for reasoning in the description logic SHIQbs including DL-safe rules. To this end, we first establish a knowledge compilation method converting the terminological part of an ALCIb knowledge base into an ordered binary decision diagram (OBDD) which represents a canonical model. This OBDD can in turn be transformed into disjunctive Datalog and merged with the assertional part of the knowledge base in order to perform combined reasoning. In order to leverage our technique for full SHIQbs, we provide a stepwise reduction from SHIQbs to ALCIb that preserves satisfiability and entailment of positive and negative ground facts. The proposed technique is shown to be worst case optimal w.r.t. combined and data complexity and easily admits extensions with ground conjunctive queries.
Hitzler Pascal
Krötzsch Markus
Rudolph Sebastian
No associations
LandOfFree
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog 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 Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-330596