[Profile picture of Ruben Verborgh]

Ruben Verborgh

Improving OWL RL reasoning in N3 by using specialized rules

by Dörthe Arndt, Ben De Meester, Pieter Bonte, Jeroen Schaballie, Jabran Bhatti, Wim Dereuddre, Ruben Verborgh, Femke Ongenae, Filip De Turck, Rik Van de Walle, and Erik Mannens

Semantic Web reasoning can be a complex task: depending on the amount of data and the ontologies involved, traditional OWL DL reasoners can be too slow to face problems in real time. An alternative is to use a rule-based reasoner together with the OWL RL/RDF rules as stated in the specification of the OWL 2 language profiles. In most cases this approach actually improves reasoning times, but due to the complexity of the rules, not as much as it could. In this paper we present an improved strategy: based on the TBoxes of the ontologies involved in a reasoning task, we create more specific rules which then can be used for further reasoning. We make use of the EYE reasoner and its logic Notation3. In this logic, rules can be employed to derive new rules which makes the rule creation a reasoning step on its own. We evaluate our implementation on a semantic nurse call system. Our results show that adding a pre-reasoning step to produce specialized rules improves reasoning times by around 75%.

full text BibTeX other citation formats

Published in 2016 in Ontology Engineering: 12th International Experiences and Directions Workshop on OWL.

Keywords:

Read this article online

Cite this article in your publications

Cite this article easily using its BibTeX entry: 

@inproceedings{arndt_owled_2015,
  author = {Arndt, D\"orthe and De Meester, Ben and Bonte, Pieter and Schaballie, Jeroen and Bhatti, Jabran and Dereuddre, Wim and Verborgh, Ruben and Ongenae, Femke and De Turck, Filip and Van de Walle, Rik and Mannens, Erik},
  title = {Improving {OWL RL} reasoning in {N3} by using specialized rules},
  booktitle = {Ontology Engineering: 12th International Experiences and Directions Workshop on OWL},
  editor = {Tamma, Valentina and Dragoni, Mauro and Gon\c{c}alves, Rafael and {\L}awrynowicz, Agnieszka},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 9557,
  pages = {93--104},
  year = 2016,
  month = apr,
  isbn = {978-3-319-33245-1},
  doi = {10.1007/978-3-319-33245-1_10},
  url = {http://dx.doi.org/10.1007/978-3-319-33245-1_10},
}

Alternatively, pick a reference of your choice below:

IEEE
D. Arndt, B. De Meester, P. Bonte, J. Schaballie, J. Bhatti, W. Dereuddre, R. Verborgh, F. Ongenae, F. De Turck, R. Van de Walle, and E. Mannens, “Improving OWL RL reasoning in N3 by using specialized rules,” in Ontology Engineering: 12th International Experiences and Directions Workshop on OWL, 2016, vol. 9557, pp. 93–104.
ACM
Dörthe Arndt et al. 2016. Improving OWL RL reasoning in N3 by using specialized rules. In Valentina Tamma, Mauro Dragoni, Rafael Gonçalves, & Agnieszka Ławrynowicz, eds. Ontology Engineering: 12th International Experiences and Directions Workshop on OWL. Lecture Notes in Computer Science. Springer, 93–104.
LNCS
Arndt, D., De Meester, B., Bonte, P., Schaballie, J., Bhatti, J., Dereuddre, W., Verborgh, R., Ongenae, F., De Turck, F., Van de Walle, R., Mannens, E.: Improving OWL RL reasoning in N3 by using specialized rules. In: Tamma, V., Dragoni, M., Gonçalves, R., and Ławrynowicz, A. (eds.) Ontology Engineering: 12th International Experiences and Directions Workshop on OWL. pp. 93–104. Springer (2016).
APA
Arndt, D., De Meester, B., Bonte, P., Schaballie, J., Bhatti, J., Dereuddre, W., … Mannens, E. (2016). Improving OWL RL reasoning in N3 by using specialized rules. In V. Tamma, M. Dragoni, R. Gonçalves, & A. Ławrynowicz (Eds.), Ontology Engineering: 12th International Experiences and Directions Workshop on OWL (Vol. 9557, pp. 93–104). Springer.
MLA
Arndt, Dörthe et al. “Improving OWL RL Reasoning in N3 by Using Specialized Rules.” Ontology Engineering: 12th International Experiences and Directions Workshop on OWL. Ed. Valentina Tamma et al. Vol. 9557. Springer, 2016. 93–104. Print. Lecture Notes in Computer Science.

Discuss this article