Sentence examples for state the logical from inspiring English sources

Each major ontology redesign (including mapping) step is checked by a description logics reasoner, the results of which are then analysed and corrected under two perspectives: first, the classes tagged as 'inconsistent' are identified and the causes are investigated and repaired; second, every time the ontology has reached a consistent state, the logical entailments are analysed for adequacy.

(ii) He states the logical relations that hold between modal operators, such as that 'it is not possible for A not to hold of B' implies 'it is necessary for A to hold of B'. (iii) He investigates what the contradictories of modalized sentences are, and decides that they are obtained by placing the negator in front of the modal operator.

The precondition consists of a rd on the bag States containing the logical state off and a rd on the bag Sensors of the TelosB object to detect a presence.

Several examples, output files, schematic views and figures provide additional information on the design state and the logical connections that are required for creating a design.

Following the negative report by SIGIR, State did the logical thing: they slammed the door on the Special Inspector General for Iraq Reconstruction auditors.

He argued that quantum mechanics does, in fact, represent real physical states, but the logical rules used for quantum calculations diverge from those used in classical physics.

The input of the algorithm is predicates representing actions or states in the logical expression.

Some broader areas of focus were: To determine whether the objectives, outcomes as stated in the logical framework and periodic plans e.g. quarterly plans were achieved.

Note that the stable states with a high amount of YdaM molecules are characterised by a high level of c-di-GMP and a low level of YciR II and vice versa, in line with the stable states of the logical model (Fig. 2).

The reactions to the same signals may vary according to the system state, which includes the state of the hardware and the logical state of the programmed protocol.

Welles was sent overseas in 1940 not simply as Roosevelt's envoy, but because, as under secretary of state, he was the logical choice for this particular diplomatic mission.