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...

Full description

Bibliographic Details
Main Author: Igne, F
Other Authors: Germano, S
Format: Thesis
Language:English
Published: 2022
Subjects: