RE: Domain Type Mismatch problem

Hi Paul,

Thanks for your quick response!

Your conclusions are on the dot, i.e. we work a lot with metaclasses and
even metametaclasses (that ClassOfInanimatePhysicalObject is an instance
again of ClassOfClassOfIndividual). The entire fully normalized datamodel of
201 entity data types can be found on [1] and [2]. Together with a
vocabulary with some 15,000 classes we can express most of what we need to
represent the lifetime data of a refinery, offshore platform, or chemical
plant (or of any other facility for that matter, provided that there is a
specialized vocabulary present).

I understand from you that what we do is not incorrect, but unusual, and
normal RDF/OWL-based tools (if they exist?) will not crash on it.

Thanks again!
Hans

[1] http://www.15926.org/2006/02/part2
[2]
http://www.tc184-sc4.org/wg3ndocs/wg3n1328/lifecycle_integration_schema.html


-----Original Message-----
From: gearon@gmail.com [mailto:gearon@gmail.com] On Behalf Of Paul Gearon
Sent: Tuesday, August 22, 2006 21:26
To: Hans Teijgeler
Cc: SW-forum
Subject: Re: Domain Type Mismatch problem

Hi Hans,

Note that you only have a warning, and not an error.

You've declared that InanimatePhysicalObject is an *instance* of the class
ClassOfInanimatePhysicalObject.  You then go on to say that Vessel is
another *instance* of ClassOfInanimatePhysicalObject.  But then you say that
the second instance is a *subClass* of the first instance.

So you've said that Vessel and InanimatePhysicalObject are both classes
(because you said that one is a sub class of the other), and that they are
*instances* of another class (ClassOfInanimatePhysicalObject).  That makes
ClassOfInanimatePhysicalObject more of a meta-class.

It is an unusual thing to say that a class is an instance of another class
(with the exception of being an instance of owl:Class).  It's unusual enough
that your validator has warned you about it.

Regards,
Paul

On 8/22/06, Hans Teijgeler <hans.teijgeler@quicknet.nl> wrote:
> A typical snippet of the code involved is:
>
>     <part2:ClassOfInanimatePhysicalObject
> rdf:ID="InanimatePhysicalObject">
>         <rdfs:subClassOf
> rdf:resource="http://www.15926.org/2006/02/part2#PhysicalObject"/>
>     </part2:ClassOfInanimatePhysicalObject>
>
>     <part2:ClassOfInanimatePhysicalObject rdf:ID="Vessel">
>         <rdfs:subClassOf
> rdf:resource="#InanimatePhysicalObject"/>
>         <rdfs:subClassOf rdf:resource="#VesselFunction"/>
>     </part2:ClassOfInanimatePhysicalObject>
>
>
> Using the Vowlidator validator of SemWeb I get twice the following 
> error
> message:
>
> WARNING - Domain Type Mismatch: Use of this property implies that 
> subject  is of type http://www.w3.org/2000/01/rdf-schema#Class.
> (Subject is declared type
> [http://www.15926.org/2006/02/part2#ClassOfInanimatePhysicalObject])
> At [http://www.15926.org/2006/02/part4#Vessel,
> http://www.w3.org/2000/01/rdf-schema#subClassOf,
> http://www.15926.org/2006/02/part4#InanimatePhysicalObject]
> line 444
>
> I will be grateful for any suggestions about what I did wrong.
>
> Regards,
> Hans
>
> ____________________
> OntoConsult
> Hans Teijgeler
> ISO 15926 specialist
> Netherlands
> +31-72-509 2005
> www.InfowebML.ws
> hans.teijgeler@quicknet.nl
>
>
>
>
> --
>  No virus found in this outgoing message.
>  Checked by AVG Free Edition.
>  Version: 7.0.405 / Virus Database: 268.11.4/424 - Release Date: 
> 21-Aug-06
>

--
No virus found in this incoming message.
Checked by AVG Free Edition.
Version: 7.0.405 / Virus Database: 268.11.4/424 - Release Date: 21-Aug-06
 

-- 
No virus found in this outgoing message.
Checked by AVG Free Edition.
Version: 7.0.405 / Virus Database: 268.11.5/425 - Release Date: 22-Aug-06

Received on Wednesday, 23 August 2006 06:53:05 UTC