Semantisches Browsen
Aus International Center for Computational Logic
Unification in Description Logics (DLs) ha … Unification in Description Logics (DLs) has been proposed as an inference service that can, for example, be used to detect redundancies in ontologies. The inexpressive Description Logic EL is of particular interest in this context since, on the one hand, several large biomedical ontologies are defined using EL. On the other hand, unification in EL has recently been shown to be NP-complete, and thus of significantly lower complexity than unification in other DLs of similarly restricted expressive power. However, the unification algorithms for EL developed so far cannot deal with general concept inclusion axioms (GCIs). This paper makes a considerable step towards addressing this problem, but the GCIs our new unification algorithm can deal with still need to satisfy a certain cycle restriction.ed to satisfy a certain cycle restriction. +
@inproceedings{ BaBM-KR12,
author = {Franz {Baader} and Stefan {Borgwardt} and Barbara {Morawska}},
booktitle = {Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning ({KR'12})},
editor = {Gerhard {Brewka} and Thomas {Eiter} and Sheila A. {McIlraith}},
pages = {568--572},
publisher = {AAAI Press},
title = {Extending Unification in {$\mathcal{EL}$} Towards General {TBoxes}},
year = {2012},
}
author = {Franz {Baader} and Stefan {Borgwardt} and Barbara {Morawska}},
booktitle = {Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning ({KR'12})},
editor = {Gerhard {Brewka} and Thomas {Eiter} and Sheila A. {McIlraith}},
pages = {568--572},
publisher = {AAAI Press},
title = {Extending Unification in {$\mathcal{EL}$} Towards General {TBoxes}},
year = {2012},
}
Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12) +
Baader +
Franz +
Franz Baader, Stefan Borgwardt, Barbara Mo … Franz Baader, Stefan Borgwardt, Barbara Morawska<br/> '''[[LATPub499|<b>Extending Unification in EL Towards General TBoxes</b>]]''' <br/>__NOTOC__In Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith, eds., <i>Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12)</i>, 568-572, 2012. AAAI Press<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub499|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BaBM-KR12.pdf|Download]]:BaBM-KR12.pdf|Download]] +
Franz Baader, Stefan Borgwardt, Barbara Mo … Franz Baader, Stefan Borgwardt, Barbara Morawska<br/> '''[[LATPub499/en|<b>Extending Unification in EL Towards General TBoxes</b>]]''' <br/>__NOTOC__In Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith, eds., <i>Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12)</i>, 568-572, 2012. AAAI Press<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub499|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BaBM-KR12.pdf|Download]]:BaBM-KR12.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.
Extending Unification in EL Towards General TBoxes +
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.
25. März 2015, 14:34:07 +
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.
Extending Unification in EL Towards General TBoxes +, Extending Unification in EL Towards General TBoxes +, Extending Unification in EL Towards General TBoxes +, Extending Unification in EL Towards General TBoxes +, Extending Unification in EL Towards General TBoxes +, Extending Unification in EL Towards General TBoxes + und Extending Unification in EL Towards General TBoxes +
