Rule-Based Verification Method of Requirements Ontology.
Dang Viet DzungBui Quang HuyAtsushi OhnishiPublished in: IEICE Trans. Inf. Syst. (2014)
Keyphrases
- verification method
- model checking
- temporal logic
- expert systems
- data driven
- semantic web
- knowledge representation
- knowledge base
- domain knowledge
- rule based systems
- rule engine
- semantic annotation
- rule base
- related concepts
- domain specific
- semantic information
- user requirements
- semantic representation
- semi automatically
- owl ontologies