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 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).

Nick

2009/2/25 Silvi Hudson <silvi.hudson at gmail.com>:
> 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] http://protege.cim3.net/cgi-bin/wiki.pl?SWRLLanguageFAQ
> _______________________________________________
> p4-feedback mailing list
> p4-feedback at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>
>



More information about the protege-owl mailing list