W3C home > Mailing lists > Public > www-webont-wg@w3.org > March 2002

LANG: Example ontology declaring XML Schema equivalence

From: Jonathan Borden <jonathan@openhealth.org>
Date: Wed, 13 Mar 2002 20:24:35 -0500
Message-ID: <001e01c1caf7$037cfbe0$0a2e249b@nemc.org>
To: "WebOnt WG" <www-webont-wg@w3.org>
I have created short OWL and 2 XML Schema examples for the proposed:
owl:seq, owl:set, and owl:oneOf elements (attached). The goal is to
syntactically represent the "this-example.xsd" and "that-example.xsd"
schemas in OWL, defining <samePropertyAs> (perhaps <sameClassAs>?) between
schema types. A smart piece of software should be able to write an
information preserving (i.e. roundtrippable) transform between documents
schema valid with respect to the two schemas. An inferencing engine should
be able to prove that this is possible given a properly written ontology (I
do not claim that this is properly written, rather pose an example of how
the language elements may be used to solve a specific problem).

Generally the idea is that is syntactic schemas can be described in OWL,
then properly placed equivalences would allow determine that documents
contain the same "information items".

Jonathan



Received on Wednesday, 13 March 2002 20:27:22 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:48 GMT