Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach
release_bpo4eakk7fa6fmzvadi3ulwewq
by
B. Cuenca Grau, B. Motik
2012 Volume 45, p197-255
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, in this paper we propose the import-by-query 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 U Kh by accessing only Kv and the query interface. We map out the landscape of the import-by-query problem. In particular, we outline the limitations of our framework and prove that certain restrictions on the expressivity of Kh and the way in which Kv reuses symbols from Kh are strictly necessary to enable reasoning in our setting. We also identify cases in which reasoning is possible and we present suitable import-by-query reasoning algorithms.
In application/xml+jats
format
Archived Files and Locations
application/pdf 856.8 kB
file_id7fpwv5graedauulkgvvbvl2i
|
jair.org (web) web.archive.org (webarchive) |
application/pdf 575.4 kB
file_bvk4fb4naffm5e2kij7e2fo5xu
|
www.cs.ox.ac.uk (web) web.archive.org (webarchive) |
article-journal
Stage
published
Date 2012-10-22
Open Access Publication
In DOAJ
In ISSN ROAD
Not in Keepers Registry
ISSN-L:
1076-9757
access all versions, variants, and formats of this works (eg, pre-prints)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar