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

Timothy Redmond tredmond at
Mon Nov 9 08:35:39 PST 2009

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.


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
> Instructions for unsubscribing:

More information about the protege-discussion mailing list