Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more.
If you use Flora-2 and like it, please acknowledge it in your project!
Features
- Expressive knowledge representation
- Reasoning engine
- High-level, declarative rule language
- Clear and natural semantics
License
Apache Software LicenseFollow Flora-2
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
There are no 3 star reviews.