Using Description Logics for Case-Based Reasoning in Hybrid Diagnosis.
Yacine ZeghibFrançois de Bertrand de BeuvronMartina KullmannPublished in: IEA/AIE (2000)
Keyphrases
- model checking
- description logics
- case based reasoning
- temporal logic
- knowledge base
- reasoning tasks
- case base
- knowledge representation
- dl lite
- knowledge representation and reasoning
- computational properties
- expert systems
- knowledge representation systems
- semantic web
- owl ontologies
- knowledge representation formalisms
- knowledge representation languages
- reasoning systems
- concept descriptions
- transitive roles
- terminological knowledge
- reasoning problems
- ontology languages
- databases
- owl dl
- reasoning services
- model theoretic
- database