Aus der Einleitung:
„As widely argued [Horrocks&Gough,1997; Sattler,1996], transitive roles play an important role in the adequate representation of aggregated objects: they allow these objects to be described by referring to their parts without specifying a level of decomposition. In [Horrocks&Gough,1997], the Description Logic (DL) ALCHR+ is presented, which extends ALC with transitive roles and a role hierarchy. It is argued in [Sattler,1998] that ALCHR+ is well-suited to the representation of aggregated objects in applications that require various part-whole relations to be distinguished, some of which are transitive. However, ALCHR+ allows neither the description of parts by means of the whole to which they belong, or vice versa. To overcome this limitation, we present the DL ALCHIR+ which allows the use of, for example, has part as well as is part of. To achieve this, ALCHR+ was extended with inverse roles.
It could be argued that, instead of defining yet another DL, one could make use of the results presented in [De Giacomo&Lenzerini,1996] and use ALC extended with role expressions which include transitive closure and inverse operators. The reason for not proceeding like this is the fact that transitive roles can be implemented more eficiently than the transitive closure of roles (see [Horrocks&Gough,1997]), although they lead to the same complexity class (ExpTime-hard) when added, together with role hierarchies, to ALC. Furthermore, it is still an open question whether the transitive closure of roles together with inverse roles necessitates the use of the cut rule [DeGiacomo&Massacci,1998], and this rule leads to an algorithm with very bad behaviour. We will present an algorithm for ALCHIR+ without such a rule.” / An abridged version will appear in the Proceedings of the International Workshop on Description Logics, Trento, Italy, 1998.
Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:78825 |
Date | 19 May 2022 |
Creators | Horrocks, Ian, Sattler, Ulrike |
Publisher | Aachen University of Technology |
Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
Language | English |
Detected Language | English |
Type | info:eu-repo/semantics/acceptedVersion, doc-type:report, info:eu-repo/semantics/report, doc-type:Text |
Rights | info:eu-repo/semantics/openAccess |
Relation | urn:nbn:de:bsz:14-qucosa2-785040, qucosa:78504 |
Page generated in 0.0015 seconds