✦ LIBER ✦

Query Answering for OWL-DL with rules

✍ Scribed by Boris Motik; Ulrike Sattler; Rudi Studer

Book ID: 104099566
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 283 KB
Volume: 3
Category: Article
ISSN: 1570-8268
DOI: 10.1016/j.websem.2005.05.001

No coin nor oath required. For personal study only.

✦ Synopsis

Both OWL-DL and function-free Horn rules are decidable fragments of first-order logic with interesting, yet orthogonal expressive power. A combination of OWL-DL and rules is desirable for the Semantic Web; however, it might easily lead to the undecidability of interesting reasoning problems. Here, we present a decidable such combination where rules are required to be DL-safe: each variable in the rule is required to occur in a non-DL-atom in the rule body. We discuss the expressive power of such a combination and present an algorithm for query answering in the related logic SHIQ extended with DL-safe rules, based on a reduction to disjunctive programs.

📜 SIMILAR VOLUMES

OWL-QL—a language for deductive query an

OWL-QL—a language for deductive query answering on the Semantic Web

✍ Richard Fikes; Patrick Hayes; Ian Horrocks 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 120 KB

This paper discusses the issues involved in designing a query language for the Semantic Web and presents the OWL query language (OWL-QL) as a candidate standard language and protocol for query-answering dialogues among Semantic Web computational agents using knowledge represented in the W3Cs ontolog

Efficient algorithms for answering queri

Efficient algorithms for answering queries with unsorted multilists

✍ Billy G. Claybrook; Chung-Shu Yang 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 483 KB

A dichotomy in the complexity of consist

A dichotomy in the complexity of consistent query answering for queries with two atoms

✍ Phokion G. Kolaitis; Enela Pema 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 220 KB

Semantics for possibilistic answer set p

Semantics for possibilistic answer set programs: Uncertain rules versus rules with uncertain conclusions

✍ Bauters, Kim; Schockaert, Steven; De Cock, Martine; Vermeir, Dirk 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 460 KB

[Lecture Notes in Computer Science] The

[Lecture Notes in Computer Science] The Semantic Web: Research and Applications Volume 4011 || A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies

✍ Sure, York; Domingue, John 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 536 KB

This Book Constitutes The Refereed Proceedings Of The 3rd European Semantic Web Conference, Eswc 2006. The Book Presents 48 Revised Full Papers With Abstracts Of 3 Invited Talks. The Papers Are Organized In Topical Sections On Ontology Alignment, Engineering, Evaluation, Evolution And Learning, Rule

[Lecture Notes in Computer Science] Towa

[Lecture Notes in Computer Science] Toward Useful Services for Elderly and People with Disabilities Volume 6719 || An OWL-DL Ontology for the HL7 Reference Information Model

✍ Abdulrazak, Bessam; Giroux, Sylvain; Bouchard, Bruno; Pigot, Hélène; Mokhtari, M 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 159 KB

This book constitutes the refereed proceedings of the 9th International Conference on Smart Homes and Health Telematics, ICOST 2011, held in Montreal, Canada, in June 2011. The 25 revised full papers presented together with 16 short papers and 8 student papers were carefully reviewed and selected fr