Re: Reflexive properties in OWL

Bikash, if I understood well another message of yours, you 
want a property to be both transitive and locally 
reflexive. This is not possible, because transitive 
properties are composite, and you cannot apply a 
self-restriction to a composite property.

Marco

On Mon, 27 Dec 2010 18:26:05 +0100
  "Bikash Gyawali" <bikashg@live.com> wrote:
> Hi Michael,
> 
> So good to get an exact answer for what I looked for. I 
>didn't know that "new" feature before.
> 
> Thanks.
> 
> -----Original Message----- From: Michael Schneider
> Sent: Monday, December 27, 2010 6:12 PM
> To: Bikash Gyawali
> Cc: Public Owl Mailing List
> Subject: RE: Reflexive properties in OWL
> 
> Hi Bikash,
> 
> to define a property :p to be "locally-reflexive" w.r.t. 
>class :C, make :C a
> subclass of the self-restriction on :p (new feature of 
>OWL 2):
> 
>    :C rdfs:subClassOf [
>        rdf:type owl:Restriction ;
>        owl:onProperty :p ;
>        owl:hasSelf "true"^^xsd:boolean ] .
> 
> This can be read as follows: For every instance x of 
>class :C the reflexive
> property assertion x :p x holds.
> 
> If you want to additionally ensure that the only 
>reflexive triples for :p
> are those with values from :C, then replace 
>"rdfs:subClassOf" by
> "owl:equivalentClass" in the above axiom.
> 
> Michael
> 
>From: public-owl-dev-request@w3.org 
>[mailto:public-owl-dev-request@w3.org]
> On Behalf Of Bikash Gyawali
> Sent: Monday, December 27, 2010 1:52 PM
> To: Public Owl Mailing List
> Subject: Fw: Reflexive properties in OWL
> 
> Hello All,
> 
> The specification of domain and range for any property 
>doesn't act as
> constraint.
> It just acts as an axiom in OWL.
> So, I am just creating properties (without specifying 
>their domain and
> roles). Later,I create restrictions on the property 
>belonging to that
> respective class.
> 
> However, I see a problem in reflexive properties.
> The reflexive property is automatically being assigned 
>to all classes
> in the ontology. I don't want that to happen. When I 
>create a reflexive
> property,
> I intend to act it so only for my particular class of 
>choice.
> 
> With other types of properties, this is not a problem.
> The reflexive property is "smarter" because it always 
>knows its domain
> and role beforehand. So, its getting attached to all 
>classes in the
> ontology.
> 
> 
> How can I restrict the reflexive property to a 
>particular class?
> 
> --
> Dipl.-Inform. Michael Schneider
> Research Scientist, Information Process Engineering 
>(IPE)
> Tel  : +49-721-9654-726
>Fax  : +49-721-9654-727
> Email: michael.schneider@fzi.de
> WWW  : http://www.fzi.de/michael.schneider
> =======================================================================
>FZI Forschungszentrum Informatik an der Universität 
>Karlsruhe
> Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
> Tel.: +49-721-9654-0, Fax: +49-721-9654-959
> Stiftung des bürgerlichen Rechts, Az 14-0563.1, RP 
>Karlsruhe
> Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. 
>Wi.-Ing. Michael Flor,
> Prof. Dr. Dr. h.c. Wolffried Stucky, Prof. Dr. Rudi 
>Studer
> Vorsitzender des Kuratoriums: Ministerialdirigent 
>Günther Leßnerkraus
> =======================================================================
> 
> 
>

Received on Monday, 27 December 2010 18:22:13 UTC