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
Bibliographic Details
- Publisher:
- Springer Publisher's website
- Journal:
- LPAR
- Volume:
- 4246
- Pages:
- 227-241
- Publication date:
- 2006-01-01
- DOI:
- EISSN:
-
1611-3349
- ISSN:
-
0302-9743
- Source identifiers:
-
286045
Item Description
- Pubs id:
-
pubs:286045
- UUID:
-
uuid:0b8daf4c-a7d0-4479-b679-5b6ed2cd8712
- Local pid:
- pubs:286045
- Deposit date:
- 2012-12-19
Terms of use
- Copyright date:
- 2006
If you are the owner of this record, you can report an update to it here: Report update to this record