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...
Main Authors: | , , |
---|---|
格式: | Journal article |
语言: | English |
出版: |
IOS Press
2023
|