Import-by-Query: Ontology Reasoning under Access Limitations.
To enable ontology reuse, the Web Ontology Language (OWL) allows an ontology Kv to import an ontology Kh. To reason with such a Kv, a reasoner needs physical access to the axioms of K h. For copyright and/or privacy reasons, however, the authors of Kh might not want to publish the axioms of Kh; inst...
Main Authors: | , , |
---|---|
מחברים אחרים: | |
פורמט: | Journal article |
שפה: | English |
יצא לאור: |
2009
|
_version_ | 1826270909876404224 |
---|---|
author | Grau, B Motik, B Kazakov, Y |
author2 | Boutilier, C |
author_facet | Boutilier, C Grau, B Motik, B Kazakov, Y |
author_sort | Grau, B |
collection | OXFORD |
description | To enable ontology reuse, the Web Ontology Language (OWL) allows an ontology Kv to import an ontology Kh. To reason with such a Kv, a reasoner needs physical access to the axioms of K h. For copyright and/or privacy reasons, however, the authors of Kh might not want to publish the axioms of Kh; instead, they might prefer to provide an oracle that can answer a (limited) set of queries over Kh, thus allowing Kv to import Kh "by query." In this paper, we study import-by-query algorithms, which can answer questions about Kv ∪ Kh by accessing only Kv and the oracle. We show that no such algorithm exists in general, and present restrictions under which importing by query becomes feasible. |
first_indexed | 2024-03-06T21:48:16Z |
format | Journal article |
id | oxford-uuid:4a5e2408-29f6-4397-9b93-017a03cc3c15 |
institution | University of Oxford |
language | English |
last_indexed | 2024-03-06T21:48:16Z |
publishDate | 2009 |
record_format | dspace |
spelling | oxford-uuid:4a5e2408-29f6-4397-9b93-017a03cc3c152022-03-26T15:37:04ZImport-by-Query: Ontology Reasoning under Access Limitations.Journal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:4a5e2408-29f6-4397-9b93-017a03cc3c15EnglishSymplectic Elements at Oxford2009Grau, BMotik, BKazakov, YBoutilier, CTo enable ontology reuse, the Web Ontology Language (OWL) allows an ontology Kv to import an ontology Kh. To reason with such a Kv, a reasoner needs physical access to the axioms of K h. For copyright and/or privacy reasons, however, the authors of Kh might not want to publish the axioms of Kh; instead, they might prefer to provide an oracle that can answer a (limited) set of queries over Kh, thus allowing Kv to import Kh "by query." In this paper, we study import-by-query algorithms, which can answer questions about Kv ∪ Kh by accessing only Kv and the oracle. We show that no such algorithm exists in general, and present restrictions under which importing by query becomes feasible. |
spellingShingle | Grau, B Motik, B Kazakov, Y Import-by-Query: Ontology Reasoning under Access Limitations. |
title | Import-by-Query: Ontology Reasoning under Access Limitations. |
title_full | Import-by-Query: Ontology Reasoning under Access Limitations. |
title_fullStr | Import-by-Query: Ontology Reasoning under Access Limitations. |
title_full_unstemmed | Import-by-Query: Ontology Reasoning under Access Limitations. |
title_short | Import-by-Query: Ontology Reasoning under Access Limitations. |
title_sort | import by query ontology reasoning under access limitations |
work_keys_str_mv | AT graub importbyqueryontologyreasoningunderaccesslimitations AT motikb importbyqueryontologyreasoningunderaccesslimitations AT kazakovy importbyqueryontologyreasoningunderaccesslimitations |