Using ontologies for verification and validation of workflow-based experiments.
Tomasz MiksaAndreas RauberPublished in: J. Web Semant. (2017)
Keyphrases
- petri net model
- petri net
- semantic web
- model checking
- knowledge base
- semantic relations
- knowledge representation
- domain specific
- workflow management systems
- data flow
- ontology integration
- asynchronous circuits
- scientific workflows
- signature verification
- face verification
- databases
- web services
- semantic web technologies
- semantic relationships
- formal methods
- semantic query
- document management
- formal verification
- business process
- ontology alignment
- artificial intelligence
- ontological framework
- database systems
- semantically rich
- semantic interoperability
- background knowledge
- control flow
- process model
- domain ontology
- information integration