Flora-2

Flora-2 is an open source semantic rule-based system for knowledge representation and reasoning. The language of the system is derived from F-logic, HiLog, and Transaction logic. Being based on F-logic and HiLog implies that object-oriented syntax and higher-order representation are the major features of the system. Flora-2 also supports a form of defeasible reasoning called Logic Programming with Defaults and Argumentation Theories (LPDA). Applications include intelligent agents, Semantic Web, knowledge-bases networking, ontology management, integration of information, security policy analysis, automated database normalization, and more.

Flora-2 relies on the XSB system for its inference engine. The design and architecture of Flora-2 are described in a number of works.

Details of the system and its use are described in the Flora-2 User's Manual. Flora-2 is available for all major computing platforms, including Linux and other flavors of Unix, Microsoft Windows, and Mac OS X.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.