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...
Huvudupphovsmän: | , , |
---|---|
Materialtyp: | Journal article |
Språk: | English |
Publicerad: |
IOS Press
2023
|