Re: Representing domain and/or range in OWL

Hi,

Thanks for your mail. I certainly agree with you that this work is in 
various development stages. I raised this question as I wanted to 
identify the cause of the problem. It would be nice if someone from the 
bbn validator development group or the OWL language development group 
could also comment on this issue. Maybe it would help to resolve it 
quickly. I increasing feel now that it would be helpful to include 
issues of these kinds within the OWL semantics rather than handling them 
at the validator level, and also include representative examples in the 
OWL Guide.

Cheers,

Monika

Francesco Cannistrà wrote:

>the problem 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 a
>processor 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"
>

-- 
 >**<>**<>**<>**<>**<>**<>**<>**<>**<>**<
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 <mailto:monika@dmu.ac.uk>
web: http://www.cse.dmu.ac.uk/~monika/ 
<http://www.cse.dmu.ac.uk/%7Emonika/>
 >**<>**<>**<>**<>**<>**<>**<>**<>**<>**<
"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"