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

Ամբողջական նկարագրություն

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Igne, F, Germano, S, Horrocks, I
Ձևաչափ: Journal article
Լեզու:English
Հրապարակվել է: IOS Press 2023