Browse wiki
From International Center for Computational Logic
Description Logics (DLs) are a family of k … Description Logics (DLs) are a family of knowledge representation formalisms used for terminological reasoning. They have a wide range of applications such as medical knowledge-bases, or the semantic web. Research on DLs has been focused on the development of sound and complete inference algorithms to decide satisfiability and subsumption for increasingly expressive DLs.</br> Non-standard inferences are a group of relatively new inference services which provide reasoning support for the building, maintaining, and deployment of DL knowledge-bases. So far, non-standard inferences are not available for very expressive DLs.</br> In this paper we present first results on non-standard inferences for DLs with transitive roles. As a basis, we give a structural characterization of subsumption for DLs where existential and value restrictions can be imposed on transitive roles. We propose sound and complete algorithms to compute the least common subsumer (lcs).o compute the least common subsumer (lcs). +
03-02 +
@techreport{ BrTuKu-LTCS-03-02,
address = {Germany},
author = {S. {Brandt} and A.-Y. {Turhan} and R. {K{\"u}sters}},
institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology},
number = {03-02},
title = {Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies},
type = {LTCS-Report},
year = {2003},
}
address = {Germany},
author = {S. {Brandt} and A.-Y. {Turhan} and R. {K{\"u}sters}},
institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology},
number = {03-02},
title = {Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies},
type = {LTCS-Report},
year = {2003},
}
Brandt +
Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology +
S. Brandt, Anni-Yasmin Turhan, R. Küsters& … S. Brandt, Anni-Yasmin Turhan, R. Küsters<br /> '''[[LATPub665|Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies]]''' <br />__NOTOC__Technical Report, ''Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology'', volume 03-02, 2003. ''LTCS-Report''<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub665|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BrTuKu-LTCS-03-02.ps.gz|Download]]BrTuKu-LTCS-03-02.ps.gz|Download]] +
S. Brandt, Anni-Yasmin Turhan, R. Küsters& … S. Brandt, Anni-Yasmin Turhan, R. Küsters<br /> '''[[LATPub665/en|Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies]]''' <br />__NOTOC__Technical Report, ''Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology'', volume 03-02, 2003. ''LTCS-Report''<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub665|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BrTuKu-LTCS-03-02.ps.gz|Download]]BrTuKu-LTCS-03-02.ps.gz|Download]] +
Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies +
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>.
Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies +
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>.
Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies +, Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies +, Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies +, Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies +, Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies +, Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies + and Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies +
