From: Adam Pease (apease@ks.teknowledge.com)
Date: 03/06/02
Folks,
Richard Fikes recently sent out a set of presentations to the DAML
joint-committee list that illustrate axioms that are difficult to represent
in DAML+OIL. It occurred to me that the presentation on temporal ontology
was also relevant to our daml-time group. We've used the Ontolingua
ontologies extensively as a basis for our work on the IEEE SUO.
Here's a list of mappings from the representations in Richard's
presentation to the temporal concepts in the SUMO.
All comments would be welcome. Ian Niles is the main author of SUMO, so
please include him on any comments you may have. You can access all the
SUMO definitions from the SUMO ontology browser at
<http://ontology.teknowledge.com:8080/rsigma/SKB.jsp?req=SC&skb=SUMO>
Ontolingua SUMO
----------- --------------
Time-Quantity &%TimeMeasure
Duration &%TimeDuration
Time point &%TimePoint
Time interval &%TimeInterval (note that &%TimeIntervals
can be generated from two time points by
means of the
&%TimeIntervalFn function)
Infinite-Past &%NegativeInfinity
Infinite-Future &%PositiveInfinity
Start-Point &%BeginFn
End-Point &%EndFn
Convex-Time-Interval &%TimeInterval
Non-Convex-Time-Interval one we don't have but will add soon
Regular-Non-Convex-Time-Interval - one we don't have but will add soon
Calendar-Month &%Month
Calendar-Day &%DayFn
Time-Interval-Left-Open (&%TimeIntervalFn &%NegativeInfinity ?TIME)
Time-Interval-Left-Closed &%TimeInterval
Time-Interval-Right-Open (&%TimeIntervalFn ?TIME &%PositiveInfinity)
Time-Interval-Right-Closed &%TimeInterval
Time-Interval-Left-Open-Right-Open - need to work on this one, or need
clarification
Time-Interval-Left-Closed-Right-Closed &%TimeInterval
Location-Of (&%TimeIntervalFn &%NegativeInfinity ?TIME)
Year-Of &%YearFn
Month-Of &%MonthFn
Day-Of &%DayFn
Week-Day-Of &%Day
Hour-Of &%HourFn
Minute-Of &%MinuteFn
Second-Of &%SecondFn
Granularity-Of need to work on this one
Before &%before
After inverse of &%before
Equal-Point &%equal
Point-In-Interval &%temporalPart
Precedes &%earlier
Meets &%meetsTemporally
Overlaps &%overlapsTemporally
Costarts &%starts
During &%during
Cofinishes &%finishes
Adam Pease
Teknowledge
(650) 424-0500 x571
This archive was generated by hypermail 2.1.4 : 03/26/02 EST