Automated Deduction Techniques for Classification in Description Logic Systems.
M. ParamasivamDavid A. PlaistedPublished in: J. Autom. Reason. (1998)
Keyphrases
- description logics
- automated deduction
- reasoning systems
- computational properties
- medical terminology
- knowledge base
- semantic web
- machine learning
- reasoning problems
- knowledge representation
- reasoning tasks
- training set
- expert systems
- artificial intelligence
- logical implication
- reasoning services
- ontology reasoning
- expressive power
- dl lite
- snomed ct
- databases