Flora-2

rdf:langString Flora-2

rdf:langString 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.