SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies.

Franz Baader Stefan Borgwardt Barbara Morawska

Published in: IJCAR (2012)

Keyphrases

sat encodings
pseudo boolean constraints
sat solving
sat solvers
knowledge representation
domain specific
constraint satisfaction problems
graph coloring
knowledge base
orders of magnitude
combinatorial problems
solving problems