Re: Representing domain and/or range in OWL

the proble m is that 

#MyUnion  owl#unionOf  #A

does not entail that:

#A  rdfs#subClassOf  #MyUnion

On the other hand it shoul be true that:

(#MyUnion  owl#unionOf  #A) AND (#a  rdf#type  #A)  implies  (#a  rdf#type  #MyUnion)

Therefore it is sure that there are problems. What I don't know is whether this is a problem with OWL semantics not yet approached by the WG or whether it is a little problem of the validator. In the latter case I think you should be more sympathetic with the validator: everything in the Semantic Web world is still evolving and cannot be possible to have suddenly that behaves as a panacea (it is not an easy job :-)).

Francesco 


----- Original Message ----- 
  From: Monika Solanki 
  To: Francesco Cannistrà ; www-rdf-interest@w3.org 
  Sent: Tuesday, June 17, 2003 9:26 AM
  Subject: Re: Representing domain and/or range in OWL


  Thanks for your Help. I did try what you have suggested, however the problem remians the same. It now throws up a warning sayi 
Use of this property implies that subject is of type
MyUnion (Subject is declared type
[http://www.temp/temp.owl#A])I have started having doubts about this way of expressing the fact that a property can be applied to more than one domain class. Should this be taken as an issue with the validator or OWL itself?Thanks,Monika

  Francesco Cannistrà wrote:

----- Original Message -----From: "Francesco Cannistrà" <fracan@inwind.it>To: "Monika Solanki" <monika@dmu.ac.uk>Sent: Monday, June 16, 2003 9:17 PMSubject: 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 youroriginal code is or is not to be considered correct.Cheers,Francesco.----- Original Message -----From: Monika SolankiTo: www-rdf-interest@w3.orgSent: Monday, June 16, 2003 8:30 PMSubject: Representing domain and/or range in OWLHello,I can represent the domain and/or r
ange 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 forproperty P: Use of this property implies that subject is of typeanon: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 theabout 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,Monikap.s: I am using the bbn owl validator.--
**<>**<>**<>**<>**<>**<>**<>**<>**<>**<
Monika SolankiDe Montfort UniversitySoftware Technology Research LaboratoryHawthorn building, H00.18The Gateway.Leicester LE1 9BH, UKphone: +44 (0)116 250 6170 intern: 6170email: monika@dmu.ac.ukweb: 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 privilegedmaterial. Any review, retransmission, dissemination or other use of, ortaking of any action in reliance upon this information by persons orentities other than the intended recipient is prohibited. If you receivedthis in error, please contact the sender and delete the material from anycomputer"



  -- 
  >**<>**<>**<>**<>**<>**<>**<>**<>**<>**< 
  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"