Ruben Verborgh

Rule-Based Reasoning using State Space Search

Dieter De Paepe, Ruben Verborgh, and Erik Mannens

Published in 2016 in Proceedings of the 15th International Semantic Web Conference: Posters and Demos.

Semantic Web reasoners are powerful tools that allow the extraction of implicit information from RDF data. This information is reachable through the definition of ontologies and/or rules provided to the reasoner. To achieve this, various algorithms are used by different reasoners. In this paper, we explain how state space search can be applied to perform backward-chaining rule-based reasoning. State space search is an approach used in the Artificial Intelligence domain that solves problems by modeling them as a graph and searching (using diverse algorithms) for solutions within this graph. State space search offers inherent proof generation and the ability to plug in different search algorithms to determine the characteristics of the reasoner such as: speed, memory or ensuring shortest proof generation.

full text BibTeX other citation formats

Keywords:

Read this article online

Cite this article in your work

Cite this article easily using its BibTeX entry: 

@inproceedings{depaepe_iswc_poster_2016,
  author = {De Paepe, Dieter and Verborgh, Ruben and Mannens, Erik},
  title = {Rule-Based Reasoning using State Space Search},
  booktitle = {Proceedings of the 15th International Semantic Web Conference: Posters and Demos},
  year = 2016,
  month = oct,
  series = {CEUR Workshop Proceedings},
  volume = 1690,
  issn = {1613-0073},
  publisher = {CEUR},
  editor = {Kawamura, Takahiro and Paulheim, Heiko},
  url = {http://ceur-ws.org/Vol-1690/paper55.pdf},
}

Alternatively, pick a reference of your choice below:

ACM
Dieter De Paepe, Ruben Verborgh, and Erik Mannens. 2016. Rule-Based Reasoning using State Space Search. In Proceedings of the 15th International Semantic Web Conference: Posters and Demos (CEUR Workshop Proceedings), CEUR.
APA
De Paepe, D., Verborgh, R., & Mannens, E. (2016). Rule-Based Reasoning using State Space Search. In T. Kawamura & H. Paulheim (Eds.), Proceedings of the 15th International Semantic Web Conference: Posters and Demos (Vol. 1690). CEUR.
IEEE
D. De Paepe, R. Verborgh, and E. Mannens, “Rule-Based Reasoning using State Space Search,” in Proceedings of the 15th International Semantic Web Conference: Posters and Demos, 2016, vol. 1690.
LNCS
De Paepe, D., Verborgh, R., Mannens, E.: Rule-Based Reasoning using State Space Search. In: Kawamura, T. and Paulheim, H. (eds.) Proceedings of the 15th International Semantic Web Conference: Posters and Demos. CEUR (2016).
MLA
De Paepe, Dieter, et al. “Rule-Based Reasoning Using State Space Search.” Proceedings of the 15th International Semantic Web Conference: Posters and Demos, edited by Takahiro Kawamura and Heiko Paulheim, vol. 1690, CEUR, 2016.