hơn PSMS. Ví dụ, các Ontology chức năng của Luật, được trình bày như là một cốt lõi
bản thể, là một khung nhận thức luận rằng mô tả vai trò của pháp luật như một điều khiển
hệ thống trong xã hội [58,14].
4. Ontology Modules
Các phần trước giới thiệu các yêu cầu của chúng tôi cho LKIF Core và chỉ định một princi
đã nhìn nhận cách tiếp cận (hợp pháp) phát triển bản thể học, mà là dựa trên những hiểu biết từ cogni
khoa học chính kịp thời và sử dụng một phương pháp cũng được thành lập. Với những nhận xét này trong tay,
các ontology LKIF được thiết kế ban đầu là một bộ sưu tập các module tám ontology: ex
pression, định mức, quy trình, hành động, vai trò, vị trí, thời gian và mereology, xem [10]. Collec này
sự sau đó đã được mở rộng với một bản thể học hàng đầu, hơn hai mô-đun ontology (legal_action,
legal_role), và hai khung (time_modification và quy tắc), xem hình 1, [34,13].
Mỗi module có chứa một cụm tương đối độc lập khái niệm, đại diện
sử dụng OWL DL trong một thời trang trung ra: cho mỗi cụm các khái niệm trung tâm nhất đã được
đại diện first.19
Chúng ta có thể phân biệt ba lớp trong ontology: cấp cao nhất (Phần 4.1), trong
mức tentional (Phần 4.2) và mức độ pháp lý (mục 4.3). Những lớp này tương ứng
với một trong các 'quan điểm' khác nhau có thể áp dụng đối với một miền của diễn ngôn, và được lấy cảm hứng
từ tác phẩm của Dennett ([19]). Ông đã xác định ba quan điểm chúng ta có thể áp dụng để giải thích
các hiện tượng trong thế giới: lập trường vật lý, được sử dụng để giải thích hành vi về
các định luật vật lý, lập trường thiết kế, trong đó giả định một hệ thống sẽ hành xử theo
thiết kế của nó, và lập trường cố ý , có thể được áp dụng để giải thích các hành vi
của các đại lý hợp lý, với niềm tin, khát vọng và ý định. Hai đầu tiên tương ứng với khoảng
đến cấp cao nhất của LKIF Core, nơi mà các lập trường cố ý được chụp bởi cố ý
cấp. Các ontology LKIF do đó thêm một lớp hợp pháp, có chứa các khái niệm mà chỉ sen
nhiệm từ một góc độ pháp lý. Ở mỗi cấp độ, các khái niệm được thể hiện bằng các khái niệm
được xác định ở mức độ thấp hơn, bổ sung thêm các cấu trúc tổ chức mới (như thuộc tính) mà được phân vào đâu
essary. Phương pháp này đảm bảo các mô-đun thiết lập của bản thể học, vì nó cho phép người sử dụng
để thực hiện các lý thuyết thay thế ở cấp độ nào.
4.1. First Things First: Các cấp cao
Các mô tả của bất kỳ thực tế, sự kiện hoặc tình huống có liên quan về mặt pháp lý đòi hỏi một conceptu cơ bản
alisation của bối cảnh trong đó những xảy ra: các backdrop, hoặc vải, đó là physi
cal thế giới. Các khái niệm cơ bản như địa điểm, thời gian, phần mui xe và thay đổi là INDIS
pensable trong một mô tả của ngay cả những tài khoản hợp pháp đơn giản nhất. Các cụm cấp cao nhất của
19
Chúng tôi sử dụng cả hai TopBraid Composer (http://www.topbraidcomposer.com) và Protégé 3.2 / 4.0a
(http://protege.stanford.edu).
đang được dịch, vui lòng đợi..