Semantisches Browsen
Aus International Center for Computational Logic
The combination of transitive and inverse … The combination of transitive and inverse roles is important in a range of applications, and is crucial for the adequate representation of aggregated objects, allowing the simultaneous description of parts by means of the whole to which they belong and of wholes by means of their constituent parts. In this paper we present tableaux algorithms for deciding concept satisfiability and subsumption in Description Logics that extend alc with both transitive and inverse roles, a role hierarchy, and functional restrictions. In contrast to earlier algorithms for similar logics, those presented here are well-suited for implementation purposes: using transitive roles and role hierarchies in place of the transitive closure of roles enables sophisticated blocking techniques to be used in place of the cut rule, a rule whose high degree of non-determinism strongly discourages its use in an implementation. As well as promising superior computational behaviour, this new approach is shown to be sufficiently powerful to allow subsumption and satisfiability with respect to a (possibly cyclic) knowledge base to be reduced to concept subsumption and satisfiability, and to support reasoning in a Description Logic that no longer has the finite model property.t no longer has the finite model property. +
Ian Horrocks + und Ulrike Sattler +
@article{ HorrSat-JLC-99,
author = {I. {Horrocks} and U. {Sattler}},
journal = {Journal of Logic and Computation},
number = {3},
pages = {385--410},
title = {A Description Logic with Transitive and Inverse Roles and Role Hierarchies},
volume = {9},
year = {1999},
}
author = {I. {Horrocks} and U. {Sattler}},
journal = {Journal of Logic and Computation},
number = {3},
pages = {385--410},
title = {A Description Logic with Transitive and Inverse Roles and Role Hierarchies},
volume = {9},
year = {1999},
}
Horrocks +
Ian +
Ian Horrocks, Ulrike Sattler<br/> '' … Ian Horrocks, Ulrike Sattler<br/> '''[[LATPub157|A Description Logic with Transitive and Inverse Roles and Role Hierarchies]]''' <br/>__NOTOC__Journal of Logic and Computation, 9(3):385-410, 1999<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub157|Details]]ATPub157|Details]] +
Ian Horrocks, Ulrike Sattler<br/> '' … Ian Horrocks, Ulrike Sattler<br/> '''[[LATPub157/en|A Description Logic with Transitive and Inverse Roles and Role Hierarchies]]''' <br/>__NOTOC__Journal of Logic and Computation, 9(3):385-410, 1999<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub157|Details]]ATPub157|Details]] +
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.
A Description Logic with Transitive and Inverse Roles and Role Hierarchies +
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:02 +
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.
A Description Logic with Transitive and Inverse Roles and Role Hierarchies +, A Description Logic with Transitive and Inverse Roles and Role Hierarchies +, A Description Logic with Transitive and Inverse Roles and Role Hierarchies +, A Description Logic with Transitive and Inverse Roles and Role Hierarchies +, A Description Logic with Transitive and Inverse Roles and Role Hierarchies + und A Description Logic with Transitive and Inverse Roles and Role Hierarchies +
