Conjunctive query answering over unrestricted OWL 2 ontologies
Conjunctive Query (CQ) answering is a primary reasoning task over knowledge bases. However, when considering expressive description logics, query answering can be computationally very expensive; reasoners for CQ answering, although heavily optimized, often sacrifice expressive power of the input ont...
Autores principales: | , , |
---|---|
Formato: | Journal article |
Lenguaje: | English |
Publicado: |
IOS Press
2023
|