method rules lead to absolute knowledge
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.
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.
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.
Rialto Reasoner relies on the reasoning engine DLV, the fastest logic programming system today available.
- Java Runtime Environment: 1.6 32-bit (64-bit recommended)
- OS: Windows, Linux
- RAM: 2GB
- CPU: Dual Core (Intel Core 2 Duo or equivalent)
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 email@example.com
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.