F-OWL: An OWL Inference Engine in Flora-2

Department of Computer Science & Electrical engineering, UMBC

About F-OWL

News Update



Related Links




News Update


We have run the F-OWL inference rules against the W3C OWL test cases. F-OWL is one of the ten OWL reasoners that participated in this test, so far. The test results can be found here (for a more human readable version, cut-n-paste the URL http://fowl.sourceforge.net/fowltest/fowlresult.rdf into the form at the bottom of this page and click "regenerate").


F-OWL v0.41 is now available. This a bug release of the system with major directory re-organization. The F-OWL command line application has been made easier to start.


F-OWL v0.4 is now available. This is a development version of the software and thus bugs are expected. An F-OWL Java API has been implemented. The interface supports calls to the inference engine using N-Triple. For details, see the documents in the v0.4 source package.

F-OWL is now an open source project with a BSD license. The project's new home is http://sourceforge.net/projects/fowl


F-OWL v0.3 is now available. This is a development version of the software and thus bugs are expected. In v0.3, OWL reasoning is supported but is limited to the OWL-Lite language constructs. Some prototypes of OWL DL and OWL FULL inference rules have been defined for experiments.

An example ontology (animals.owl) is included for testing the correctness of F-OWL inference rules. A short tutorial has been written to demonstrate inference features in F-OWL.

Due to a system bug in the underlying XSB/Flora-2 system, no extensive testing has been done (XSB/Flora-2 development team is working to solve this problem). In the next version, we will attempt to test the system using the proposed OWL test cases by W3C.


A draft version of the rules for reasoning over the RDF-S data model is now available. In this version (v0.2), inferences for RDF-S Collections are not implemented.

A test case has been created validate the completeness and correctness of the rules. This test case is adopted from the newspaper ontology from Protege-2000 v1.8. This test case is also available for download (see newspaper_source.P and newspaper_inst_source.P).

Two Perl scripts (nsexpand.pl and nsreduce.pl) have been created for preprocessing namespace URI's in the Flora programs:

  • nsexpand.pl reads an input file and expands "shorthand" namespace URI's (e.g., rdfs_, rdf_, owl_) in the input file to fully qualified namespace URI's (e.g., http://www.w3.org/TR/1999/PR-rdf-schema-19990303#) . The results of the URI expansion are written into a user-defined output file.
  • nsreduce.pl reads an input file and reduces fully qualified namespace URI's to "shorthand" namespace URI's. The results are written into a user-defined output file.

Last updated: September 28, 2003 Web Master: Harry Chen
ebiquity | cogito | csee | umbc