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-discussion] question about owl subclass axioms

irene kakogianni at gmail.com
Mon Nov 9 10:42:59 PST 2009


Thank you, your answer is very helpfull,

Regards
Eirini

2009/11/9 Timothy Redmond <tredmond at stanford.edu>

>
> I am not sure I know how to do this in Protege 3. But in Protege 4 this can
> be done in the "General Class Axioms" view.  To put this view into a tab,
> click
>
>        View  -> "Class Views" -> "General Class Axioms"
>
> and pick a place in your tab to place the new view.  Then you can type the
> axiom in using the Manchester owl syntax.  For example I just added
>
>   (hasTopping some CheeseTopping) subClassOf CheeseyPizza
>
> to the pizza ontology.
>
> -Timothy
>
>
> On Nov 6, 2009, at 8:39 AM, irene wrote:
>
>  Hello,
>>
>> I have a question about writing subclass axioms Protege 3.4. I know that
>> OWL-DL allows expressions such as the following:
>>
>> SubClassOf( ObjectSomeValuesFrom( a:hasChild a:Child ) a:Parent ) If some
>> object has a child, then this object is a parent.
>>
>> However, I haven't seen a way to write such an expression, that is define
>> the superclass of an anonymous class, using Protege.
>>
>> Is it possible to write such axioms using Protege? Is defining an
>> equivalent named class for the ObjectSomeValuesFrom( a:hasChild a:Child )
>> the only way to express the above axiom? For example:
>>
>> EquivalentClasses(a:PersonWithChild ObjectSomeValuesFrom( a:hasChild
>> a:Child ))
>> SubClassOf( a:PersonWithChild a:Parent )
>> _______________________________________________
>> protege-discussion mailing list
>> protege-discussion at lists.stanford.edu
>> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>>
>> Instructions for unsubscribing:
>> http://protege.stanford.edu/doc/faq.html#01a.03
>>
>
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> 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-discussion/attachments/20091109/1b164ae5/attachment.html>


More information about the protege-discussion mailing list