Semantisches Browsen
Aus International Center for Computational Logic
We develop a clausal resolution-based appr … We develop a clausal resolution-based approach for computing uniform interpolants of TBoxes formulated in the description logic when such uniform interpolants exist. We also present an experimental evaluation of our approach and of its application to the logical difference problem for real-life ALC ontologies. Our results indicate that in many practical cases uniform interpolants exist and that they can be computed with the presented algorithm. be computed with the presented algorithm. +
Michel Ludwig + und Boris Konev +
@inproceedings{ LuKo-KR-2014,
author = {Michel {Ludwig} and Boris {Konev}},
booktitle = {Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)},
editor = {Chitta {Baral} and Giuseppe De {Giacomo} and Thomas {Eiter}},
publisher = {AAAI Press},
title = {Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference},
year = {2014},
}
author = {Michel {Ludwig} and Boris {Konev}},
booktitle = {Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)},
editor = {Chitta {Baral} and Giuseppe De {Giacomo} and Thomas {Eiter}},
publisher = {AAAI Press},
title = {Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference},
year = {2014},
}
Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14) +
Ludwig +
Michel +
Michel Ludwig, Boris Konev<br/> '''[ … Michel Ludwig, Boris Konev<br/> '''[[LATPub564|<b>Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference</b>]]''' <br/>__NOTOC__In Chitta Baral and Giuseppe De Giacomo and Thomas Eiter, eds., <i>Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)</i>, 2014. AAAI Press<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub564|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:LuKo-KR-2014.pdf|Download]]ia:LuKo-KR-2014.pdf|Download]] +
Michel Ludwig, Boris Konev<br/> '''[ … Michel Ludwig, Boris Konev<br/> '''[[LATPub564/en|<b>Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference</b>]]''' <br/>__NOTOC__In Chitta Baral and Giuseppe De Giacomo and Thomas Eiter, eds., <i>Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)</i>, 2014. AAAI Press<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub564|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:LuKo-KR-2014.pdf|Download]]ia:LuKo-KR-2014.pdf|Download]] +
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference +
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.
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference +
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:08 +
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.
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference +, Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference +, Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference +, Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference +, Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference + und Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference +
