The Even More Irresistible SROIQ
By Ian Horrocks, Oliver Kutz, U. Sattler. International Conference on Principles of Knowledge Representation and Reasoning, 2006
1,095 citations recorded by the source corpus.
View Paper: https://www.semanticscholar.org/paper/0384c7654fd861043bd4d20fd113f79dbc0f1723
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
- Ian Horrocks
- Birte Glimm
- Boris Motik
- Bernardo Cuenca Grau
- Fabian M. Suchanek
- Gerhard Weikum
- U. Sattler
- Peter F. Patel-Schneider
Citations in the corpus
- Hypertableau Reasoning for Description Logics (2009, methodology): “The description logic SHOIQ+ is obtained from SROIQ [ 27 ] by disallow-”
- ELP: Tractable Rules for OWL 2 (2008, background): “Querying for such conjunctions remains intractable (Krötzsch, Rudolph, and Hitzler 2007b) even when adopting regularity restrictions similar to the ones in SROIQ.”
- OWL 2: The next step for OWL (2008, methodology): “Although reasoning in SROIQ is harder than in SHOIN , the tableaux-based reasoning algorithm for SROIQ [16] follows the same principles as the one for SHOIN .”
- DELIS Dynamically Evolving , Large-scale Information Systems Integrated Project Member of the FET Proactive Initiative Complex Systems DELIS-TR-594 Yago : A Large Ontology from Wikipedia and WordNet (2007, methodology): “The extended description logic SROIQ [76], which has been adopted as the logical basis of OWL 1.1, allows expressing irreflexivity and transitivity.”
- HermiT: An OWL 2 Reasoner (2014, methodology): “Instead, the Role Chain Encoder component transforms away transitivity and property chain axioms by introducing additional axioms that ensure equisatisfiability between the original and the transformed ontologies; this transformation is realised using an automata-based technique [16, 23].”
- Ontologies and the semantic web (2006, methodology): “The resulting language is called OWL 2,(22) and is based on a more expressive DL called SROIQ [10].”
- Semantic Image Interpretation - Integration of Numerical Data and Logical Knowledge for Cognitive Vision (2018, unknown): “In the following we describe: (i) the syntax (with basic modelling notions), (ii) the semantics of a particular, and highly expressive, DL: SROIQ [48], and (iii) a brief overview of reasoning in DLs.”
- A general datalog-based framework for tractable query answering over ontologies (2009, background): “The description logic SROIQ [56] is one of the most expressive DLs, which is underlying OWL 2 [103], a new version of OWL [102].”
- YAGO: A Large Ontology from Wikipedia and WordNet (2008, methodology): “The extended description logic SROIQ [28], which has been adopted as the logical basis of OWL 1.1, allows expressing irreflexivity and transitivity.”
- YAGO: A Core of Semantic Knowledge Unifying WordNet and Wikipedia (2007, methodology): “The extended description logic SROIQ [12], which has been adopted as the logical basis of OWL 1.1, allows to express irreflexivity and transitivity.”