Customizable rule-based verification of requirements ontology.
Dang Viet DzungAtsushi OhnishiPublished in: AIRE (2014)
Keyphrases
- domain ontology
- expert systems
- domain knowledge
- development lifecycle
- domain specific
- model checking
- rule based systems
- formal methods
- knowledge base
- semantic information
- knowledge representation
- data driven
- semantic web
- semantic description
- rule engine
- neural network
- semantically rich
- grid workflow
- related concepts
- signature verification
- semantic network
- semantic annotation
- case study
- information systems