Sentence examples for implemented reasoning from inspiring English sources

The work cited in Cohn et al. 1997 describes constraint propagation techniques and encodings in intuitionistic propositional logic as ways of supporting implemented reasoning based on RCC and some of its extensions.

To enhance DBMS with the reasoning functionality that characterizes ontology management, we propose to implement reasoning into the DBMS via a set of PL/SQL stored procedures.

Based on the conceptual model and data model, the distributed reasoning module implements the reasoning algorithm on a Hadoop cluster.

A new semi-non-parametric inference mechanism is implemented for reasoning.

The formal goal analysis is illustrated through examples, using an implemented goal reasoning tool.

Variations of the method have been implemented in reasoning programs in higher-order logic (Andrews 1981) and non-classical logics (Wallen 1990).

We implemented this reasoning process in a prototype cost estimating application, which creates and maintains cost estimates based on a building product model.

Heino and Pan [ 47] implemented RDFS reasoning on massively parallel hardware.

We implemented the reasoning prototype system based on the Hadoop framework, which is an open-source Java implementation of MapReduce [ 29].

The logical machinery of description logics, implemented in reasoning engines, was an indispensable part of the mapping process, which, ultimately, not only provided a consistent mapping ontology but contributed, by large, to error detection and improvement of BioTop.

Then for the data analysis of the big biological linked knowledge network, we propose three different kinds of reasoning algorithms and implement corresponding reasoning prototype systems which make full use of the advantages of MapReduce parallel programming model and OWL property chain reasoning method.