Semantisches Browsen
Aus International Center for Computational Logic
The lightweight ontology language OWL RL i … The lightweight ontology language OWL RL is used for reasoning with large amounts of data. To this end, the W3C standard provides a simple system of deduction rules, which operate directly on the RDF syntax of OWL. Several similar systems have been studied. However, these approaches are usually complete for instance retrieval only. This paper asks if and how such methods could also be used for computing entailed subclass relationships. Checking entailment for arbitrary OWL RL class subsumptions is co-NP-hard, but tractable rule-based reasoning is possible when restricting to subsumptions between atomic classes. Surprisingly, however, this cannot be achieved in any RDF-based rule system, i.e., the W3C calculus cannot be extended to compute all atomic class subsumptions. We identify syntactic restrictions to mitigate this problem, and propose a rule system that is sound and complete for many OWL RL ontologies.d and complete for many OWL RL ontologies. +
@inproceedings{K2012,
author = {Markus Kr{\"{o}}tzsch},
title = {The Not-So-Easy Task of Computing Class Subsumptions in {OWL}
{RL}},
booktitle = {Proc. 11th International Semantic Web Conference (ISWC'11)},
publisher = {Springer},
year = {2012},
pages = {279-294},
doi = {10.1007/978-3-642-35176-1_18}
}
author = {Markus Kr{\"{o}}tzsch},
title = {The Not-So-Easy Task of Computing Class Subsumptions in {OWL}
{RL}},
booktitle = {Proc. 11th International Semantic Web Conference (ISWC'11)},
publisher = {Springer},
year = {2012},
pages = {279-294},
doi = {10.1007/978-3-642-35176-1_18}
}
Krötzsch +
Markus +
This paper got nominated for the Best Pape … This paper got nominated for the Best Paper award in the research track of ISWC 2012. Congratulations to Rahul Parundekar, Craig Knoblock and José Luis Ambite whose paper Discovering Concept Coverings in Ontologies of Linked Data Sources received the award.of Linked Data Sources received the award. +
Markus Krötzsch<br/> '''[[Inproceedings4015|<b>The Not-So-Easy Task of Computing Class Subsumptions in OWL RL</b>]]' … Markus Krötzsch<br/> '''[[Inproceedings4015|<b>The Not-So-Easy Task of Computing Class Subsumptions in OWL RL</b>]]''' <br/>__NOTOC__<i>Proc. 11th International Semantic Web Conference (ISWC'11)</i>, 279-294, 2012. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings4015|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:Kroetzsch-owl-rl-classification-TR_2012.pdf|Download]]dia:Kroetzsch-owl-rl-classification-TR_2012.pdf|Download]] +
Markus Krötzsch<br/> '''[[Inproceedings4015/en|<b>The Not-So-Easy Task of Computing Class Subsumptions in OWL RL</b>]]' … Markus Krötzsch<br/> '''[[Inproceedings4015/en|<b>The Not-So-Easy Task of Computing Class Subsumptions in OWL RL</b>]]''' <br/>__NOTOC__<i>Proc. 11th International Semantic Web Conference (ISWC'11)</i>, 279-294, 2012. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings4015|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Kroetzsch-owl-rl-classification-TR_2012.pdf|Download]]dia:Kroetzsch-owl-rl-classification-TR_2012.pdf|Download]] +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
The Not-So-Easy Task of Computing Class Subsumptions in OWL RL +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
24. Mai 2016, 16:02:09 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
The Not-So-Easy Task of Computing Class Subsumptions in OWL RL +, The Not-So-Easy Task of Computing Class Subsumptions in OWL RL +, The Not-So-Easy Task of Computing Class Subsumptions in OWL RL +, The Not-So-Easy Task of Computing Class Subsumptions in OWL RL + und The Not-So-Easy Task of Computing Class Subsumptions in OWL RL +
