Conjunctive Queries for a Tractable Fragment of OWL 1.1.
Despite the success of the Web Ontology Language OWL, the development of expressive means for querying OWL knowledge bases is still an open issue. In this paper, we investigate how a very natural and desirable form of queries-namely conjunctive ones-can be used in conjunction with OWL such that one...
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Journal article |
| Language: | English |
| Published: |
Springer
2007
|
| _version_ | 1797085059279224832 |
|---|---|
| author | Krötzsch, M Rudolph, S Hitzler, P |
| author2 | Aberer, K |
| author_facet | Aberer, K Krötzsch, M Rudolph, S Hitzler, P |
| author_sort | Krötzsch, M |
| collection | OXFORD |
| description | Despite the success of the Web Ontology Language OWL, the development of expressive means for querying OWL knowledge bases is still an open issue. In this paper, we investigate how a very natural and desirable form of queries-namely conjunctive ones-can be used in conjunction with OWL such that one of the major design criteria of the latter-namely decidability-can be retained. More precisely, we show that querying the tractable fragment of OWL 1.1 is decidable. We also provide a complexity analysis and show that querying unrestricted is undecidable. © 2008 Springer-Verlag Berlin Heidelberg. |
| first_indexed | 2024-03-07T02:03:49Z |
| format | Journal article |
| id | oxford-uuid:9e47f667-5f53-47e9-bf85-cf6fa9ead6b2 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T02:03:49Z |
| publishDate | 2007 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:9e47f667-5f53-47e9-bf85-cf6fa9ead6b22022-03-27T00:49:03ZConjunctive Queries for a Tractable Fragment of OWL 1.1.Journal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:9e47f667-5f53-47e9-bf85-cf6fa9ead6b2EnglishSymplectic Elements at OxfordSpringer2007Krötzsch, MRudolph, SHitzler, PAberer, KChoi, KNoy, NAllemang, DLee, KNixon, LGolbeck, JMika, PMaynard, DMizoguchi, RSchreiber, GCudré-Mauroux, PDespite the success of the Web Ontology Language OWL, the development of expressive means for querying OWL knowledge bases is still an open issue. In this paper, we investigate how a very natural and desirable form of queries-namely conjunctive ones-can be used in conjunction with OWL such that one of the major design criteria of the latter-namely decidability-can be retained. More precisely, we show that querying the tractable fragment of OWL 1.1 is decidable. We also provide a complexity analysis and show that querying unrestricted is undecidable. © 2008 Springer-Verlag Berlin Heidelberg. |
| spellingShingle | Krötzsch, M Rudolph, S Hitzler, P Conjunctive Queries for a Tractable Fragment of OWL 1.1. |
| title | Conjunctive Queries for a Tractable Fragment of OWL 1.1. |
| title_full | Conjunctive Queries for a Tractable Fragment of OWL 1.1. |
| title_fullStr | Conjunctive Queries for a Tractable Fragment of OWL 1.1. |
| title_full_unstemmed | Conjunctive Queries for a Tractable Fragment of OWL 1.1. |
| title_short | Conjunctive Queries for a Tractable Fragment of OWL 1.1. |
| title_sort | conjunctive queries for a tractable fragment of owl 1 1 |
| work_keys_str_mv | AT krotzschm conjunctivequeriesforatractablefragmentofowl11 AT rudolphs conjunctivequeriesforatractablefragmentofowl11 AT hitzlerp conjunctivequeriesforatractablefragmentofowl11 |