Semantisches Browsen
Aus International Center for Computational Logic
Computing least common subsumers (lcs) and … Computing least common subsumers (lcs) and most specific concepts (msc) are inference tasks that can support the bottom-up construction of knowledge bases in description logics. In description logics with existential restrictions, the most specific concept need not exist if one restricts the attention to concept descriptions or acyclic TBoxes. In this paper, we extend the notions lcs and msc to cyclic TBoxes. For the description logic EL (which allows for conjunctions, existential restrictions, and the top-concept), we show that the lcs and msc always exist and can be computed in polynomial time if we interpret cyclic definitions with greatest fixpoint semantics.initions with greatest fixpoint semantics. +
@inproceedings{ BaadderIJCAI03b,
author = {Franz {Baader}},
booktitle = {Proceedings of the 18th International Joint Conference on Artificial Intelligence},
editor = {Georg {Gottlob} and Toby {Walsh}},
pages = {319--324},
publisher = {Morgan Kaufman},
title = {Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles},
year = {2003},
}
author = {Franz {Baader}},
booktitle = {Proceedings of the 18th International Joint Conference on Artificial Intelligence},
editor = {Georg {Gottlob} and Toby {Walsh}},
pages = {319--324},
publisher = {Morgan Kaufman},
title = {Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles},
year = {2003},
}
Baader +
Franz +
Franz Baader<br/> '''[[LATPub269|<b>Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles</b>]] … Franz Baader<br/> '''[[LATPub269|<b>Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles</b>]]''' <br/>__NOTOC__In Georg Gottlob and Toby Walsh, eds., <i>Proceedings of the 18th International Joint Conference on Artificial Intelligence</i>, 319-324, 2003. Morgan Kaufman<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub269|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BaaderIJCAI03b.pdf|Download]]ia:BaaderIJCAI03b.pdf|Download]] +
Franz Baader<br/> '''[[LATPub269/en|<b>Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles</b>]] … Franz Baader<br/> '''[[LATPub269/en|<b>Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles</b>]]''' <br/>__NOTOC__In Georg Gottlob and Toby Walsh, eds., <i>Proceedings of the 18th International Joint Conference on Artificial Intelligence</i>, 319-324, 2003. Morgan Kaufman<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub269|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BaaderIJCAI03b.pdf|Download]]ia:BaaderIJCAI03b.pdf|Download]] +
Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles +
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.
Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles +
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:04 +
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.
Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles +, Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles +, Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles +, Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles + und Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles +