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

Popoln opis

Bibliografske podrobnosti
Glavni avtor: Morak, M
Format: Thesis
Jezik:English
Izdano: 2014
Teme: