Formal semantics and high performance in declarative machine learning using Datalog.
Jin WangJiacheng WuMingda LiJiaqi GuAriyam DasCarlo ZanioloPublished in: VLDB J. (2021)
Keyphrases
- formal semantics
- machine learning
- ontology languages
- knowledge representation
- expressive power
- first order logic
- logical language
- er model
- query answering
- modeling language
- formal language
- operational semantics
- owl dl ontology
- modelling language
- deductive databases
- logical reasoning
- integrity constraints
- high level
- artificial intelligence
- theorem prover
- speech acts
- inductive logic programming
- data mining
- databases
- datalog programs
- logic programming
- query language
- life cycle