Flora-2 is an open source semantic rule-based system for knowledge representation and reasoning.
[3] 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).
[4] Applications include intelligent agents, Semantic Web, knowledge-bases networking, ontology management, integration of information, security policy analysis, automated database normalization, and more.
[15] Flora-2 is available for all major computing platforms, including Linux and other flavors of Unix, Microsoft Windows, and Mac OS X. Flora-2 is a successor to the Flora system (1998–1999) and incorporates the experience gained developing and using the original Flora system.