UMBC ebiquity

F-OWL reasoner sourceforged
BALTIMORE, Wednesday, October 01, 2003

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

For more information, contact ebiquity

Web Site: http://fowl.sourceforge.net/