Search Mailing List Archives
[protege-owl] [p4-feedback] SWRL Language FAQ
nick.drummond at cs.manchester.ac.uk
Thu Feb 26 08:30:29 PST 2009
Martin might be more likely to get this on the protege-owl list (forwarded).
2009/2/25 Silvi Hudson <silvi.hudson at gmail.com>:
> Hi everyone,
> I am refering to the SWRL Language Faq  written by Martin OConnor a while
> ago. It's a good article explaining SWRL. However, I am troubled with one of
> the rules listed there:
> Publication(?a) ^ hasAuthor(?x, ?y) ^ hasAuthor(?x, ?z) ^ differentFrom(?y,
> ?z) -> cooperatedWith(?y, ?z)
> Firstly, I am not sure what variable 'a' is supposed to mean here. Is it
> supposed to be 'x'.
> Second; I have an ontology with almost 4000 individuals. How can I possibly
> use owl:allDifferents axiom declarations in my ontology. Protoge doesn't
> seem to allow for such thing. Do I need to do it manually via coding? Any
> suggestion. Please let me know. this is troubling to me.
> Lastly, Are there any other examples explaining the SWRL and Open World
>  http://protege.cim3.net/cgi-bin/wiki.pl?SWRLLanguageFAQ
> p4-feedback mailing list
> p4-feedback at lists.stanford.edu
More information about the protege-owl