[Pellet-users] add class to reqson on it ?

[abdelhak attou]

Hi 
 
lets say we have an ontology describing different types of people. One type
is father_with_more_than_two_kids
 
If we want to know the type of some person (E.G. type : person , has_sex
value male  and  has_kids cardinality 3  )  according to the ontology we
have , can we do the following  : 

 

1.	describe the person by creating a class temp_class (this class does
not exist in the ontology and will not be added in order to avoid
reclassification )
2.	assert that temp_class is equivalent to (type : person ), (has_sex
value male)  and (has_kids cardinality 3 )
3.	query the reasoner for the types or super types of temp_class

I am using a class instead of instances because I want to avoid
reclassification and, if I am not wrong, class reasoning is less expensive
than instances reasoning.

Is there a a way to check the types or super types of temp_class (which
would be  father_with_more_than_two_kids) without having to add temp_class
to the ontology and hence avoid reclassifying the ontology again (assuming
the ontology was already classified) .
 
Many thanks 
 
attou

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080430/e6579685/attachment.htm