Bug? Or me not understanding OWL?

classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

Bug? Or me not understanding OWL?

Alan Ruttenberg-2
Consider this ontology:

Namespace(ex = <http://example.com/>)
  Ontology(<http://example.com/> Class(ex:manuf_role partial ex:role )
   Individual(ex:affy type(ex:organization ))
   ObjectProperty(ex:has_role )
   ObjectProperty(ex:is_manufactured_by range(restriction(ex:has_role  
someValuesFrom(ex:manuf_role ))))
   Class(ex:hg133 partial ex:microarray )
   Class(ex:hg133 partial restriction(ex:is_manufactured_by value
(ex:affy )))
   Class(ex:manufacturer complete restriction(ex:has_role  
someValuesFrom(ex:manuf_role ))))

I would expect that ex:affy would be classified as a ex:manufacturer.  
However, in p3, p4, and lsw using pellet 1.4 and pellet 1.5, it is not.

Unless I  add an explicit microarray individual:

   Individual(ex:hg133i1 type(ex:hg133 ))

Then it is.

Is this correct? Anyone have an explanation?

-Alan


_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Re: Bug? Or me not understanding OWL?

Bijan Parsia-3
On 11 Jul 2008, at 16:34, Alan Ruttenberg wrote:
[snip]
> I would expect that ex:affy would be classified as a ex:manufacturer.

Nope.

> However, in p3, p4, and lsw using pellet 1.4 and pellet 1.5, it is  
> not.

That's correct.

> Unless I  add an explicit microarray individual:
>
>    Individual(ex:hg133i1 type(ex:hg133 ))
>
> Then it is.
>
> Is this correct?

Yes.

> Anyone have an explanation?

 From your ontology with that the last statement, it's possible for  
an affy not to manufacture anything. In which case, it wouldn't be a  
manufacture. Only when you force something to relate to an affy by  
is_manufactured_by (by making it an instance of hg113) do you get any  
joy.

Remember that:
            Class(ex:hg133
                partial restriction(ex:is_manufactured_by value (ex:affy )))

Just says that *if* there is an individual which is an hg133 then  
it's manufactured by the (indivdual) affy. But there may be no such  
individual.

Cheers,
Bijan.

_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Re: [Pellet-users] Bug? Or me not understanding OWL?

Evren Sirin-2
In reply to this post by Alan Ruttenberg-2
I think Pellet is correct. There is nothing in the original ontology
that will cause us to infer there is an instance of hg133. The
definition of hg133 is satisfiable so it is possible that there are
hg133 instances but we do not know it for sure. So there is no reason to
think that there is an individual manufactured by affy. When you
explicitly say that there is an instance of hg133 then there is no
question left since the value and range restrictions make us infer that
affy manufactured hg133i1 so it is  a manufacturer.

Cheers,
Evren

On 7/11/08 11:34 AM, Alan Ruttenberg wrote:

> Consider this ontology:
>
> Namespace(ex = <http://example.com/>)
>   Ontology(<http://example.com/> Class(ex:manuf_role partial ex:role )
>    Individual(ex:affy type(ex:organization ))
>    ObjectProperty(ex:has_role )
>    ObjectProperty(ex:is_manufactured_by range(restriction(ex:has_role  
> someValuesFrom(ex:manuf_role ))))
>    Class(ex:hg133 partial ex:microarray )
>    Class(ex:hg133 partial restriction(ex:is_manufactured_by value
> (ex:affy )))
>    Class(ex:manufacturer complete restriction(ex:has_role  
> someValuesFrom(ex:manuf_role ))))
>
> I would expect that ex:affy would be classified as a ex:manufacturer.  
> However, in p3, p4, and lsw using pellet 1.4 and pellet 1.5, it is not.
>
> Unless I  add an explicit microarray individual:
>
>    Individual(ex:hg133i1 type(ex:hg133 ))
>
> Then it is.
>
> Is this correct? Anyone have an explanation?
>
> -Alan
>
>
> _______________________________________________
> Pellet-users mailing list
> [hidden email]
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
>
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/
>  

_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback