Document Type
Conference Proceeding
Publication Date
10-2008
Abstract
We propose a novel method for reasoning in the description logic SHIQ. After a satisfiability preserving transformation from SHIQ to the description logic ALCIb, the obtained ALCIb Tbox T is converted into an ordered binary decision diagram (OBDD) which represents a canonical model for T. This OBDD is turned into a disjunctive datalog program that can be used for Abox reasoning. The algorithm is worst-case optimal w.r.t. data complexity, and admits easy extensions with DL-safe rules and ground conjunctive queries.
Repository Citation
Rudolph, S.
(2008). Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog. Lecture Notes in Computer Science, 5318, 435-450.
https://corescholar.libraries.wright.edu/knoesis/492
DOI
10.1007/978-3-540-88564-1_28
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
Comments
Presented at the 7th International Semantic Web Conference, Karlsruhe, Germany, October 26-30, 2008.
Attached is the unpublished, authors' version of this proceeding. The final, publisher's version of the proceeding can be found at http://dx.doi.org/10.1007/978-3-540-88564-1_28.