Matches in ScholarlyData for { ?s ?p ?o. }
- 11 hasAuthorList authorList.
- 11 isPartOf proceedings.
- 11 keyword "Epistemic Querying".
- 11 keyword "OWL2".
- 11 keyword "Reasoning Interface".
- 11 title "Epistemic Queries for OWL Knowledge Bases".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasLastItem item-3.
- item-1 type ListItem.
- item-1 hasContent anees-ul-mehdi.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent sebastian-rudolph.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent stephan-grimm.
- item-3 previous item-2.
- 17 creator anni-yasmin-turhan.
- 17 creator rafael-penaloza.
- 17 type InProceedings.
- 17 label "A Practical Approach for Computing Generalization Inferences in EL".
- 17 sameAs 17.
- 17 abstract "We present methods that compute generalizations of concepts or individuals described in ontologies written in the Description Logic EL. These generalizations are the basis of methods for ontology design and are the core of concept similarity measures. The reasoning service least common subsumer (lcs) generalizes a set of concepts. Similarly, the most specific concept (msc) generalizes an individual into a concept description. For EL the lcs and the msc do not need to exist, if computed w.r.t. general EL-TBoxes. However, it is possible to find a concept description that is the lcs (msc) up to a certain role-depth. In this paper we present a practical approach for computing the role-depth bounded lcs and msc, based on the polynomial-time completion algorithm for EL and describe its implementation.".
- 17 hasAuthorList authorList.
- 17 isPartOf proceedings.
- 17 keyword "Description logics".
- 17 keyword "EL".
- 17 keyword "generalization".
- 17 keyword "least common subsumer".
- 17 keyword "most specific concept".
- 17 keyword "similarity measures".
- 17 title "A Practical Approach for Computing Generalization Inferences in EL".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasLastItem item-2.
- item-1 type ListItem.
- item-1 hasContent anni-yasmin-turhan.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent rafael-penaloza.
- item-2 previous item-1.
- 2 creator chan-le-duc.
- 2 creator myriam-lamolle.
- 2 creator olivier-cure.
- 2 type InProceedings.
- 2 label "A Tableaux-based Algorithm for SHIQ with Transitive Closure of Roles in Concept and Role Inclusion Axioms".
- 2 sameAs 2.
- 2 abstract "In this paper, we investigate an extension of the description logic SHIQ-a knowledge representation formalism used for the Semantic Web- with transitive closure of roles occurring not only in concept inclusion axioms but also in role inclusion axioms. It was proved that adding transitive closure of roles to SHIQ without restriction on role hierarchies may lead to undecidability. We have identified a kind of role inclusion axioms that is responsible for this undecidability and we propose a restriction on these axioms to obtain decidability. Next, we present a tableaux-based algorithm that decides satisfiability of concepts in the new logic.".
- 2 hasAuthorList authorList.
- 2 isPartOf proceedings.
- 2 keyword "Description Logics".
- 2 keyword "OWL".
- 2 keyword "Reasoning".
- 2 keyword "Tableaux".
- 2 keyword "Transitive closure".
- 2 title "A Tableaux-based Algorithm for SHIQ with Transitive Closure of Roles in Concept and Role Inclusion Axioms".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasLastItem item-3.
- item-1 type ListItem.
- item-1 hasContent chan-le-duc.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent myriam-lamolle.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent olivier-cure.
- item-3 previous item-2.
- 9 creator birte-glimm.
- 9 creator ian-horrocks.
- 9 creator ilianna-kollia.
- 9 type InProceedings.
- 9 label "SPARQL Query Answering over OWL Ontologies".
- 9 sameAs 9.
- 9 abstract "The SPARQL query language is currently being extended by W3C with so-called entailment regimes, which define how queries are evaluated under more expressive semantics than simple entailment. We describe a sound and complete algorithm for the OWL Direct Semantics entailment regime. The queries of the regime are very expressive since variables can occur within complex class expressions and can also bind to class or property names. We propose several novel optimizations such as strategies for determining a good query execution order, query rewriting techniques, and show how specialized OWL reasoning tasks and the class and property hierarchy can be used to reduce the query execution time. We provide a prototypical implementation and evaluate the efficiency of the proposed optimizations. For standard conjunctive queries our system performs comparably to already deployed systems. For complex queries an improvement of up to three orders of magnitude can be observed.".
- 9 hasAuthorList authorList.
- 9 isPartOf proceedings.
- 9 keyword "OWL Direct Semantics entailment regime".
- 9 keyword "SPARQL".
- 9 keyword "optimization techniques".
- 9 title "SPARQL Query Answering over OWL Ontologies".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasLastItem item-3.
- item-1 type ListItem.
- item-1 hasContent ilianna-kollia.