Using Description Logics for Consistency-based Diagnosis.
Gerd KampHolger WachePublished in: Description Logics (1996)
Keyphrases
- description logics
- consistency based diagnosis
- dynamic systems
- model based diagnosis
- knowledge base
- dl lite
- bayesian networks
- reasoning tasks
- diagnostic systems
- knowledge representation
- semantic web
- computing least common subsumers
- computational properties
- knowledge representation and reasoning
- dynamical systems
- knowledge representation languages
- concept descriptions
- reasoning services
- owl ontologies
- ontology languages
- knowledge representation formalisms
- qualitative and quantitative
- complex systems
- case based reasoning
- dl programs
- special case
- ontology based data access
- search algorithm