ontolog-forum
[Top] [All Lists]

[ontolog-forum] describing time periods (with predicators)

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: John McClure <jmcclure@xxxxxxxxxxxxxx>
Date: 2014年1月29日 14:07:35 -0800
Message-id: <52E97BA7.409@xxxxxxxxxxxxxx>
I've removed this from the summit's thread, as it's irrelevant to the substance of Ed's reply to Andrea.

A time period can be relative to non-event resources too, i.e., a time period can begin or end upon the existence of a resource, regardless of its type. Should predicators be used then tense (& deontics) would be discernible; statements with be:from vs was:from vs is:from vs will-be:from can be qualified by when the statement is made, eg using is:as-of. Therefore:

(a) should a time-period be said 'from' or 'upon' a non-date resource, then it should be proper to infer that it is some moment of existence of that resource which marks the start of the time period being described. It is the reasoner's job to discover that moment. Ditto for 'until' and or 'through' statements indicating the end of the time period. These different prepositions obviously indicate open or closed time period ends.

(b) existential (infinitive form) predicates indicate statements existentially factual in nature. For instance, one's name can change after marriage, though one's birth name is always one's name, regardless of later name changes. One's current name is therefore properly identified by 'has' while the infinitive 'have' could normatively indicate one's birth name.

(c) the timeliness of statements relative to their actual realization highlight the continual need to update ground facts as time passes. Statements can migrate from being a 'can-be' to a 'will-be' to an 'is' to a 'was' (or to a 'be', depending on its existential truthiness).

My point is to demonstrate that predicators clarify issues related to time (and deontics) which ontologies to-date seem silent about. This technique relies on widely-understood English language, with none of the artificiality of other techniques.

thanks/jmc

On 1/29/2014 12:34 PM, Barkmeyer, Edward J wrote:
[ontology-summit-bounces@xxxxxxxxxxxxxxxx [mailto:ontology-summit-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Andrea Westerinen
Sent: Tuesday, January 28, 2014 8:09 PM
To: Ontology Summit 2014 discussion
Subject: Re: [ontology-summit] [Reusable Content] Characterizing or measuring reuse

Gary and Ed, There are two bullets in the reuse discussion where I (somewhat) disagree ...

- the content is consistent with the micro-theory adopted by the re-user

- the re-user is able to determine that the content is consistent with his/her theory

Yes, I guess that we might look for structural consistency which was perhaps handled in the conversion

process mentioned previously, the logical consistency (check with a reasoner?) and consistency with the

user's conceptualization.


I don't think that the content must be consistent, but the content must be mappable or translatable.

This takes us back to Hans' point about understanding the assumptions and context of the original content ... Just as more discussion showed that the events in Pascal's talk and in FIBO were semantically close (if not equivalent), it is important to somehow enable a similar line of reasoning. We need to understand how and why some model was created/defined as it was, and then other alternatives/possibilities that the model enables.

The problem here (as Cory noted) is time and money to create the information or have the dialog. Is this something that could be crowd-sourced?

--

Andrea Westerinen

T: 425.891.8407



 
_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/ 
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/ 
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2014/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2014 
Community Portal: http://ontolog.cim3.net/wiki/ 

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ 
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ 
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J  (01)
[More with this subject...]
<Prev in Thread] Current Thread [Next in Thread>
  • [ontolog-forum] describing time periods (with predicators), John McClure <=
Previous by Date: Re: [ontolog-forum] OntologySummit2014 session-03 Track-B: Making use of Ontologies-I - Thu 2014年01月30日 , Peter Yim
Next by Date: [ontolog-forum] semantics for biodiversity special issue , Ben Adams
Previous by Thread: Re: [ontolog-forum] OntologySummit2014 session-03 Track-B: Making use of Ontologies-I - Thu 2014年01月30日 , Peter Yim
Next by Thread: [ontolog-forum] semantics for biodiversity special issue , Ben Adams
Indexes: [Date] [Thread] [Top] [All Lists]

AltStyle によって変換されたページ (->オリジナル) /