[protege-discussion] question about owl subclass axioms

[Timothy Redmond]

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