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

Celý popis

Podrobná bibliografie
Hlavní autor: Morak, M
Médium: Diplomová práce
Jazyk:English
Vydáno: 2014
Témata: