Browse wiki
From International Center for Computational Logic
Several types of dependencies have been pr … Several types of dependencies have been proposed for the static analysis of existential rule ontologies, promising insights about computational properties and possible practical uses of a given set of rules, e.g., in ontology-based query answering. Unfortunately, these dependencies are rarely implemented, so their potential is hardly realised in practice. We focus on two kinds of rule dependencies - positive reliances and restraints - and design and implement optimised algorithms for their efficient computation. Experiments on real-world ontologies of up to more than 100,000 rules show the scalability of our approach, which lets us realise several previously proposed applications as practical case studies. In particular, we can analyse to what extent rule-based bottom-up approaches of reasoning can be guaranteed to yield redundancy-free "lean" knowledge graphs (so-called cores) on practical ontologies.(so-called cores) on practical ontologies. +
@inproceedings{GIKM2022,
author = {Larry Gonz{\'{a}}lez and Alex Ivliev and Markus Kr{\"{o}}tzsch
and Stephan Mennicke},
title = {Efficient Dependency Analysis for Rule-Based Ontologies},
editor = {Ulrike Sattler and Aidan Hogan and Maria Keet and Valentina
Presutti and Jo{\~{a}}o Paulo A. Almeida and Hideaki Takeda and
Pierre Monnin and Giuseppe Pirr{\`{o}} and Claudia {d’Amato}},
booktitle = {Proc. 21st International Semantic Web Conference (ISWC 2022)},
series = {LNCS},
volume = {13489},
publisher = {Springer},
year = {2022},
month = {October},
pages = {267-283},
doi = {10.1007/978-3-031-19433-7_16}
}
author = {Larry Gonz{\'{a}}lez and Alex Ivliev and Markus Kr{\"{o}}tzsch
and Stephan Mennicke},
title = {Efficient Dependency Analysis for Rule-Based Ontologies},
editor = {Ulrike Sattler and Aidan Hogan and Maria Keet and Valentina
Presutti and Jo{\~{a}}o Paulo A. Almeida and Hideaki Takeda and
Pierre Monnin and Giuseppe Pirr{\`{o}} and Claudia {d’Amato}},
booktitle = {Proc. 21st International Semantic Web Conference (ISWC 2022)},
series = {LNCS},
volume = {13489},
publisher = {Springer},
year = {2022},
month = {October},
pages = {267-283},
doi = {10.1007/978-3-031-19433-7_16}
}
Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato +
González +
Larry +
Larry González, Alex Ivliev, Markus Krötzs … Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke<br/> '''[[Inproceedings3338|<b>Efficient Dependency Analysis for Rule-Based Ontologies</b>]]''' <br/>__NOTOC__In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato, eds., <i>Proc. 21st International Semantic Web Conference (ISWC 2022)</i>, volume 13489 of LNCS, 267-283, October 2022. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3338|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:ISWC 2022 Dependency Paper.pdf|Download]]ependency Paper.pdf|Download]] +
Larry González, Alex Ivliev, Markus Krötzs … Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke<br/> '''[[Inproceedings3338/en|<b>Efficient Dependency Analysis for Rule-Based Ontologies</b>]]''' <br/>__NOTOC__In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato, eds., <i>Proc. 21st International Semantic Web Conference (ISWC 2022)</i>, volume 13489 of LNCS, 267-283, October 2022. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3338|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:ISWC 2022 Dependency Paper.pdf|Download]]ependency Paper.pdf|Download]] +
Display title of"Display title of" is a predefined property that can assign a distinct display title to an entity and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
Efficient Dependency Analysis for Rule-Based Ontologies +
Modification date"Zuletzt geändert <span style="font-size:small;">(Modification date)</span>" is a predefined property that corresponds to the date of the last modification of a subject and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
30. Oktober 2023, 08:24:48 +
Has query"Hat Abfrage <span style="font-size:small;">(Has query)</span>" is a predefined property that represents meta information (in form of a <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">subobject</a>) about individual queries and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
Efficient Dependency Analysis for Rule-Based Ontologies +, Efficient Dependency Analysis for Rule-Based Ontologies +, Efficient Dependency Analysis for Rule-Based Ontologies +, Efficient Dependency Analysis for Rule-Based Ontologies +, Efficient Dependency Analysis for Rule-Based Ontologies +, Efficient Dependency Analysis for Rule-Based Ontologies +, Efficient Dependency Analysis for Rule-Based Ontologies + and Efficient Dependency Analysis for Rule-Based Ontologies +
