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

詳細記述

書誌詳細
第一著者: Morak, M
フォーマット: 学位論文
言語:English
出版事項: 2014
主題: