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] Jess rules from Protege OWL

Martin O'Connor martin.oconnor at
Sun Jan 10 07:52:56 PST 2010

Go to OWL | Edit owl:AllDifferents... in the Protege-OWL GUI and make 
all individuals of Author different from each other.

> From: "Hailin Wang" <whlsx62 at>
> To: "Martin O'Connor" <martin.oconnor at>, "User support for the Protege-OWL editor" <protege-owl at>
> Sent: Saturday, January 9, 2010 7:11:03 PM GMT +00:00 GMT Britain, Ireland, Portugal
> Subject: Re: [protege-owl] Jess rules from Protege OWL
> Hi Martin :
> Thank you for your reply in time. You said I can use the
> owl:AllDifferents axiom to assert that the child individuals are
> different. But I do not know how to use it.  Take the following rule
> as a example:
>  Publish(?x)  ∧  hasAuthor(?x, ?y)  ∧  hasAuthor(?x, ?z)  ∧
> differentFrom(?y, ?z) → cooperatedWith(?y, ?z),
> I built two classes. The first class is Publish, a individual  of
> which is p1. The second class is Author, which has two individuals: a1
> and a2. I also built two properties: hasAuthor and cooperatedWith. Can
> you tell me how  can I use the owl:AllDifferents axiom to assert that
> the a1 and a2 are different.  I want to define all individual of
> Author are different. Do I need to define Author as a subclass of
> owl:AllDifferents?
> Sincerely yours,
> Wang Hl

More information about the protege-owl mailing list