"OWL-Time"의 두 판 사이의 차이

2018년 4월 21일 (토) 22:06 판

동기와 배경(Motivation and background)

Temporal information is important in most real world applications. For example, the date is always part of an online order. When you rent a car it is for specific dates.

시간정보는 대부분의 실제 응용 프로그램에서 중요합니다. 예를 들어 날짜는 항상 온라인 순서의 한 부분이 됩니다. 차를 빌렸을 때, 그것은 특정한 날짜 동안입니다.

Events in the world occur at specific times and usually have a finite duration. Transactions occur in an sequence, with the current state of a system depending on the exact history of all the transcations. Knowledge of the Temporal relationships between transaction, events, travel and orders is often critical.

사건은 특정한 시간에 일어나며, 보통 유한한 기간입니다. 거래(교환)은 모든 거래의 정확한 기록에 따른 시스템의 현재 상태와 함께 연속적으로 일어납니다. 거래, 사건, 여행, 순서 사이의 시간 관계에 대한 지식은 중요합니다.

OWL-Time has been developed in response to this need, for describing the temporal properties of any resource denoted using a web identifier(URI), including web-pages and real-world things if desired. It focuses particularly on temporal ordering relationships. While these are implicit in all temporal descriptions, OWL-Time provides specific predicates to support, or to make explicit the results of, reasoning over the order or sequence of temporal entities.

OWL-Times는 요청되는 웹페이지나 현실 세계의 것들을 포함하고, 웹식별자(URI)를 사용하여 나타낸 원천의 시간적 속성을 묘사하기 위한, 필요에 대한 반응으로 발전해왔다. 그것은 특히 시간 순서 관계에 집중하고 있다. 이것들은 모두 시간 묘사에 한정되어 있지만, OWL-Times는 시간 속성의 순서나 연속을 추리해서 확실한 결과를 도출할 수 있게 하는 특별한 서술어를 지원합니다.

There is a great deal of relevant existing work, some very closely related. ISO 8601 provides a basis for encoding time position and extent in a character string, using the most common modern calendar-clock system. DataTypes in XML Schema use a subset of the ISO 8601 format in order to pack multi-element values into a compact literal. Functions and operators on durations, and on dates and times, encoded in these ways are available in Xpath and XQuery. XSLT also provides formatting functions for times and dates, with explicit support for the specified language, calendar and country. Some of the XML Schema datatypes are built-in to OWL2, so the Xpath and Xquery functions may be used on basic OWL data.

관련된 기존 작업의 상당 부분은 매우 밀접하게 연관되어 있습니다. ISO 8601은 현재의 달력-시간 시스템을 사용해서, 시점과 문자 스트링의 범위를 표기하는 기본을 제공합니다. XML 스키마의 데이터타입은 간결한 문자열에 다중 요소의 값을 넣기 위해 ISO 8601 형식의 부분을 이용합니다. 이런 방법으로 인코딩 된 기간과 날짜, 시간에 대한 함수와 매개변수는 Xpath와 Xquery로 이용할 수 있습니다. XSLT는 또한 특정한 언어, 달력, 나라에 대한 명백한 지원과 함께 시간과 날짜에 대한 형식 기능을 제공합니다. XML Schema 데이터타입의 몇몇은 OWL2에 내장되어 있어서, Xpath와 Xquery 함수는 기본 OWL 데이터에서 사용될 수 있습니다.

OWL-Time makes use of these encodings, but also provides representations in which the elements of a date and time are put into separately addressable resource, which can help with queries and reasoning applications.

OWL-Time also support other representations of temporal position and duration including temporal coordinates(scaled position on a continuous temporal axis) and ordinal times (named positions or periods), as well as relaxing the expectation from the original version that dates must use the Gregorian calendar.

However, OWL-Time has a paricular focus on ordering relations ("temporal topology"), which is not supported explicitly in any of the date-time encodings.

OWL-Time은 이런 인코딩을 사용하는 한편, 쿼리 및 추론 웅용프로그램을 도울 수 있도록 날짜와 시간 요소들이 서로 다른 주소가 있는 리소스에서 사용될 수 있도록 하는 표현을 제공합니다. Owl-Time은 시간적 좌표(연속적인 시간 축의 눈금 위치)와 순서적 시간(이름이 있는 지점이나 기간)을 포함하고 그레고리안 달력만 사용해야 한다는 원래의 날짜 표현에 대한 기대를 완화시키는 시점과 기간에 대한 다른 표현을 지원합니다. 뿐만 아니라, OWL-Time은 어떤 date-time 인코딩에서도 명백하기 지원하지 않는 순서 관계(시간 위상)에 집중하고 있습니다.

A first-order logic axiomatization of the core of this ontology is available in hp-04. This document presents the OWL encodings of the ontology, with some additions.

이 온톨로지의 중심의 논리 공리화는 hp-04에서 가능합니다. 이 문서는 몇가지 첨부 사항과 함께 온톨로지의 OWL 인코딩을 나타냅니다.

This version of OWL-Times was developed in the Spatial Data on the Web Working Group (a joint activity involving W3C and Open Geospatial Consortium).

OWL-Times의 지금 버전은 W3C와 OGC의 공동 작업으로 SDWWG에서 발전시켰다.

The ontology is based on the draft by Hobbs and Pan OWL-time-20060927, incorporating modifications proposed by COX to support more general temporal positions, along with other minor improvements.

이 온톨로지는 팬과 홉스의 OWL-Time-20060927이란 초안을 기반으로 하며, 사소한 개선을 통해 좀더 일반적인 시간 지점을 지원하도록 COX에서 제안한 수정사항을 통합하였다.

The substantial changes are listed in the change-log. The specification document has been completely re-written.

이 대폭적인 변화는 change-log에 기록되어 있다. 명세 문서는 완전히 다시 쓰였다.

표기와 이름공간(Notation and namespaces)

OWL-Time 온톨로지의 클래스와 속성은 Compact URI를 사용해서 지정되어 있다.

OWL-Time의 이름공간은 http://www.w3c.org/2006/time#이다. OWL-Time은 다른 온톨로지의 단어를 재사용하지 않았으나 몇가지는 OWL에 내장되어 있는 것이고, 몇가지는 XML Schema Part 2에 추가된 타입들이다.

아래의 테이블은 이 문서에서 사용된 이름공간 목록이다.

Time position

OWL2 has built-in datatypes relating to time: xsd:dateTime and xsd:dateTimeStamp. Other XSD Types such as xsd:date, xsd:gYear and xsd:gYearMonth are also commonly used in OWL applications.

OWL2는 시간과 관계된 내장 데이터타입을 가지고 있다. (xsd:dateTime, xsd:dateTimeStamp) 다른 xsd:date, xsd:gYear, xsd:gYearMonth와 같은 다른 XSD 타입들도 OWL 프로그램에서 자주 사용된다.

These provide for a compact representation of time positions using the conventional Greogrian calendar and 24-hour clock, with timezone offset from UTC.

전통적인 그레고리안 달력과 UTC의 타임을 사용한 24시간제를 사용한 시점의 간결한 표현을 제공한다.

Four classes in the ontology support an explicit description of temporal position. :TemporalPosition is the common super-class, with property :hasTRS to indicate the temporal reference system in use.

온톨로지 안의 4개의 클래스는 시점의 명확한 표현을 지원합니다. TemporalPosition은 공통의 최상위 클래스이고 함께 쓰이는 속성 :hasTRS는 참고되는 시간 시스템을 나타냅니다.

time:TimePosition has properties to alternatively describe the position using a number (i.e. a temporal coordinate), or a nominal value (e.g. geologic time period, dynastic name, archeological era).

time:TimePosition은 지질 시대나 왕조 시대, 고고학 시대를 나타내는 명목 가치나 숫자를 사용하여 지점을 대신 나타낼 수 있는 속성을 가지고 있다.

time:GeneralDateTimeDescription has a set of properties to specify a date-time using calendar and clock elements. lts subslass :DateTimeDescription fixes the temporal reference system to the Gregorian calendar.

time:GeneralDateTimeDescription은 달력과 시간 요소를 사용한 특정한 date-time 속성 세트를 가지고 있다. 서브클래스 DateTimeDescription은 그레고리안 달력에 기반하여 시간 정보를 고정한다.

Following Allen's first key idea described above, even a time position has a finite extent, corresponding to the precision or temporal unit used. Thus, a :GeneralDateTimeDscription or :DateTimeDescription has a duration corresponding to the value of its :unitType.

위에서 설명한 알렌의 첫번째 핵심 아이디어에 따르면, 시점은 제한된 범위를 가지며, 정확하거나 일시적인 시각적 단위에 상응합니다. 따라서 :GeneralDateTimeDescription 또는 :DateTimeDescription은 :unitType이란 값에 상응하는 기간을 가집니다.

Duration

The duration of an interval (or temporal sequence) can have many different descriptions. An interval can be 1 day 2 hours, or 26 hours or 1560 minutes, and so on. 간격(시간의 연속)이 기간은 다양한 형태고 기술됩니다. 간격은 1일 2시간, 또는 26시간, 또는 1560분 그외 등등으로 표기될 수 있습니다.

It is useful to be able to talk about these descriptions in a convenient way as independent objects, and to talk about their equivalences. The extent of an interval can be given using multiple duration descriptions or individual durations, but these must all describe the same amount of time.

이러한 설명을 독립적인 객체로서 편리한 방법으로, 그리고 그들의 동등함에 대해 이야기 하는 데에 유용합니다. 간격의 범위는 다양한 기간 설명과 개별 기간들 이용할 수 있지만, 이것들은 같은 양의 시간을 묘사해야만 합니다.

Four classes support the description of the duration of an entity. :TemporalDuration is the common super-class. :Duration has properties to describe the duration using a scaled number.

4개의 클래스들이 개체의 기간의 설명을 지원합니다. :TemporalDuration은 최상위 클래스입니다. :Duration은 축약된 숫자를 이용해 기간을 묘사하는 속성을 가지고 있습니다.

time:GeneralDurationDescription has a set of properties to specify a duration using calendar and clock elements, the definitions of which are given in the associated TRS description. Its subclass :DurationDescription fixes the temporal reference system to the Gregorian calendar, so the :hasTRS property may be omitted on individuals from this class.

time:GeneralDurationDescription은 TRS 설명과 연관된 정의, 달력과 시간 요소를 사용해 기간을 특정화하는 속성 세트를 가지고 있습니다. 하위 클래스 DurationDescription은 참조할 시간 시스템을 그레고리안 달력으로 한정하기 때문에, hasTRS는 속성은 이 클래스의 개체들에서 생략될 수 있습니다.

time:TemporalUnit is a standard duration which is used to scale a length of time, and to capture its granularity or precision.

time:TemporalUnit은 시간의 길이를 가늠하고, 시간의 세분성과 정밀성을 포착하는데 사용되는 표준 기간입니다.

We use two different sets of properties for :GeneralDateTimeDescription or :DateTimeDescription, and :GeneralDurationDescription or :DurationDescription, because their ranges are different. For example, :year(in :DateTimeDescription) has a range of xsd:gYear which is a position in the Gregorian calendar, while :years (in :DurationDescription) has a range of xsd:decimal so that you can say "duration of 2.5 years".

우리는 그들의 범위가 다르기 때문에:GeneralDateTimeDescription 또는 :DateTimeDescription, :GeneralDurationDescription 또는 :DurationDescription 두가지 속성 세트를 사용합니다. 예를 들어 :year는 그레고리안 달력을 따르는 xsd:gYear의 한 지점을 범위로 사용하지만, :years는 xsd:decimal(십진수)를 범위로 사용하기 때문에, "2.5년의 기간"과 같이 말할 수 있습니다.

Class