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
|
Խորագրեր: |
Նմանատիպ նյութեր
Նմանատիպ նյութեր
-
Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
: Kaminski, M, և այլն
Հրապարակվել է: (2014) -
Rule-based stream reasoning
: Ronca, A
Հրապարակվել է: (2019) -
Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
: Kaminski, M, և այլն
Հրապարակվել է: (2014) -
Consequence-based reasoning for SRIQ ontologies
: Bate, A
Հրապարակվել է: (2016) -
Handling owl:sameAs via rewriting
: Motik, B, և այլն
Հրապարակվել է: (2015)