RE: ISSUE-144 - OWL-Time - missing interval relations

Simon,

I understand the reasons and support this closing of logical loopholes.

Chris

(Mathematical in- jokes about Lebesgues Integration suppressed)

From: Simon.Cox@csiro.au [mailto:Simon.Cox@csiro.au]
Sent: Wednesday, March 08, 2017 6:13 AM
To: Simon.Cox@csiro.au; public-sdw-wg@w3.org
Subject: RE: ISSUE-144 - OWL-Time - missing interval relations

I’ve received no comments on this proposed enhancement.
If no objections, I will merge tomorrow.

From: Simon.Cox@csiro.au<mailto:Simon.Cox@csiro.au> [mailto:Simon.Cox@csiro.au]
Sent: Monday, 27 February, 2017 09:08
To: public-sdw-wg@w3.org<mailto:public-sdw-wg@w3.org>
Subject: [ExternalEmail] ISSUE-144 - OWL-Time - missing interval relations

I implemented
:intervalDisjoint (Allen & Ferguson 1997)
:intervalIn (Allen 1984)
Given OWL2 lack of expressiveness around union-of-properties, I did it by making

            :intervalAfter, :intervalBefore each sub-properties of :intervalDisjoint
            :intervalStarts, :intervalFinishes, :intervalDuring each sub-properties of :intervalIn

And added documentation to the text to match.

While I was at it I made reverse inverseOf relations and domain and range of all :interval* properties explicit, so we are not relying solely on OWL entailments.

Implemented in the branch https://github.com/w3c/sdw/tree/simon-time-interval-relations

Pull request https://github.com/w3c/sdw/pull/580


Please review.

Simon J D Cox
Research Scientist
Environmental Informatics
CSIRO Land and Water<http://www.csiro.au/Research/LWF>

E simon.cox@csiro.au<mailto:simon.cox@csiro.au> T +61 3 9545 2365 M +61 403 302 672
   Mail: Private Bag 10, Clayton South, Vic 3169
   Visit: Central Reception, Research Way, Clayton, Vic 3168
   Deliver: Gate 3, Normanby Road, Clayton, Vic 3168
people.csiro.au/Simon-Cox<http://people.csiro.au/Simon-Cox>
orcid.org/0000-0002-3884-3420<http://orcid.org/0000-0002-3884-3420>
researchgate.net/profile/Simon_Cox3<https://www.researchgate.net/profile/Simon_Cox3>
github.com/dr-shorthair<https://github.com/dr-shorthair>

PLEASE NOTE
The information contained in this email may be confidential or privileged. Any unauthorised use or disclosure is prohibited. If you have received this email in error, please delete it immediately and notify the sender by return email. Thank you. To the extent permitted by law, CSIRO does not represent, warrant and/or guarantee that the integrity of this communication has been maintained or that the communication is free of errors, virus, interception or interference.

Please consider the environment before printing this email.

Received on Wednesday, 8 March 2017 17:33:11 UTC