Login / Signup
Large-scale Ontological Reasoning via Datalog.
Mario Alviano
Marco Manna
Published in:
CoRR (2020)
Keyphrases
</>
ontological reasoning
expressive power
computational properties
domain knowledge
logic programming
query language
deductive databases
ontology matching
information systems
object oriented
query answering
datalog programs
artificial intelligence
programming language
integrity constraints
data complexity