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

hiblue
이동: 둘러보기, 검색
(동기와 배경(Motivation and background))
(동기와 배경(Motivation and background))
54번째 줄: 54번째 줄:
 
뿐만 아니라, OWL-Time은 어떤 date-time 인코딩에서도 명백하기 지원하지 않는 순서 관계(시간 위상)에 집중하고 있습니다.
 
뿐만 아니라, OWL-Time은 어떤 date-time 인코딩에서도 명백하기 지원하지 않는 순서 관계(시간 위상)에 집중하고 있습니다.
 
</span>
 
</span>
 +
 +
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)==

2018년 4월 20일 (금) 17:14 판

동기와 배경(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)