Sentence examples for reasoning service from inspiring English sources

The reasoning service of interest in this setting is model checking in contrast to logical implication.

Today's ontology applications require efficient and reliable description logic (DL) reasoning services.

First, reasoning services in SWRL (a combination of OWL and RuleML) are not decidable.

The framework followed an agent-oriented hybrid approach, combining centralized reasoning services with context-aware, reasoning capable mobile software agents.

The framework follows an agent-oriented hybrid approach, combining centralized reasoning services with context-aware, reasoning capable mobile software agents.

In order to address these problems, we consider distributed reasoning services for ontologies and rules with decidable and effective computation.

Second, no studies have focused on distributed reasoning services for integrating ontologies and rules in multiple knowledge bases.

Only by building a system with appropriate knowledge and reasoning services can one simplify the robot programming sufficiently to meet those demands while still getting a robust and efficient task execution.

An MLN module is established for probabilistic learning and inferencing together with semantic information to provide a basis for plausible learning and reasoning services in supporting of robot task-planning.

For further development, to increase the processing speed, for the next version it is intended to store the XML/RDF constructs within an XML native database and to implement simple reasoning services regarding the search.

Furthermore, we exemplify our approach and show how a single declarative description helps to orchestrate a complete tool chain, beginning with the download of datasets, and through to the installation of the datasets for a variety of tool applications, including data and query transformation processes and reasoning services.