Rialto™ Reasoner

img_cartesio
method rules lead to absolute knowledge
Cartesio

DEDUCTION: from theories to fatcs.
 
Rialto Reasoner is a deductive logic-based system for enterprise ontology specification and execution. It implements a powerful logic-based knowledge representation language, called OntoDLP, which is an extension of (disjunctive) logic programs by a number of semantic constructs, including classes, inheritance, relations and axioms. Importantly, Rialto Reasoner supports a powerful interoperability mechanism with OWL. Thanks to these features, Rialto Reasoner is a powerful problem solver allowing to represent and solve a wide class of complex problems through a knowledge-based approach.
 Riato Reasoner exists as a standalone system, as well as as a Rialto plugin. In the latter case, both induction (data mining) and deduction (logic programming) coexist in a single environment (Rialto), thus enabling the exploitation of their complementarity. This way, it becomes possible to construct processes where automatic learning and automatic reasoning cooperate synergically.


Features


The expressive power of OntoDLP

By integrating disjunctive logic with the abstraction mechanisms of the object oriented paradigm, OntoDLP provides a powerful tool for modeling complex knowledge domains.

Adaptivity

Rules and constraints can quickly be adapted with little effort to fit new requirements when they emerge.

Interoperability with third-party systems

Rialto Reasoner can interoperate with many DBMSs and other information sources (through plug-ins). In addition, it is compatible with OWL and can be used in Rialto.

Efficiency

Rialto Reasoner relies on the reasoning engine DLV, the fastest logic programming system today available.



System requirements

Software:

  • Java Runtime Environment: 1.6 32-bit (64-bit recommended)


 
Hardware:
 

  • OS: Windows, Linux
  • RAM: 2GB
  • CPU: Dual Core (Intel Core 2 Duo or equivalent)






Scientific Program

 Rialto Scientific Program is a partnership program with research and educational centers (universities, departments, laboratories, research groups or affiliated organizations). Joining this program offers to teachers, researchers and students the free usage of the product for educational and research purposes. Two kinds of licences are available: Educational (EDU) e Developer (DEV).

To join the Rialto Scientific Program email to sales@exeura.eu


Rialto Reasoner free license is available for teachers and students. Teachers can request and install them on laboratory computers for teaching purposes. Students attending special skilled courses may also require and install Rialto Reasoner on their personal computers.

Rialto Reasoner free license is available for researcher purposes. Researchers can install them both on laboratory and personal computers.

The members of academic and research organizations can obtain Rialto licenses at discounted prices for their own business purposes. The usage of the software is regulated by EULA (End-User License Agreement) and SDKA (Software Development Kit Agreement) license conditions.





Features

Discover more on Rialto Reasoner

Click here

Other Info

Contact our technical service

Click here

 

Oracle and Java are registered trademarks of Oracle or its subsidiaries. Windows Vista and Windows XP are registered trademarks of Microsoft Corporation, or its subsidiaries, in the United States and other countries, or both. Mac® e Mac® OS are registered trademarks of Apple Computer, Inc or its subsidiaries. Windows Vista and Windows XP are registered trademarks of Microsoft Corporation, or its subsidiaries, in the United States and other countries, or both. Linux is registered trademark of Linus Torvalds, or its subsidiaries, in the United States and other countries, or both. Other names may be trademarks of their respective owners.