[Pellet-users] SWRL rule subclass

[Alexander Musidlowski]

Hi,

i have an ontology with a rule like A(x) --> B(x), which means A is a
subclass of B. If i find such an rule in my ontology, how do i get to
know that A is a subclass of B?
Does it suffice if i do "reasoner.classify();"? Will this add an OWL
statement like

<EquivalentClasses>
  <OWLClass A/>
  <OWLClass B/>
</EquivalentClasses>  ?

Or do i have to proof this by myself? If this is the case, how can i
do this?
I´m using the OWL API to work with the rules. Besides i hope this the
right list to post this question, if not, tell me.

-- 
Bye
Alex





-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 183 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080313/7f96a919/attachment.pgp