Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice

DOI10.1613/JAIR.3470zbMath1243.68276DBLPjournals/jair/GrauMSH12arXiv1401.4604OpenAlexW3100976664WikidataQ56988605 ScholiaQ56988605MaRDI QIDQ2887081

Bernardo Cuenca Grau, Boris Motik, Ian Horrocks, Giorgos Stoilos

Publication date: 16 May 2012

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1401.4604

zbMATH Keywords

incompletenessSemantic Webontology reasoners

Mathematics Subject Classification ID

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

Related Items (1)

Precomputing Datalog Evaluation Plans in Large-Scale Scenarios

Uses Software

• SPARQL
• CEL
• LUBM

This page was built for publication: Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice