On the scalability of description logic instance retrieval

DOI10.1007/s10817-008-9104-7zbMath1185.68674OpenAlexW2905126952WikidataQ64363113 ScholiaQ64363113MaRDI QIDQ1040773

Ralf Möller, Volker Haarslev

Publication date: 25 November 2009

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-008-9104-7

zbMATH Keywords

description logicsinstance retrieval

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (2)

Optimising fuzzy description logic reasoners with general concept inclusion absorption ⋮ Absorption for ABoxes

Uses Software

• WordNet
• DAML+OIL
• Racer
• LUBM

Cites Work

• Data complexity of query answering in description logics
• Flexible software architectures for ontology-based information systems
• Reasoning and revision in hybrid representation systems
• EXPtime tableaux for ALC
• A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
• EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
• Mechanizing Mathematical Reasoning
• Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the scalability of description logic instance retrieval