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.
- Expressive knowledge representation
- Reasoning engine
- High-level rule language
- Clear and natural semantics
There are no 4 star reviews.