Decidability of Unification in EL without Top Constructor.

Thanh Binh Nguyen

Published in: RR (2011)

Keyphrases

description logics
number restrictions
knowledge base
theorem proving
knowledge representation
dl lite
higher order
equational theories
computational properties
data sets
query answering
knuth bendix
mobile robot
image sequences
information systems
machine learning
type checking
automated theorem proving
database