Browse wiki
From International Center for Computational Logic
Unification of concept terms is a new kind … Unification of concept terms is a new kind of inference problem for Description Logics, which extends the equivalence problem by allowing to substitute certain concept names by concept terms before testing for equivalence. We show that this inference problem is of interest for applications, and present first decidability and complexity results for a small concept description language.</br>This is a revised version of LTCS-Report 97-02: it provides a stronger complexity result in Section 6.a stronger complexity result in Section 6. +
LTCS-98-07 +
Franz Baader + and P. Narendran +
@techreport{ Baader-Narendran-LTCS-98,
author = {F. {Baader} and P. {Narendran}},
institution = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
number = {LTCS-98-07},
title = {Unification of Concept Terms in Description Logics: Revised Version},
type = {LTCS-Report},
year = {1998},
}
author = {F. {Baader} and P. {Narendran}},
institution = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
number = {LTCS-98-07},
title = {Unification of Concept Terms in Description Logics: Revised Version},
type = {LTCS-Report},
year = {1998},
}
Baader +
Franz +
LuFg Theoretical Computer Science, RWTH Aachen, Germany +
Franz Baader, P. Narendran<br /> ''' … Franz Baader, P. Narendran<br /> '''[[LATPub626|Unification of Concept Terms in Description Logics: Revised Version]]''' <br />__NOTOC__Technical Report, ''LuFg Theoretical Computer Science, RWTH Aachen, Germany'', volume LTCS-98-07, 1998. ''LTCS-Report''<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub626|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:Baader-Narendran-LTCS-98.ps.gz|Download]]a:Baader-Narendran-LTCS-98.ps.gz|Download]] +
Franz Baader, P. Narendran<br /> ''' … Franz Baader, P. Narendran<br /> '''[[LATPub626/en|Unification of Concept Terms in Description Logics: Revised Version]]''' <br />__NOTOC__Technical Report, ''LuFg Theoretical Computer Science, RWTH Aachen, Germany'', volume LTCS-98-07, 1998. ''LTCS-Report''<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub626|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Baader-Narendran-LTCS-98.ps.gz|Download]]a:Baader-Narendran-LTCS-98.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>.
Unification of Concept Terms in Description Logics: Revised Version +
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:09 +
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>.
Unification of Concept Terms in Description Logics: Revised Version +, Unification of Concept Terms in Description Logics: Revised Version +, Unification of Concept Terms in Description Logics: Revised Version +, Unification of Concept Terms in Description Logics: Revised Version +, Unification of Concept Terms in Description Logics: Revised Version + and Unification of Concept Terms in Description Logics: Revised Version +
