F-OWL reasoner sourceforged

October 1, 2003

F-OWL is a reasoner for the web ontology language OWL implemented in Flora-2, an implementation of f-logic doe in XSB.

LINK OWL Tweet

For more information, please contact UMBC ebiquity.