Exact(1)
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.
Similar(59)
A linear consensus protocol is introduced to realize the couple-group consensus, where the agents in one subnetwork reach a consistent state while those in the other subnetwork reach another consistent state.
A transaction-oriented control mechanism for database access becomes difficult in the case of so-called long transactions for example, when several engineers are working, perhaps over the course of several days, on a product design that may not reach a consistent state until the project is complete.
This indicates that here SOICR has not yet reached a consistent steady state during the [Ca2+]o perfusion period and thus depends on the interplay between the actual state of Ca2+ store and that of the Ca2+ release channel, especially at lower [Ca2+]o.
When they started optimizing media mix according to the new algorithm, sales skyrocketed, as marketing reached a consistent 500% ROI.
The actual base price today is $46,000 and Tesla has not yet reached a consistent weekly rate of 5,000.
As the federal questions underlying these cases are the same, federal law ought to reach a consistent position on whether states may constitutionally ban same-sex marriage.
With my daughter, I probably would have lingered in a consistent state of depression.
STZ induced a consistent state of diabetes in experimental mice.
Consensus protocol is designed such that some agents in a network reach a consistent value, while other agents reach another consistent value.
Consensus protocol is designed for the case that some agents reach a consistent value, while the other agents reach another consistent value.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com