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] Are these equivalent

babar shahzad babarathotmail at yahoo.com
Fri Feb 13 10:35:54 PST 2009


Hi all,

Kindly see if I map these conditions correctly to 3.4

Condition:
Group ⊆ ≥ 4 hasMember ∩ ≤ 5 hasMember

3.4:
N-Condition#1: Group ≥ hasMember 4
N-Condition#2: Group ≤ hasMember 5

Condition: 
Group ≡ SmallGroup ∪ BigGroup
3.4:
Covering axiom for Group


Babar Shahzad Chaudary, 
+358408532112         
Deptt of Information Processing
Science,
University of Oulu, Finland.




________________________________
From: babar shahzad <babarathotmail at yahoo.com>
To: User support for the Protege-OWL editor <protege-owl at lists.stanford.edu>
Sent: Thursday, February 12, 2009 8:18:07 PM
Subject: Re: [protege-owl] how to write this condition in 3.4


thank you Timothy.

but not really Interesting Pizza is of any help for me.

Actually I was confused by ⊆, not by ≤ OR ≥; & also by the fact that restriction editor takes 3 parameters.
I figured out it like: If I declare two N-conditions with min and max cardinality for some abc class, it will do. I believe two N-conditions will be taken as conjunctive.

Kindly endorse me about how I figured it out...!!




Babar Shahzad Chaudary, 
+358408532112        
Deptt of Information Processing
Science,
University of Oulu, Finland.



----- Original Message ----
From: Timothy Redmond <tredmond at stanford.edu>
To: User support for the Protege-OWL editor <protege-owl at lists.stanford.edu>
Sent: Thursday, February 12, 2009 7:42:01 PM
Subject: Re: [protege-owl] how to write this condition in 3.4


Look at pizza.owl in the examples directory of your Protege  
installation.  InterestingPizza has an example.

-Timothy

On Feb 11, 2009, at 5:02 AM, babar shahzad wrote:

>
> Hi to all,
>
>
> how do we write this condition in 3.4.
>
> Group ⊆ ≥ 4 hasMember ∩ ≤ 5 hasMember
>
>
>
>
> Babar Shahzad Chaudary,
> +358408532112
> Deptt of Information Processing
> Science,
> University of Oulu, Finland.
>
>
>
>
> _______________________________________________
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

_______________________________________________
protege-owl mailing list
protege-owl at lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/protege-owl

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 


      
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20090213/17947eab/attachment.html>


More information about the protege-owl mailing list