Conjunctive query answering over unrestricted OWL 2 ontologies
Conjunctive query (CQ) answering is one of the primary reasoning tasks over knowledge bases (KBs). However, when considering expressive description logics (DLs), query answering can be computationally very expensive; reasoners for CQ answering, although heavily optimized, often sacrifice expressive...
Huvudupphovsman: | |
---|---|
Övriga upphovsmän: | |
Materialtyp: | Lärdomsprov |
Språk: | English |
Publicerad: |
2022
|
Ämnen: |