Automatic White-Box Testing of First-Order Logic Ontologies.

Javier Álvez Montserrat Hermo Paqui Lucio German Rigau

Published in: CoRR (2017)

Keyphrases

first order logic
knowledge representation
expressive power
dl lite
propositional logic
white box testing
inference rules
probabilistic reasoning
theorem proving

representation language
transitive closure
theorem prover
semantic web
relational algebra
black box
inductive logic programming
knowledge base

quantifier elimination
markov logic
probabilistic graphical models
labor intensive
markov logic networks
horn clauses
semi automatic
markov networks

description logics
constraint databases
case study
data complexity
probabilistic model
expert systems
logical rules
database