Login / Signup
Restricted Unification in the DL EL.
Franz Baader
Maryam Rostamigiv
Published in:
Description Logics (2021)
Keyphrases
</>
description logics
knowledge base
dl lite
knowledge representation
reasoning tasks
computational properties
higher order
databases
expressive power
theorem proving
real world
data mining
semantic web
ontology languages
dl programs
equational theories