Sentence examples for existing reasoning from inspiring English sources
We show how to reduce queries about property persistence, a common type of universally-quantified query, to an equivalent form that does not quantify over situations and so is amenable to existing reasoning techniques.
Black-box means that, rather than requiring modifications of existing reasoning procedures, these approaches can use such procedures directly as sub-procedures, which allows us to employ existing highly-optimized reasoners.
In addition to being the first subsumptive study of links among OBO terms, ours suggests both fully automatic and semiautomatic solutions to correct the inconsistencies that result upon linking the terms and highlights those that are not currently found by existing reasoning methods in other biomedical ontology-enrichment projects.
Volker et al. made use of existing reasoners Racer [ 11] to support reasoning with the foundational model of anatomy in OWL DL (description logic) [ 39].
In particular, we show how several interesting problems, like consistency and entailment checking, can be reduced to reasoning tasks in existing temporal reasoning frameworks.
On this occasion, we need to create a reasoning rule set based on existing basic reasoning rules that can link them implicitly.
In this paper, three existing functional reasoning models are reviewed in this perspective.
Therefore, by including these elements in a goal model, it is possible to make use of the existing goal reasoning infrastructure when designing systems with specific needs like context-sensitivity.
Immature reasoning support: as opposed to static SPARQL reasoning capabilities, querying over dynamic data streams with the reasoning support is not fully implemented yet, and the conventional SPARQL 2.0 specification is not supported by any of the existing Stream Reasoning approaches.
By similar reasoning, existing things are eternal because they cannot go out of existence.
Results are discussed in terms of their relevance to cognitive behavioral therapies for psychosis and existing research on reasoning and delusions.
