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 Kh. For copyright and/or privacy reasons, however, the authors of Kh might not want to publish the axioms of Kh; inste...
| Prif Awduron: | , , |
|---|---|
| Fformat: | Conference item |
| Cyhoeddwyd: |
2015
|
| _version_ | 1826279881198010368 |
|---|---|
| author | Grau, B Motik, B Kazakov, Y |
| author_facet | 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 Kh. 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 U 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-07T00:05:25Z |
| format | Conference item |
| id | oxford-uuid:775f8ae5-f2a2-466c-8c8f-a7703b58233a |
| institution | University of Oxford |
| last_indexed | 2024-03-07T00:05:25Z |
| publishDate | 2015 |
| record_format | dspace |
| spelling | oxford-uuid:775f8ae5-f2a2-466c-8c8f-a7703b58233a2022-03-26T20:23:36ZImport−by−Query: Ontology Reasoning under Access LimitationsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:775f8ae5-f2a2-466c-8c8f-a7703b58233aDepartment of Computer Science2015Grau, BMotik, BKazakov, YTo 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 Kh. 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 U 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 |