Return to search

Description Logics with Aggregates and Concrete Domains

We show that extending description logics by simple aggregation functions as available in database systems may lead to undecidability of inference problems such as satisfiability and subsumption.

Identiferoai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:78810
Date18 May 2022
CreatorsBaader, Franz, Sattler, Ulrike
PublisherAachen University of Technology
Source SetsHochschulschriftenserver (HSSS) der SLUB Dresden
LanguageEnglish
Detected LanguageEnglish
Typeinfo:eu-repo/semantics/acceptedVersion, doc-type:report, info:eu-repo/semantics/report, doc-type:Text
Rightsinfo:eu-repo/semantics/openAccess
Relationurn:nbn:de:bsz:14-qucosa2-785040, qucosa:78504

Page generated in 0.0016 seconds