W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2006

Additions to scope of OWL1.1

From: Hans Teijgeler <hans.teijgeler@quicknet.nl>
Date: Thu, 23 Nov 2006 21:55:50 +0100
To: "Parsia, Bijan" <bparsia@cs.man.ac.uk>
Cc: <public-owl-dev@w3.org>
Message-ID: <000801c70f41$c59dc310$6c7ba8c0@hans>
Is the scope definition of OWL1.1 closed, or are proposals for additions
still possible?
In the world of ISO 15926 we are struggling with the problem that in RDF we
cannot model something like:
    :Joe isFatherOf :Mary
    :Mary isInvolvedWith :Pete
    :Joe approves [:Mary isInvolvedWith :Pete]
Often it is necessary to say something about a relationship between two
individuals (relations involving relations, like above example), with the
requirement to constrain that in an OWL schema.
ISO 15926 uses classes for (binary) relationships. These classes have two
properties, the ranges of which coincide with the domain and range of an
owl:ObjectProperty. For example:
    :Mary isInvolvedWith :Pete
maps to:
    <Involvement rdf:ID="ME329800">
        <involved1 rdf:resource="#Mary"/>
        <involved2 rdf:resource="#Pete"/>
where any subsequent approval of this relationship can be done like:
    <Approval rdf:ID="ME324199">
        <approved rdf:resource="#ME329800"/>
        <approver rdf:resource="#Joe"/>
We could use an ObjectProperty AND a Relationship class, but then we have no
way to tell that a particular instance of the one is semantically equivalent
to a particular instance of the other. It would require a.k.a. cross-over
between equivalentClass and equivalentProperty.
This may be way out of line for the OWL1.1 exercise. In that case I
apologize for taking your time.
Hans Teijgeler
ISO 15926 specialist
+31-72-509 2005
HYPERLINK "http://www.infowebml.ws/"www.InfowebML.ws 
HYPERLINK "mailto:hans.teijgeler@quicknet.nl"hans.teijgeler@quicknet.nl

No virus found in this outgoing message.
Checked by AVG Free Edition.
Version: 7.5.430 / Virus Database: 268.14.14/547 - Release Date: 22-Nov-06
Received on Thursday, 23 November 2006 20:56:46 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:14 UTC