On Subsumption and Instance Problem in ELH w.r.t. General TBoxes.

Sebastian Brandt

Published in: Description Logics (2004)

Keyphrases

description logics
special case
neural network
information retrieval
knowledge base
relational databases
multiresolution
knowledge representation
closely related