The impact of disjunction on reasoning under existential rules

<p>Ontological database management systems are a powerful tool that combine traditional database techniques with ontological reasoning methods. In this setting, a classical extensional database is enriched with an ontology, or a set of logical assertions, that describe how new, intensional kno...

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính: Morak, M
Định dạng: Luận văn
Ngôn ngữ:English
Được phát hành: 2014
Những chủ đề: