Re: Representing domain and/or range in OWL

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"

Received on Tuesday, 17 June 2003 06:10:04 UTC