Query Answering for OWL-DL with Rules

Boris Motik, Ulrike Sattler, Rudi Studer · International Workshop on the Semantic Web · 2004

Summary

A decidable combination of OWL-DL and function-free Horn rules where rules are required to be DL-safe: each variable in the rule is required to occur in a non-DL-atom in therule body.

Type: article
Published: 2004-11-07
Cited by: 794
References: 41
DOI: https://doi.org/10.1016/j.websem.2005.05.001
OpenAlex: https://openalex.org/W1791430325
Semantic Scholar: https://api.semanticscholar.org/CorpusID:1489097

Keywords

Computer science, Web Ontology Language, OWL-S, Information retrieval, Ontology

References

First-order logic and automated theorem proving (2nd ed.)Melvin Fitting — 1996
Reducing SHIQ-Description Logic to Disjunctive Datalog ProgramsUllrich Hustadt, Boris Motik, Ulrike Sattler — 2004
DLP System DescriptionPeter F. Patel‐Schneider — 1998
Ontology Reasoning in the SHOQ(D) Description LogicIan Horrocks, Ulrike Sattler — 2001
Reasoning in Description Logics with a Concrete Domain in the Framework of ResolutionUllrich Hustadt, Boris Motik, Ulrike Sattler — 2004
Description Logics with Concrete Domains-A SurveyCarsten Lutz — 2002
First-Order Logic and Automated Theorem ProvingMelvin Fitting — 1990
AL-log: Integrating Datalog and Description LogicsFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi — 2004
Practical Reasoning for Very Expressive Description LogicsIan Horrocks — 2000
Using an Expressive Description Logic: FaCT or Fiction?Ian Horrocks — 1998
Complexity results and practical algorithms for logics in knowledge representationStephan Tobies — 2001
A Scheme for Integrating Concrete Domains into Concept LanguagesFranz Baader, Philipp Hanschke — 1991
On the power of magicCatriel Beeri, Raghu Ramakrishnan — 1987
A Structure-Preserving Clause Form TranslationDavid A. Plaisted, Steve Greenbaum — 1986
Combining Horn Rules and Description Logics in CARINAlon Y. Levy, Marie-Christine Rousset — 1998
Equivalence of DATALOG Queries is UndecidableOded Shmueli — 1993
Theorem Proving with Ordering and Equality Constrained ClausesRobert Nieuwenhuis, Albert Rubio — 1995
Description logic programs: combining logic programs with description logicBenjamin N. Grosof, Ian Horrocks, Raphael Volz — 2003
Binding Propagation Techniques for the Optimization of Bound Disjunctive QueriesSergio Greco — 2003
A proposal for an owl rules languageIan Horrocks, Peter F. Patel‐Schneider — 2004

Cited by

Uncertainty Treatment in the Rule Interchange Format: From Encoding to ExtensionJidi Zhao, Harold Boley — 2008
Efficiently Answering Queries to DL and Rules Web OntologiesEdna Ruckhaus — 2005
A Faithful Integration of Description Logics with Logic ProgrammingBoris Motik, Riccardo Rosati — 2007
Expressive syndication on the web using a description logic-based approachJames Hendler, Franz Christian Halaschek-Wiener — 2007
Module Extraction for Efficient Object Queries over Ontologies with Large ABoxesCharles Périn — 2015
Automated Selection of Configurable Web ServicesSteffen Lamparter, Anupriya Ankolekar — 2007
Ontology based contextualization and context constraintsmanagement in web service processesYapa Mudiyanselage, Kosala Gamini Yapa Bandara — 2012
Blueprints for RESTful Situational Web ApplicationsBenjamin Blau, Steffen Lamparter, Steffen Haak — 2009
Classification-based Situational Reasoning for Task-oriented Mobile Service RecommendationMarko Luther, Yusuke Fukazawa, Bertrand Souville — 2006
Inference Graphs: A New Kind of Hybrid Reasoning SystemDaniel Schlegel, Stuart C. Shapiro — 2014
The Representation of Structured Objects in DLs using Description GraphsBoris Motik, Bernardo Cuenca Grau, Ulrike Sattler — 2008
ALCuP: An Integration of Description Logic and General RulesJing Mei, Zuoquan Lin, Harold Boley — 2007
Combining OWL with F-Logic Rules and DefaultsHeiko Kattenstroth, Wolfgang May, Franz Schenk — 2007
Provisioning of Service Mashup TopologiesBenjamin Blau, Wibke Michalk, Dirk Neumann — 2008
Automated bidding for trading grid servicesDirk Neumann, Steffen Lamparter, Björn Schnizler — 2006
A toward Framework for Generic Uncertainty ManagementErnesto Damiani, Paolo Ceravolo, Marcello Leida — 2009
Knowledge Authoring with ORE: Testing, Debugging and Validating Knowledge Rules in a Semantic Web FrameworkAndres Muñoz Ortega, Félix J. García Clemente, Gregorio Martínez Pérez — 2010
A meta-logical approach for reasoning with ontologies and rules expressed in OWL 2Visit Hirankitti, Trang Mai Xuan — 2010
Orel: Database-Driven Reasoning for OWL 2 ProfilesMarkus Krötzsch, Anees ul Mehdi, Sebastian Rudolph — 2010
Building Rules on top of Ontologies? Inductive Logic Programming can help!Francesca A. Lisi, Floriana Esposito — 2007

Query Answering for OWL-DL with Rules

Summary

Keywords

References

Cited by

Related papers