(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
đang được dịch, vui lòng đợi..