Sentence examples for language assertions from inspiring English sources

This paper discusses the issues faced within SystemC environments to incorporate PSL (property specification language) assertions.

This provides a rather strong case for health care professionals to undergo training in communication skills (e.g. the use of critical language, assertion, and standardized communication tools) to obtain the know-how to alert team members to unsafe situations [ 4, 42].

Such a close-to-human-language assertion on prevention carries several implicit assumptions that must be made clear before expressing it via an ontology; preventing pregnancy does not exclude the possibility of becoming pregnant but it brings about a strong risk reduction.

All these layers are defined with Web Ontology Language (OWL) assertions.

Class diagrams and statecharts are the most generally useful UML notations, especially when enhanced with Object Constraint Language (OCL) assertions.

We also add an additional layer of security using security assertion markup language (SAML) authentication assertions to validate the identity of the user and the various services participating in the system [15].

We derive an assertion based verification method and we show two instances based on different assertion languages: a decidable assertion language and CLP used as an assertion language.

We finally show two methods based on different assertion languages: a decidable assertion language and Horn clause logic used as assertion language.

Some speakers with autism, who are clearly by everyday standards using language for making assertions, fail so-called false-belief tests.

It is a presupposition for applying the falsification principle to religious language that some assertions of religious belief or non-belief could potentially have been established purely from empirical evidence, even had none actually been so.

OWL is a knowledge representation language for making assertions about the interpretation of data using axioms that facilitate the application of automated reasoning (e.g. 'A protein participates in at least one biological process') [ 5 ].