A Verification Method of the Correctness of Requirements Ontology.
Bui Quang HuyAtsushi OhnishiPublished in: JCKBSE (2012)
Keyphrases
- verification method
- model checking
- temporal logic
- domain knowledge
- domain specific
- knowledge representation
- semantic information
- knowledge base
- semantic web
- semantic annotation
- conceptual modeling
- semantically enhanced
- domain ontology
- general purpose
- metamodel
- development lifecycle
- semantic relationships
- functional requirements
- semi automatically
- owl dl ontologies
- ontology driven
- semantic web technologies
- conceptual model