The Flora-2 System
Implementing an Efficient DOOD System Using a Tabling Logic Engine
. Intl. Conference on Computational Logic, July 2000.
Describes some aspects related to the implementation of Flora-2.
Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web.
In Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE), Catania, Sicily, Italy, November 2003.
Nonmonotonic Reasoning in Flora-2.
Invited paper at the 8th Intl. Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05). Diamante, Italy. September 2005.