Realto Reasoner features

Espressive power of the knowledge representation language
Executable ontologies based on logic programming inferential mechanisms
Abstraction mechanisms like classes, relations, strong and weak constraints, ISA hierarchies
Reasoning Modules
Data integration from several information sources
Full interoperability with databases and web services
Import/export of OWL ontologies
Third-party integration through API
Flexibility and efficiency
Real time adaption to dynamic environments
Fast execution of reasoning modules