Search the World's Largest Database of Information Science & Technology Terms & Definitions
InfInfoScipedia LogoScipedia
A Free Service of IGI Global Publishing House
Below please find a list of definitions for the term that
you selected from multiple scholarly research resources.

What is Semantic Verification

Handbook of Research on E-Business Standards and Protocols: Documents, Data and Advanced Web Technologies
Semantic verification approaches aim at checking the absence of errors related to the meaning of artifacts which have been constructed using a modeling language.
Published in Chapter:
Supporting Semantic Verification of Process Models
Michael Fellmann (University of Osnabrueck, Germany), Oliver Thomas (University of Osnabrueck, Germany), and Frank Hogrebe (Hessische Hochschule für Polizei und Verwaltung, Germany)
DOI: 10.4018/978-1-4666-0146-8.ch023
This chapter presents an ontology-driven approach that aims at supporting semantic verification of semi-formal process models. The ontology-driven approach suggested consists of two steps. The first step is the development of a model for ontology-based representation of process models. This representation allows enriching process models by annotating them with semantics specified in a formal ontology. In the second step, the authors use this model to support an ontology-based semantic verification possible with this representation and in conjunction with machine reasoning. To implement the approach, the authors use the standardized Web Ontology Language (OWL) and the SPARQL query language. They demonstrate the approach using real-life administrative process models taken from a capital city.
Full Text Chapter Download: US $37.50 Add to Cart
eContent Pro Discount Banner
InfoSci OnDemandECP Editorial ServicesAGOSR