Island reasoning for ALCHI ontologies

MaRDI QIDQ3616093zbMATH OpenFDO

Authors Sebastian Wandelt, Ralf Möller

Publication date 24 March 2009

zbMATH Keywords

instance checkingscalabilitySemantic Web

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• On the scalability of description logic instance retrieval
• Individual Reuse in Description Logic Reasoning
• A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• A workbench for anytime reasoning by ontology approximation. With a case study on instance retrieval

This page was built for publication: Island reasoning for \(\mathcal{ALCHI}\) ontologies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3616093)