From classical to consistent query answering under existential rules
Querying inconsistent ontologies is an intriguing new problem that gave rise to a flourishing research activity in the description logic (DL) community. The computational complexity of consistent query answering under the main DLs is rather well understood; however, little is known about existential...
| Những tác giả chính: | , , , |
|---|---|
| Định dạng: | Conference item |
| Ngôn ngữ: | english |
| Được phát hành: |
CEUR Workshop Proceedings
2015
|