Re: Representing domain and/or range in OWL

----- Original Message -----
From: "Francesco Cannistrà" <fracan@inwind.it>
To: "Monika Solanki" <monika@dmu.ac.uk>
Sent: Monday, June 16, 2003 9:17 PM
Subject: Re: Representing domain and/or range in OWL


> > Use of this property implies that subject is of type
> anon:ee4648:f5d1c5f1e1:-7fb0.  (Subject is declared type
> > [http://www.temp/temp.owl#A])
>
> The anonimous resource is created when you declare the object of the
domain
> property.
>  What you wrote is equivalent to:
>
> #P rdf#type owl#ObjectProperty
> #anon rdf#type owl#Class
> #P rdfs#domainowl #anon
> #anon owl#unionOf #A
> ....
>
> I think that if you separe the class axiom from the property one
everything
> would work fine.
> i.e. :
>
> <owl:Class rdf:ID="MyUnion">
>      <owl:unionOf rdf:parseType="Collection">
>                     <owl:Class rdf:about="#A"/>
>                     <owl:Class rdf:about="#B"/>
>                     <owl:Class rdf:about="#C"/>
>      </owl:unionOf>
> </owl:Class>
>
> <owl:ObjectProperty rdf:ID="P">
>      <rdfs:domain rdf:resource="#MyUnion" />
> </owl: ObjectProperty>
>
> However I'm not sure whether the behavior of the validator with your
> original code is or is not to be considered correct.
>
> Cheers,
>
> Francesco.
>
> ----- Original Message -----
> From: Monika Solanki
> To: www-rdf-interest@w3.org
> Sent: Monday, June 16, 2003 8:30 PM
> Subject: Representing domain and/or range in OWL
>
>
> Hello,
>
> I can represent the domain and/or range values of a Property P as follows:
>
> <owl:ObjectProperty rdf:ID="P">
>  <rdfs:domain>
>                 <owl:Class>
>                 <owl:unionOf rdf:parseType="Collection">
>                     <owl:Class rdf:about="#A"/>
>                     <owl:Class rdf:about="#B"/>
>                     <owl:Class rdf:about="#C"/>
>                 </owl:unionOf>
>             </owl:Class>
>     </rdfs:domain>
> </owl: ObjectProperty>
>
> Where Classes A , B and C have been defined elsewhere in the file. I
create
> an instance of A, B or C and apply the property P to the instance.
>
> < A rdf : ID ="abc">
>     <P>#xyz</P>
> </A>
>
> After this when I validate the Ontology, I get the following warning for
> property P:
>
>  Use of this property implies that subject is of type
> anon:ee4648:f5d1c5f1e1:-7fb0.  (Subject is declared type
> [http://www.temp/temp.owl#A])
>
> I am not sure if  anon:ee4648:f5d1c5f1e1:-7fb0 has been generated when the
> about attribute for the class was parsed. Is this suppose to be treated as
a
> serious error and is this representation of domain wrong? I am confused .
>
> Any help well apppreciated.
>
> Thanks,
>
> Monika
>
> p.s: I am using the bbn owl validator.
> --
> >**<>**<>**<>**<>**<>**<>**<>**<>**<>**<
> Monika Solanki
> De Montfort University
> Software Technology Research Laboratory
> Hawthorn building, H00.18
> The Gateway.
> Leicester LE1 9BH, UK
>
> phone: +44 (0)116 250 6170 intern: 6170
> email: monika@dmu.ac.uk
> web: http://www.cse.dmu.ac.uk/~monika/
> >**<>**<>**<>**<>**<>**<>**<>**<>**<>**<
> "NOTE: The information transmitted is intended only for the person or
entity
> to which it is addressed and may contain confidential and/or privileged
> material. Any review, retransmission, dissemination or other use of, or
> taking of any action in reliance upon this information by persons or
> entities other than the intended recipient is prohibited. If you received
> this in error, please contact the sender and delete the material from any
> computer"
>

Received on Monday, 16 June 2003 15:20:19 UTC