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

Descripción completa

Detalles Bibliográficos
Autor principal: Igne, F
Otros Autores: Germano, S
Formato: Tesis
Lenguaje:English
Publicado: 2022
Materias: