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
格式: Thesis
語言:English
出版: 2014
主題: