Location of Repository

Pushing the Limits of Reasoning over Ontologies with Hidden Content (Tech. Report). Technical report, OUCL. Available at www.comlab.ox.ac.uk/people/boris.motik/pubs

By Bernardo Cuenca Grau and Boris Motik

Abstract

There is currently a growing interest in techniques for hiding parts of the signature of an ontology Kh that is being reused by another ontology Kv. Towards this goal, Cuenca Grau, Motik, and Kazakov (2009) recently proposed the import-byquery framework, which makes the content of Kh accessible through a limited query interface. If Kv reuses the symbols from Kh in a certain restricted way, one can reason over Kv ∪ Kh by accessing only Kv and the query interface. In this paper, we map out the landscape of the import-by-query problem. We show that certain restrictions of our original framework are strictly necessary to make reasoning possible, we propose extensions that overcome some of the expressivity limitations, we present several novel reasoning algorithms, and we outline the limitations of the new framework

Year: 2014
OAI identifier: oai:CiteSeerX.psu:10.1.1.416.6177
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.cs.ox.ac.uk/files/4... (external link)
  • www.comlab.ox.ac.uk/people/bor... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.