Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] [p4-feedback] SWRL Language FAQ

Nick Drummond nick.drummond at
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>:
> Hi everyone,
> I am refering to the SWRL Language Faq [1] 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
> Reasoning.
> Thanks,
> Silvy
> [1]
> _______________________________________________
> p4-feedback mailing list
> p4-feedback at

More information about the protege-owl mailing list