Browse wiki
From International Center for Computational Logic
Axiom pinpointing has been introduced in d … Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing minimal (maximal) subsets of the knowledge base that have (do not have) the consequence in question. Most of the pinpointing algorithms described in the DLliterature are obtained as extensions of the standard tableau-based reasoning algorithms for computing consequences from DL knowledge bases. Although these extensions are based on similar ideas, they are all introduced for a particular tableau-based algorithm for a particular DL. The purpose of this article is to develop a general approach for extending a tableau-based algorithm to a pinpointing algorithm. This approach is based on a general definition of tableau algorithms, which captures many of the known tableau-based algorithms employed in DLs, but also other kinds of reasoning procedures. also other kinds of reasoning procedures. +
@article{ BaaPen-JLC10,
author = {Franz {Baader} and Rafael {Pe{\~n}aloza}},
journal = {Journal of Logic and Computation},
note = {Special Issue: Tableaux and Analytic Proof Methods},
number = {1},
pages = {5--34},
title = {Axiom Pinpointing in General Tableaux},
volume = {20},
year = {2010},
}
author = {Franz {Baader} and Rafael {Pe{\~n}aloza}},
journal = {Journal of Logic and Computation},
note = {Special Issue: Tableaux and Analytic Proof Methods},
number = {1},
pages = {5--34},
title = {Axiom Pinpointing in General Tableaux},
volume = {20},
year = {2010},
}
Baader +
Franz +
Franz Baader, Rafael Peñaloza<br/> ' … Franz Baader, Rafael Peñaloza<br/> '''[[LATPub450|Axiom Pinpointing in General Tableaux]]''' <br/>__NOTOC__Journal of Logic and Computation, 20(1):5-34, 2010<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub450|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BaaPen-JLC08.pdf|Download]]dia:BaaPen-JLC08.pdf|Download]] +
Franz Baader, Rafael Peñaloza<br/> ' … Franz Baader, Rafael Peñaloza<br/> '''[[LATPub450/en|Axiom Pinpointing in General Tableaux]]''' <br/>__NOTOC__Journal of Logic and Computation, 20(1):5-34, 2010<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub450|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BaaPen-JLC08.pdf|Download]]dia:BaaPen-JLC08.pdf|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>.
Axiom Pinpointing in General Tableaux +
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:06 +
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>.
