Journal article icon

Journal article

A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes.

Abstract:

Many modern applications of description logics (DLs) require answering queries over large data quantities, structured according to relatively simple ontologies. For such applications, we conjectured that reusing ideas of deductive databases might improve scalability of DL systems. Hence, in our previous work, we developed an algorithm for reducing a DL knowledge base to a disjunctive datalog program. To test our conjecture, we implemented our algorithm in a new DL reasoner KAON2, which we des...

Expand abstract

Actions


Access Document


Publisher copy:
10.1007/11916277_16

Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Role:
Author

Contributors

Role:
Editor
Role:
Editor
Publisher:
Springer Publisher's website
Journal:
LPAR
Volume:
4246
Pages:
227-241
Publication date:
2006-01-01
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
URN:
uuid:0b8daf4c-a7d0-4479-b679-5b6ed2cd8712
Source identifiers:
286045
Local pid:
pubs:286045

Terms of use


Metrics


Views and Downloads






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

TO TOP