Query Answering for OWL-DL with Rules
By Boris Motik, U. Sattler, Rudi Studer. International Workshop on the Semantic Web, 2004
792 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Computer Networks and Communications, Information Systems
View Paper: https://www.semanticscholar.org/paper/19f44e6a7ef68141088930e650a2a5d90d379a4c
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
- Ian Horrocks
- Boris Motik
- U. Sattler
- Bernardo Cuenca Grau
- Birte Glimm
- Bijan Parsia
- Peter F. Patel-Schneider
- Markus Krötzsch
In Computer Networks and Communications
- Ian Horrocks
- Boris Motik
- U. Sattler
- Markus Krötzsch
- S. Rudolph
- Pascal Hitzler
- Peter F. Patel-Schneider
- Bernardo Cuenca Grau
In Information Systems
- Ian Horrocks
- Boris Motik
- U. Sattler
- Birte Glimm
- Bernardo Cuenca Grau
- Markus Krötzsch
- S. Rudolph
- Pascal Hitzler
Citations in the corpus
- A general datalog-based framework for tractable query answering over ontologies (2009, background): “Another work along the same lines is [83].”
- Ontologies and the semantic web (2006, background): “org/Submission/SWRL/ form of rules is known as DL-safe rules [17].”
- Conjunctive Query Answering for the Description Logic SHIQ (2007, methodology): “Most of the implemented DL reasoners, e.g., KAON2, Pellet, and RacerPro, provide an interface for conjunctive query answering in this setting and employ several optimizations to improve the performance (Sirin & Parsia, 2006; Motik, Sattler, & Studer, 2004; Wessel & M¨oller, 2005).”
- HermiT: An OWL 2 Reasoner (2014, background): “Although reasoning in OWL ontologies extended with SWRL rules is undecidable in general, restricting the application of rules to individuals explicitly named in the input ABox—that is, treating the rules as being DL-safe—ensures decidability [29].”
- ELP: Tractable Rules for OWL 2 (2008, methodology): “…an interesting new implementation strategy for the EL++ profile of OWL 2: Besides the possibility of reusing optimisation methods from deductive databases, the compilation of EL++ to Datalog also provides a practical approach for extending EL++ with DL-safe rules (Motik, Sattler, and Studer 2005).”
- OWL 2: The next step for OWL (2008, background): “A set of rules that are of particular relevance are the so-called DL-safe rules [25] since they provide useful expressive power while still allowing for practically feasible implementations.”