Login / Signup
Deduction in Concept Languages: From Subsumption to Instance Checking.
Francesco M. Donini
Maurizio Lenzerini
Daniele Nardi
Andrea Schaerf
Published in:
J. Log. Comput. (1994)
Keyphrases
</>
knowledge base
description logics
number restrictions
concept descriptions
inference rules
learning algorithm
type checking
databases
machine learning
computational complexity
np complete
expressive power
language independent
grammatical inference
consistency checking