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...
Glavni avtor: | |
---|---|
Drugi avtorji: | |
Format: | Thesis |
Jezik: | English |
Izdano: |
2022
|
Teme: |