[Pellet-Users] Pellet Rules Support

[Kolovski, Vladimir]

Hi All,

We're experimenting with an extension to Pellet that would allow for reasoning with DL-safe rules. The algorithm for reasoning is tableaux-based and it is a simple extension of the current one used for OWL-DL. Our approach is described in [1] and DL-safe rules are introduced in [2]. The important thing to remember about DL-safe rules is that they are applicable to explicictly asserted individuals only.

In order to use this,  you need to provide an input file in the form of an ontology extended with rules. The rules have to be in SWRL RDF/XML syntax. An example input file is available at http://www.mindswap.org/~kolovski/rules.owl

Then, you only need to add -dlsafe to the command line arguments to use the rules algorithm. Example command line args:
 -inputFile  http://www.mindswap.org/~kolovski/rules.owl -dlsafe

You could also query the ontology:
 -inputFile http://www.mindswap.org/~kolovski/rules.owl -dlsafe -queryFile "query.owl" -queryFormat RDQL -dlsafe

There are a couple of reasons this is not an official Pellet release yet:
 1) It is slow -   further optimizations are needed on algorithm. This is where pellet users can help us: if you already have any sample rules, or an idea of what kinds of rules you'd want to run, we can work with them and see what optimizations are possible.
 2) No support for datatype properties at the moment

The rules code is part of the Pellet svn now. Also note that rules.jar has been included in lib folder (needed for parsing).

Regards,
Vlad

[1] http://www.mindswap.org/papers/2006/dlsafe.pdf
[2] http://www.fzi.de/KCMS/kcms_file.php?action=link&id=404