UEL: Unification Solver for EL.

Franz Baader Stefan Borgwardt Julian Mendez Barbara Morawska

Published in: Description Logics (2012)

Keyphrases

description logics
equational theories
higher order
evolutionary algorithm
artificial intelligence
knowledge base
three dimensional
image sequences
support vector
pairwise
neural network
computer vision
constraint satisfaction
theorem proving
dl lite
automated theorem proving
quantified boolean formulas
data mining