[Pellet-users] classification loop?

[Evren Sirin]

This was a bug in the blocking code which caused the completion graph to 
be expanded indefinitely. The fix for this will be in the SVN shortly.

Cheers,
Evren

On 9/7/07 1:25 PM, Alan Ruttenberg wrote:
> In both cases we should infer that piece_of_petri_dish_1 is of type 
> portion-of-plastic.
> In the "hurts" version which uses and inverse property and a gci to 
> obtain the inference, using protege 4, for instance (but also in lsw) 
> pellet spins at full CPU, whereas fact++ classifies instantly.
>
> -Alan
>
>
>
> For those that like such things, here's the lisp version of the code.
>
> -Alan
>
> (define-ontology petri-dish ()
>   (class !quality :partial)
>   (class !petri-dish-shape :partial !quality)
>   (object-property !has_determinate_part)
>   (object-property !has_determinate_part (super !has_part))
>   (object-property !has_part)
>   (object-property !has_grain)
>   (object-property !has_determinate_part :transitive)
>   (class !object :partial)
>   (object-property !has_quality)
>   (class !hydrocarbon_molecule :partial !object)
>   (class !portion-of-plastic :partial
>      (manch (and !object
>              (all !has_determinate_part !portion-of-plastic)
>              (some !has_determinate_part !portion-of-plastic)
>              (some !has_grain !hydrocarbon_molecule)
>              (all !has_grain !hydrocarbon_molecule))))
>   (individual !petri_dish_1
>     (type !petri-dish)
>     (value !has_determinate_part (individual !piece_of_petri_dish_1)))
>   (class !petri-dish :complete
>      (manch
>       (and !portion-of-plastic
>            (some !has_quality !petri-dish-shape)))))
>
> (define-ontology petri-dish-hurts ()
>   (class !quality :partial)
>   (class !petri-dish-shape :partial !quality)
>   (object-property !has_determinate_part (inverse-of 
> !determinate_part_of))
>   (object-property !has_determinate_part (super !has_part))
>   (object-property !has_part)
>   (object-property !has_grain)
>   (object-property !has_determinate_part :transitive)
>   (class !object :partial)
>   (object-property !has_quality)
>   (class !hydrocarbon_molecule :partial !object)
>   (class !portion-of-plastic :partial
>      (manch (and !object
>              (all !has_determinate_part !portion-of-plastic)
>              (some !has_determinate_part !portion-of-plastic)
>              (some !has_grain !hydrocarbon_molecule)
>              (all !has_grain !hydrocarbon_molecule))))
>   (individual !petri_dish_1 (type !petri-dish))
>   (individual !piece_of_petri_dish_1 (value !determinate_part_of 
> !petri_dish_1))
>   (sub-class-of !portion-of-plastic
>         (manch (some !determinate_part_of !portion-of-plastic)))
>   (class !petri-dish :complete
>      (manch
>       (and !portion-of-plastic
>            (some !has_quality !petri-dish-shape))))
>   )
> ------------------------------------------------------------------------
>
> _______________________________________________
> 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/