An approximation of an ALC-concept by an ALE-concept can be computed in double exponential time [4]. Consequently, one needs powerful optimization techniques for approximating an entire unfoldable TBox. Addressing this issue we identify a special form of ALC-concepts, which can be divided into parts s.t. each part can be approximated independently. This independent approximation in turn facilitates caching during the computation of approximation.
| Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:79021 |
| Date | 30 May 2022 |
| Creators | Brandt, Sebastian, Turhan, Anni-Yasmin |
| Publisher | Technische Universität Dresden |
| 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.0136 seconds