First Steps Toward a Verification and Validation Ontology.
Mounira KezadriMarc PantelPublished in: KEOD (2010)
Keyphrases
- domain knowledge
- semantic web
- domain ontology
- domain specific
- verification method
- face verification
- model checking
- knowledge representation
- knowledge base
- semantic information
- semantic annotation
- database
- ontological framework
- background knowledge
- ontology driven
- fingerprint verification
- semantically rich
- ontology alignment
- ontology evolution
- semi automatically
- modular ontologies
- requirement analysis
- ontological concepts
- ontology reasoning
- owl dl ontologies
- formal methods
- ontology construction
- formal verification
- ontology mapping
- text mining
- database systems
- information systems
- databases
- data sets