Version: 2005-01-10

Update: 2005-02-09
 

DIY:

1. In transformed.java, change the fileName to your favour one, and xslFileName to OWL2RuleML.xsl or OWL2Jess.xsl
2. Run transformed.java. The output file has the extension ".ruleml" or ".jess".
3. The resulting facts should be appended to the "metadata.xml"+"preprocessed.xml"+"corepart.xml" or "rdfmt.clp"+"owlmt.clp".
4. Jess can deal with the latter rule-base, while the former one should be transformed by RuleML translators due to the absence of a native RuleML engine.

if you are intersted in SWRL2Jess, then the following output should be appended to the above step 3 :

1. in swrltrans.java, to change the fileName to your favour one -- an SWRL ontology
2. running, and the output is ".clp" as its suffix
3. the resultant user-defined rules, transformed from the SWRL ontology, should be appended to the above step 3, and then go to step 4

Note:

The purpose is to express OWL Semantics by entailment rules, either within a concrete one like Jess or within a general one like FOL RuleML.

Since RDF triples are encoded as Statement(predicate, subject, object), with Statement as the only relation, all of the individual IDs, class IDs and property IDs are encoded to constant symbols serving as corresponding arguments in a Statement/3. It is easy to include SWRL rules in OWLTrans: variable IDs are exactly the variable symbols, while classPredicate(resp. propertyPredicate) is encoded to the symbol of the class ID(resp. the property ID), whose semantics are defined as above. The resulting rule-base is a general one, including user-defined rules transformed from SWRL rules, system-defined rules used for OWL entailments and lots of facts dealing with all resources.

Caution or error messages are thrown out if the resuling rule-base does not satisfy the intended OWL models.

Honestly, it is a rectifier instead of a reasoner for OWL Semantics :-( while it is our long-term goal to support OWL reasoning completely.

Contact:

Please contact Jing Mei : mei@inf.fu-berlin.de or mayyam@is.pku.edu.cn