Journal article icon

Journal article

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.

Abstract:
We propose a novel method for reasoning in the description logic . After a satisfiability preserving transformation from to the description logic , the obtained Tbox is converted into an ordered binary decision diagram (OBDD) which represents a canonical model for . 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. © 2008 Springer Berlin Heidelberg.

Actions


Access Document


Authors


Rudolph, S More by this author
Krötzsch, M More by this author
Hitzler, P More by this author

Contributors

Role:
Editor
Role:
Editor
Role:
Editor
Role:
Editor
Role:
Editor
Expand contributors...
Publisher:
Springer Publisher's website
Journal:
International Semantic Web Conference
Volume:
5318
Pages:
435-450
Publication date:
2008
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
URN:
uuid:a99b9e5d-9c41-49bc-a759-a156bf894afb
Source identifiers:
334592
Local pid:
pubs:334592
Language:
English

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP