[Pellet-users] swrl rule preventing inference ?

[Alejandro Sanchez]

Dear all,

I cannot find out why a particular inference is not done when adding 
rules to the ontology. Please, let me know if you can find out what is 
wrong. I attach two ontologies and I briefly explain the problem.

Both ontologies have the following classes:

* Adult equivalentClass Person and hasAge only nonNegativeInteger[>=21]

* NotAdult equivalentClass Person and not Adult

* EligibleForChildBenefit equivalentClass Person and hasChild min 2 NotAdult

In welfare-norule.owl Pellet infers the following individuals of 
EligibleForChildBenefit1 (Nicolas) and 2 (Elizabet).

In welfare.owl there are some extra swrl rules, among them the following 
one:

* EligibleForChildBenefit(?x), ChildBenefit(?y) -> isEligibleFor(?x, ?y)

After adding this rule, Pellet stops infering 1 and 2 as individuals of 
EligibleForChildBenefit.

Why 1 and 2 are not infered as EligibleForChildBenefit after adding the 
rule?

Many Thanks, Ale.

P.S.: If EligibleForChildBenefit is redefined in welfare.owl changing 
NotAdult with Person, Pellet infers 1 and 2 as individuals of 
EligibleForChildBenefit.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: welfare-norule.owl
Type: text/xml
Size: 22525 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080227/5ea1f437/attachment-0002.bin 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: welfare.owl
Type: text/xml
Size: 26653 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080227/5ea1f437/attachment-0003.bin