Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2007+aswc2007/tracks/research/papers/309> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- 309 creator markus-kroetzsch.
- 309 creator pascal-hitzler.
- 309 creator sebastian-rudolph.
- 309 type InProceedings.
- 309 label "Conjunctive Queries for a Tractable Fragment of OWL 1.1".
- 309 sameAs 309.
- 309 abstract "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 EL++ of OWL 1.1 is decidable. We also provide a complexity analysis and show that querying unrestricted EL++ is undecidable.".
- 309 hasAuthorList authorList.
- 309 hasTopic Formal_language.
- 309 hasTopic Reasoning.
- 309 hasTopic Semantic_Web.
- 309 isPartOf proceedings.
- 309 title "Conjunctive Queries for a Tractable Fragment of OWL 1.1".