Extending Unification in EL Towards General TBoxes.

Franz Baader Stefan Borgwardt Barbara Morawska

Published in: KR (2012)

Keyphrases

description logics
special case
case study
data sets
real world
decision making
closely related
theorem proving
machine learning
information systems
metadata
objective function
multi agent
search algorithm
higher order