From: Adam Pease ([email protected])
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