A validation & verification driven ontology: An iterative process.
Angelina EspinozaErnesto Del-MoralAlfonso Martínez-MartínezNour AliPublished in: Appl. Ontology (2021)
Keyphrases
- iterative process
- domain knowledge
- model checking
- semantic web
- domain specific
- data driven
- domain ontology
- knowledge base
- semantically enhanced
- objective function
- verification method
- ontological framework
- signature verification
- knowledge representation
- arbitrary shape
- semantic annotation
- formal verification
- semantically rich
- face verification
- formal methods
- metamodel
- closely related
- semantic information