Login / Signup
Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor.
Franz Baader
Thanh Binh Nguyen
Stefan Borgwardt
Barbara Morawska
Published in:
Notre Dame J. Formal Log. (2016)
Keyphrases
</>
description logics
concept descriptions
number restrictions
knowledge base
dl lite
computational properties
reasoning tasks
knowledge representation
reasoning problems
reasoning mechanism
ontology reasoning
reasoning systems
ontology languages
semantic web
model theoretic
np complete