Browse wiki
From International Center for Computational Logic
For Description Logics with existential re … For Description Logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may grow exponentially in the size of the input descriptions. The first (negative) result presented in this paper is that it is in general not possible to express the exponentially large concept description representing the lcs in a more compact way by using an appropriate (acyclic) terminology. In practice, a second and often more severe cause of complexity was the fact that concept descriptions containing concepts defined in a terminology must first be unfolded (by replacing defined names by their definition) before the known lcs algorithms could be applied. To overcome this problem, we present a modified lcs algorithm that performs lazy unfolding, and show that this algorithm works well in practice.hat this algorithm works well in practice. +
@inproceedings{ BaaderTurhan-KI02,
address = {Aachen, Germany},
author = {F. {Baader} and A.-Y. {Turhan}},
booktitle = {Proceedings of the German Conference on Artificial Intelligence, 25th German Conference on Artificial Intelligence (KI 2002)},
publisher = {Springer--Verlag},
series = {Lecture Notes in Artificial Intelligence},
title = {On the problem of computing small representations of least common subsumers},
year = {2002},
}
address = {Aachen, Germany},
author = {F. {Baader} and A.-Y. {Turhan}},
booktitle = {Proceedings of the German Conference on Artificial Intelligence, 25th German Conference on Artificial Intelligence (KI 2002)},
publisher = {Springer--Verlag},
series = {Lecture Notes in Artificial Intelligence},
title = {On the problem of computing small representations of least common subsumers},
year = {2002},
}
Proceedings of the German Conference on Artificial Intelligence, 25th German Conference on Artificial Intelligence (KI 2002) +
Baader +
Franz +
Franz Baader, Anni-Yasmin Turhan<br/> … Franz Baader, Anni-Yasmin Turhan<br/> '''[[LATPub240|<b>On the problem of computing small representations of least common subsumers</b>]]''' <br/>__NOTOC__<i>Proceedings of the German Conference on Artificial Intelligence, 25th German Conference on Artificial Intelligence (KI 2002)</i>, Lecture Notes in Artificial Intelligence, 2002. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub240|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BaaderTurhan-KI02.ps.gz|Download]]dia:BaaderTurhan-KI02.ps.gz|Download]] +
Franz Baader, Anni-Yasmin Turhan<br/> … Franz Baader, Anni-Yasmin Turhan<br/> '''[[LATPub240/en|<b>On the problem of computing small representations of least common subsumers</b>]]''' <br/>__NOTOC__<i>Proceedings of the German Conference on Artificial Intelligence, 25th German Conference on Artificial Intelligence (KI 2002)</i>, Lecture Notes in Artificial Intelligence, 2002. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub240|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BaaderTurhan-KI02.ps.gz|Download]]dia:BaaderTurhan-KI02.ps.gz|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>.
On the problem of computing small representations of least common subsumers +
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>.
25. März 2015, 14:34:04 +
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>.
On the problem of computing small representations of least common subsumers +, On the problem of computing small representations of least common subsumers +, On the problem of computing small representations of least common subsumers +, On the problem of computing small representations of least common subsumers +, On the problem of computing small representations of least common subsumers + and On the problem of computing small representations of least common subsumers +
