Keyphrases
- engineering design
- formal ontologies
- software engineering
- theorem proving
- artificial intelligence
- materials science
- engineering students
- computer aided design
- engineering problems
- mathematical theory
- data sets
- engineering education
- formal methods
- software requirements
- formal language
- formal models
- description logics
- computational intelligence
- relational databases
- social networks
- learning algorithm