Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach release_bpo4eakk7fa6fmzvadi3ulwewq

by B. Cuenca Grau, B. Motik

Published in The Journal of Artificial Intelligence Research by AI Access Foundation.

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)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2012-10-22
Journal Metadata
Open Access Publication
In DOAJ
In ISSN ROAD
Not in Keepers Registry
ISSN-L:  1076-9757
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 8c792b1a-8188-4d05-b3d3-28adcc2b638b
API URL: JSON