Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis.
Diego CalvaneseGiuseppe De GiacomoMarco MontaliFabio PatriziPublished in: Description Logics (2013)
Keyphrases
- dynamic systems
- description logics
- knowledge representation
- complex systems
- knowledge base
- reasoning tasks
- consistency based diagnosis
- computational properties
- dynamical systems
- formal logic
- knowledge representation and reasoning
- reasoning systems
- state variables
- model based diagnosis
- dl lite
- concept descriptions
- ontology languages
- knowledge representation formalisms
- semantic web
- particle filter
- knowledge representation systems
- model checking
- owl dl
- expert systems
- knowledge representation languages
- reasoning services
- reasoning problems
- qualitative and quantitative
- bayesian networks
- web services