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] Can't classify the OWL class properly, Why?

Timothy Redmond tredmond at
Mon Sep 7 20:05:53 PDT 2009

You can close an individual off by adding an anonymous type for the  
individual.  If you want to say that the individual  i  has exactly  
one pA value of j then you can assert

	i pA j


	i hasType pA max 1.

The second of these assertions can be added in Protege 3 by clicking  
on the second icon above the asserted types in the individuals  tab.


On Sep 6, 2009, at 12:49 AM, 刘康 wrote:

> My problem is there may be serveral value of pA, and wish to identify
> if all of these value belong class B, the individual belong class C.
> Is there no other method to do this, as you said?
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at
> Instructions for unsubscribing:

More information about the protege-discussion mailing list