Sentence examples for for consistency verification from inspiring English sources
Ontologies are specifications of a conceptualization of a domain (Gruber, 1993) and are used to make the meaning of terms in a vocabulary explicit (Guarino, 1998) such that they can be used for consistency verification, information retrieval and knowledge discovery.
However, both for the tasks of consistency verification and data retrieval, a CellML-specific ontological analysis would be preferable to the use of such a translation, since some features of CellML may be lost through a conversion into another modelling language.
The consistency verification of directive and implemented policies (M1 and M2) for the EMR is made by the EMRlog method, which performs the verification of both M1 and M2.
Then a consistency verification method is introduced to guarantee the consistency of the interoperation ontologies.
This method develops a series of verifications, which includes acceptance range verification, maximum allowable speed check, maximum density of nodes, speed consistency verification and time interval substantiation.
A multidimensional model is proposed, which supports the consistency verification, liveness and safety property verification, OCL constraints and LTL formula verification.
Users and applications of ontologies benefit from the community agreement which ontologies can bring about and their resulting potential for ontology-based data annotation and integration, retrieval and querying, novel scientific analyses and in some cases consistency verification of data.
Moreover, to ensure the consistency of the project, tools for data synchronisation and automatic consistency verifications have been developed and put in place by the IO.
In the literature, only security policies are checked for consistency using formal verification.
Compare produce prices and check for consistency.
