Dismatching and Local Disunification in EL.

Franz Baader Stefan Borgwardt Barbara Morawska

Published in: RTA (2015)

Keyphrases

horn clauses
description logics
first order logic
inference rules
logic programs
inductive logic programming
graphical models
database queries
databases
search engine