[Pellet-users] SWRL rule subclass

[Evren Sirin]

On 3/13/08 1:10 PM, Alexander Musidlowski wrote:
> 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?
>   

Pellet will not support this inference because Pellet supports DL-safe 
reasoning with SWRL rules. This means that rules only affect named 
individuals in the ABox, e.g. you can get new instance relations, but 
not TBox, i.e. you won't get a new subclass inference. Check out Bijan's 
blog posts about SWRL specifically part 2 which explains DL-safety [1].

> Does it suffice if i do "reasoner.classify();"? 

If the relation was entailed it would be enough to ask for reasoner 
isSubClassOf(A,B) or reasoner.getSubClasses(B).

> Will this add an OWL
> statement like
>
> <EquivalentClasses>
>   <OWLClass A/>
>   <OWLClass B/>
> </EquivalentClasses>  ?
>   

Pellet does not add inferences to the ontology but you can query for 
them (using the above functions for example).

> 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.
>   
Cheers,
Evren

[1] http://clarkparsia.com/weblog/category/semweb/rules/swrl/
>   
> ------------------------------------------------------------------------
>
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
>
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/