SWRL Rules won't execute, Stardog 4.0.1

[dura...@gmail.com]

Hey,

I'm currently running an eval version of Stardog 4.0.1 and we can't get the SWRL rules to execute within a sample ontology we're using.  I've attached the RDF for our sample.  The SWRL reasoning runs fine in protege.  I have the reasoning set to SL, and query the ontology trying to locate second order associations

bin/stardog query --reasoning testDb "SELECT * where { <http://www.semanticweb.org/ahunt/ontologies/2015/9/dod-demo-ontology#Steve> ?p ?o }"

I'm getting the equivalence reasoning, but not the swrl rules.

+------------------------------------+--------------------------+

|                 p                  |            o             |

+------------------------------------+--------------------------+

| rdf:type                           | dod-demo-ontology:Person |

| rdf:type                           | owl:Thing                |

| dod-demo-ontology:knownAssociateOf | dod-demo-ontology:George |

| dod-demo-ontology:name             | "Steve"                  |

+------------------------------------+--------------------------+

Thanks,

Nate Durant

[Evren Sirin]

The problem seems to be related to the occurrences of differentFrom
atoms in the rule. Stardog does not generate differentFrom inferences
other than symmetry (x owl:differentFrom y is inferred from y
owl:differentFrom x) and does not support owl:AllDifferent. You can
either drop those atoms or as an approximation replace them with
identity inequality, i.e. swlrb:notEqual(?x, ?) in SWRL syntax or
FILTER (?x != ?y) in Stardog rule syntax.

Best,
Evren

> --
> -- --
> You received this message because you are subscribed to the C&P "Stardog"
> group.
> To post to this group, send email to sta...@clarkparsia.com
> To unsubscribe from this group, send email to
> stardog+u...@clarkparsia.com
> For more options, visit this group at
> http://groups.google.com/a/clarkparsia.com/group/stardog?hl=en