Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic.
Nesredin MahmudCristina SeceleanuOscar LjungkrantzPublished in: SEFM (2017)
Keyphrases
- description logics
- semantic analysis
- embedded systems
- temporal logic
- real time systems
- reactive systems
- model checking
- low cost
- natural language
- knowledge base
- formal specification
- knowledge representation
- reasoning tasks
- modal logic
- natural language processing
- satisfiability problem
- semantic information
- dl lite
- belief revision
- software systems
- formal methods
- domain knowledge
- machine learning
- wordnet
- representation language
- artificial intelligence