Login / Signup
Dismatching and Local Disunification in EL (Extended Abstract).
Franz Baader
Stefan Borgwardt
Barbara Morawska
Published in:
Description Logics (2015)
Keyphrases
</>
extended abstract
horn clauses
description logics
first order logic
inference rules
logic programs
inductive logic programming
dl lite
relational databases
search engine
supervised learning
data management
query processing
database systems
metadata
decision making
database