ontology provide (primitive) defini

ontology provide (primitive) definitions of these notions, which are consequently used to
define more intentional and legal concepts in other modules. The most general categories
of the LKIF ontology are based on the distinction between ‘worlds’ of LRI Core. We
distinguish between mental, physical and abstract concepts, and occurrences (Figure 2).
Mereological relations allow us to define parts and wholes, allow for expressing a
systems-oriented view on concepts, such as functional decompositions, and containment
(Figure 3). Furthermore, they form the basis for definitions of places (location) and mo
ments and intervals in time.
The ontology for places in LKIF Core is based on the work of [20], and adopts a
distinction between relative places and absolute places, which goes back to Newton.
Whereas a relative place is defined by reference to some thing, absolute places are part
of absolute space and have fixed spatial relations with other absolute places. See figure
3 for an overview of concepts defined in the place module. A Location_Complex is a
set of places that share a reference location.
Of the properties defined in this module, meet is the most basic as it is used to define
many of the other properties such as abut, cover, coincide etc. See [13,20] for a more
in depth discussion of these and other relations. The current version of the ontology of
places does not define concepts and relations that can be used to express direction and
orientation.
Closely related to the theory of places of [20] is Allen’s theory of time [1,2]. We
adopt his theory, and distinguish between the basic concepts of Interval and Moment.
Intervals have an extent (duration) and can contain other intervals and moments. Mo
ments are points in time, they are atomic and do not have a duration or contain other
temporal occurrences (see figure 4).
The relations between temporal occurrences are what defines time. Like [20], [1]
adopts the meet relation to define two immediately adjacent temporal occurrences. We
call this relation immediately_before, as the temporal meet relation holds only in
one direction, and is asymmetric. The property is used to define other temporal relations
such as before, after, during, etc.
With these classes and properties in hand, we introduce concepts of (involuntary)
change. The process ontology relies on descriptions of time and place for the represen
tation of duration and location of changes. A Change is essentially a difference between
the situation before and after the change. It can be a functionally coherent aggregate

Kết quả (Việt) 1:

(nguyên thủy) định nghĩa của các khái niệm, do đó được sử dụng để cung cấp các ontologyxác định thêm các khái niệm cố ý và hợp pháp trong các module khác. Các chuyên mục đặt chungcủa LKIF ontology dựa trên sự khác biệt giữa thế giới của LRI lõi. Chúng tôiphân biệt giữa các khái niệm tâm thần, thể chất và trừu tượng, và các mục lặp lại (hình 2).Mereological quan hệ cho phép chúng tôi để xác định các bộ phận và wholes, cho phép để thể hiện mộtHệ thống định hướng nhìn về khái niệm, chẳng hạn như chức năng decompositions, và ngăn chặn(Hình 3). Hơn nữa, chúng tạo thành cơ sở cho định nghĩa về địa điểm (địa điểm) và moments và khoảng thời gian.Các ontology cho những nơi trong LKIF lõi dựa trên công việc [20], và thông qua mộtsự phân biệt giữa các địa điểm tương đối và địa điểm tuyệt đối, mà đi lại cho Newton.Trong khi một nơi tương đối được xác định bởi tham chiếu đến một số điều, tuyệt đối nơi là một phầnsố tuyệt đối không gian và đã cố định các quan hệ không gian với các địa điểm tuyệt đối. Xem hình3 cho một tổng quan về các khái niệm được định nghĩa trong các mô-đun vị trí. Location_Complex một là mộtthiết lập nơi mà chia sẻ vị trí tham khảo.Tài sản được xác định trong mô-đun này, gặp nhau là cơ bản nhất như nó được sử dụng để xác địnhnhiều người trong số các tài sản khác, chẳng hạn như abut, bao gồm, trùng vv. Xem [13,20] để có một chi tiếttrong chiều sâu các thảo luận về những điều này và quan hệ khác. Phiên bản hiện tại của ontology củađịa điểm không xác định khái niệm và mối quan hệ có thể được sử dụng để thể hiện hướng vàđịnh hướng.Liên quan chặt chẽ với các lý thuyết về các địa điểm [20] là lý thuyết của Allen thời gian [1,2]. Chúng tôiáp dụng lý thuyết của ông, và phân biệt giữa các khái niệm cơ bản trong khoảng thời gian và thời điểm này.Khoảng thời gian có một mức độ (thời gian) và có thể chứa khoảng thời gian và những khoảnh khắc khác. Moments điểm trong thời gian, họ nguyên tử và không có một thời gian hoặc chứa khácthời gian xuất hiện (xem hình 4).Quan hệ giữa thời gian xuất hiện là những gì xác định thời gian. Thích [20], [1]thông qua quan hệ đáp ứng định nghĩa hai lần xuất hiện thời gian liền kề ngay lập tức. Chúng tôigọi immediately_before mối quan hệ này, như các mối quan hệ thời gian gặp gỡ nắm giữ chỉ trongmột hướng, và là không đối xứng. Tài sản được sử dụng để xác định các mối quan hệ thời gianchẳng hạn như trước đây, sau đó, trong thời gian, vv.Với những lớp học và các tài sản trong tay, chúng tôi giới thiệu khái niệm về (không tự nguyện)sự thay đổi. Các ontology quy trình dựa trên các miêu tả về thời gian và địa điểm cho representation thời gian và địa điểm thay đổi. Một sự thay đổi là bản chất là một sự khác biệt giữatình hình trước và sau khi thay đổi. Nó có thể là một tổng hợp chức năng mạch lạc

Kết quả (Việt) 2:

ontology cung cấp các định nghĩa (nguyên thủy) của các khái niệm này, được hậu quả là sử dụng để
xác định khái niệm chủ ý hơn và pháp lý trong các module khác. Các loại chung nhất
của bản thể học LKIF được dựa trên sự phân biệt giữa 'thế giới' của LRI Core. Chúng tôi
phân biệt giữa khái niệm tinh thần, thể chất và trừu tượng, và lần xuất hiện (hình 2).
Quan hệ Mereological cho phép chúng ta xác định các bộ phận và wholes, cho phép thể hiện một
cái nhìn hệ thống định hướng vào các khái niệm, chẳng hạn như phân tách chức năng, và ngăn chặn
(Hình 3). Hơn nữa, họ hình thành cơ sở cho các định nghĩa của nơi (địa điểm) và mo
ments và khoảng thời gian thời gian.
Các ontology cho nơi trong LKIF Core được dựa trên tác phẩm của [20], và thông qua một
sự phân biệt giữa những nơi tương đối và những nơi tuyệt đối, đi lại cho Newton.
trong khi đó, một nơi tương đối được xác định bằng cách tham chiếu đến một số điều, những nơi tuyệt đối là một phần
của không gian tuyệt đối và đã cố định quan hệ không gian với những nơi tuyệt đối khác. Xem hình
3 cho một tổng quan về các khái niệm định nghĩa trong module nơi. Một Location_Complex là một
tập hợp của những nơi mà chia sẻ một địa điểm tham khảo.
Trong số các thuộc tính được định nghĩa trong mô-đun này, gặp nhau là cơ bản nhất khi nó được sử dụng để xác định
nhiều tính chất khác như giáp, bao che, trùng vv Xem [13, 20] cho một nhiều hơn
trong chiều sâu thảo luận về những điều này và các quan hệ khác. Phiên bản hiện tại của bản thể học của
những nơi không định nghĩa khái niệm và quan hệ có thể được sử dụng để thể hiện hướng và
định hướng.
Liên quan chặt chẽ đến các lý thuyết về nơi [20] là lý thuyết về thời gian [1,2] Allen. Chúng tôi
áp dụng lý thuyết của ông, và phân biệt giữa các khái niệm cơ bản của Interval và Moment.
Khoảng có một mức độ nào đó (thời gian) và có thể chứa khoảng thời gian và những khoảnh khắc khác. Mo
ments là những điểm trong thời gian, họ là nguyên tử và không có thời gian hoặc chứa khác
xuất hiện thời gian (xem hình 4).
Các mối quan hệ giữa những yếu tố thời gian là những gì xác định thời gian. Giống như [20], [1]
thông qua các mối quan hệ gặp nhau để xác định hai lần xuất hiện thời ngay lập tức liền kề. Chúng tôi
gọi mối quan hệ immediately_before này, là thời gian quan hệ đáp ứng chỉ chứa trong
một hướng, và là đối xứng. Khách sạn được sử dụng để xác định quan hệ thời gian khác
như trước, sau, trong, vv
Với các lớp này và tài sản trong tay, chúng tôi giới thiệu khái niệm về (tự nguyện)
thay đổi. Quá trình ontology dựa trên mô tả về thời gian và địa điểm cho người đại
tation của thời gian và địa điểm thay đổi. Sự thay đổi về cơ bản là một sự khác biệt giữa
tình hình trước và sau khi thay đổi. Nó có thể là một tổng hợp chức năng mạch lạc