- From: Simon Cox via GitHub <sysbot+gh@w3.org>
- Date: Mon, 17 Jun 2019 01:31:52 +0000
- To: public-sdwig@w3.org
@chris-little I don't think we are proposing any (new) properties tied specifically to `time:Instant`. I believe the proposal is for three new properties relating temporal entities, with the existing properties related to these as indicated: ``` time:equals a owl:ObjectProperty ; rdfs:domain time:TemporalEntity ; rdfs:range time:TemporalEntity . time:intervalEquals rdfs:sunbPropertyOf time:equals . ``` ``` time:notEquals a owl:ObjectProperty ; rdfs:domain time:TemporalEntity ; rdfs:range time:TemporalEntity . time:before rdfs:subPropertyOf time:notEquals . time:after rdfs:subPropertyOf time:notEquals . time:intervalDisjoint rdfs:subPropertyOf time:notEquals . ``` ``` time:notDisjoint a owl:ObjectProperty ; rdfs:domain time:TemporalEntity ; rdfs:range time:TemporalEntity . time:equals rdfs:subPropertyOf time:notDisjoint . time:intervalMeets rdfs:subPropertyOf time:notDisjoint . time:intervalMetBy rdfs:subPropertyOf time:notDisjoint . time:intervalOverlaps rdfs:subPropertyOf time:notDisjoint . time:intervalOverlappedBy rdfs:subPropertyOf time:notDisjoint . time:intervalStarts rdfs:subPropertyOf time:notDisjoint . time:intervalStartedBy rdfs:subPropertyOf time:notDisjoint . time:intervalDuring rdfs:subPropertyOf time:notDisjoint . time:intervalContains rdfs:subPropertyOf time:notDisjoint . time:intervalFinishes rdfs:subPropertyOf time:notDisjoint . time:intervalFinished rdfs:subPropertyOf time:notDisjoint . ``` `time:notDisjoint` is essentially the _union_ of all those relations, but has to be done with sub-properties as property-unions is not implemented directly in RDFS or OWL. -- GitHub Notification of comment by dr-shorthair Please view or discuss this issue at https://github.com/w3c/sdw/issues/1126#issuecomment-502505362 using your GitHub account
Received on Monday, 17 June 2019 01:31:54 UTC