Exploring parallel tractability of ontology materialization

DOI10.3233/978-1-61499-672-9-73zbMATH Open1403.68284OpenAlexW2573592994MaRDI QIDQ4576165FDOQ4576165

Authors: Zhangquan Zhou, Guilin Qi, Birte Glimm 

Publication date: 12 July 2018

Full work available at URL: https://doi.org/10.3233/978-1-61499-672-9-73

Recommendations

• Scalable reasoning by abstraction beyond DL-Lite
• Tractable approximate deduction for OWL
• Tractable reasoning in description logics with functionality constraints
• Journal on Data Semantics II
• Mixing materialization and query rewriting for existential rules

Mathematics Subject Classification ID

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

Cited In (1)

• Scalable reasoning by abstraction beyond DL-Lite

This page was built for publication: Exploring parallel tractability of ontology materialization

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