|
|||
|
News Update | ||
09.28.03 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"). 09.25.03 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. 09.19.2003 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 05.09.2003 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. 04.21.2003 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:
|
|||
|