Search Mailing List Archives
[protege-discussion] question about owl subclass axioms
tredmond at stanford.edu
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:
> 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
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
More information about the protege-discussion