Return to search

Matching under Side Conditions in Description Logics

Whereas matching in Description Logics is now relatively well investigated, there are only very few formal results on matching under additional side conditions, though these side conditions were already present in the original paper by Borgida and McGuinness introducing matching in DLs. The present report closes this gap for the DL ALN and its sublanguages.

Identiferoai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:78983
Date24 May 2022
CreatorsBaader, Franz, Brandt, Sebastian, Küsters, Ralf
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.0021 seconds