Hi Phil, On Sat, 2011-09-03 at 17:38 -0400, Phillip Rhodes wrote: > > Yes, your example didn't actually need any OWL inference so I hadn't > > included that. In your rule set put: > > > > @include <OWLMicro> . > > > > (there are predefined names for all the built in rule sets and they are > > retrieved from the jar, so no need to locate them in the file system). > > > > Thanks again, Dave. One other question, though, if I might... do you happen > to know where I could find a list of these predefined names for the built-in > rulesets?
At the bottom of the Rule syntax section [1], the paragraph about @include: """ A set of special cases is supported to allow a rule file to include the predefined rules for RDFS and OWL - in place of a real URL for a rule file use one of the keywords RDFS OWL OWLMicro OWLMini (case insensitive). """ Not very well highlighted I admit :) BTW if you are going to combine OWL rules and your own rules be aware of the caveats in [2]. The default rules use a mix of forward and backward reasoning which leads to a layering problem - the forward rules don't see the results of backward inference. Dave [1] http://jena.sourceforge.net/inference/index.html#RULEsyntax [2] http://jena.sourceforge.net/inference/index.html#RDFSPlusRules
