How Incomplete Is Your Semantic Web Reasoner?

Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks

AAAI 2010 pp. 1431-1436

doi:10.1609/AAAI.V24I1.7498 /aaai/2010/stoilos2010aaai-incomplete/

Abstract

Conjunctive query answering is a key reasoning service for many ontology-based applications. In order to improve scalability, many Semantic Web query answering systems give up completeness (i.e., they do not guarantee to return all query answers). It may be useful or even critical to the designers and users of such systems to understand how much and what kind of information is (potentially) being lost. We present a method for generating test data that can be used to provide at least partial answers to these questions, a purpose for which existing benchmarks are not well suited. In addition to developing a general framework that formalises the problem, we describe practical data generation algorithms for some popular ontology languages, and present some very encouraging results from our preliminary evaluation.

PDF AAAI Semantic Scholar

Cite

Text

Stoilos et al. "How Incomplete Is Your Semantic Web Reasoner?." AAAI Conference on Artificial Intelligence, 2010. doi:10.1609/AAAI.V24I1.7498

Markdown

[Stoilos et al. "How Incomplete Is Your Semantic Web Reasoner?." AAAI Conference on Artificial Intelligence, 2010.](https://mlanthology.org/aaai/2010/stoilos2010aaai-incomplete/) doi:10.1609/AAAI.V24I1.7498

BibTeX

@inproceedings{stoilos2010aaai-incomplete,
  title     = {{How Incomplete Is Your Semantic Web Reasoner?}},
  author    = {Stoilos, Giorgos and Grau, Bernardo Cuenca and Horrocks, Ian},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2010},
  pages     = {1431-1436},
  doi       = {10.1609/AAAI.V24I1.7498},
  url       = {https://mlanthology.org/aaai/2010/stoilos2010aaai-incomplete/}
}