Hi Chris!
Unfortunately you stumbled upon a bug in SwiftOwlim's rule compiler. We
already fixed it, but before there is a new release, you can workaround the
problem by using prefixed URIs instead of full ones in the .PIE files. For
instance the rule file you sent should look like:
Id: baseballrule
x <rdf:type> <baseball:BaseballPlayer> [Constraint x !=
<baseball:BaseballPlayer>]
-------------------------------
x <rdfs:label> "Player"
}
You can also expect a new release of SwiftOwlim that fixes the problem very
soon.
Cheers,
Ivan
On Wednesday 02 December 2009 20:01:15 [email protected] wrote:
> I am trying to process some simple rules with SwiftOWLIM 3.0beta 12.
> Here is the rule:
>
>
>
>
>
> Id: brule
>
> x <
> http://www.workingontologist.org/Examples/Chapter10/baseball.owl#playsFo
> r>
> <http://www.workingontologist.org/Examples/Chapter10/baseball.owl#Carp>
>
> -------------------------------
>
> x <rdfs:label> "CPlayer"
>
>
>
>
>
> The rule was added to the Horst rules file. This is attached along with
> the ontology, individuals and configuration.
>
>
>
> The expected inferred statement never gets written:
>
> <https://localhost/baseball/player/Joe> rdfs:label "CPlayer"
>
>
>
>
>
> Chris
_______________________________________________
OWLIM-discussion mailing list
[email protected]
http://ontotext.com/mailman/listinfo/owlim-discussion
