tively straightforward regulation,

tively straightforward regulation, in which at least two types of normative statement are
recognisable—definitional and deontic.
An example of a definitional statement from the EU directive is:
Art. 4(2) Category AM: Two-wheel vehicles or three-wheel vehicles with a maximum
design speed of not more than 45 km/h.
The mereo module of the ontology along with a qualified cardinality restriction (available with OWL 1.1) allows us to express that AM vehicles have two or three wheels:
AM ! 2composed_of.Wheel " 3composed_of.Wheel.
Modelling ‘design speed not more than 45 km/h’ is more challenging as it requires
us to represent the rather common sense domain of speeds, distances etc. Of course,
one could introduce the datatype property designSpeed and require its value be expressed in km/h.This choice, however, would not make justice of the conceptual complexity involved in ‘design speed not more than 45 km/h’, which contains reference to
several notions: unit of measurement, number, designed speed, and a no-more relation.
In fact, ‘design speed not more than 45 km/h’ can be rendered by imposing an linear
ordering relation less-than on the different (instances of the) subclasses of the class
DesignSpeed.23 The ordering allows us to define the class of those DesignSpeeds
with a value not exceeding some N45—i.e., ∀less-than.DesSpeed-km-h-45.
Let us now look at an example of a deontic statement:
Art. 4(2) The minimum age for category AM is fixed at 16 years.
Art. 4(2) expresses an obligation whose logical form can be rendered by the implication:
If x is driving a AM vehicle, then x must be at least 16 years old.
23
The ordering is linear—i.e, reflexive, antisymmetric, transitive and total—since it mirrors the ordering
of the natural numbers. For whenever n ≤ m, we have that DesignSpeed-km-h-n(a) less-than
DesignSpeed-km-h-m(b), with a, b instances.
To fix some terminology, the antecedent is the context to which the obligation applies;
the consequent (minus the deontic operator must) is the content of the obligation itself
(what the obligations prescribes it ought to be the case). Consistently with this analysis,
the LKIF ontology defines obligations as classes (see Section 4.3).
In our case, art. 4(2) allows the situation DriverAM % DriverOlderThan16 and
forbids DriverAM % ¬DriverOlderThan16. Suppose that the classes DriverOlderThan16
and DriverAM have already been defined.24 To model the obligation that drives of AM
vehicles must be at least the 16 years older, we introduced the obligation-type class
MinAgeAM as follows:
MinAgeAM ! ∀allows.(DriverAM % DriverOlderThan16).
MinAgeAM ! ∃allows.(DriverAM % DriverOlderThan16).
MinAgeAM ! ∀disallows.(DriverAM % ¬DriverOlderThan16).
MinAgeAM ! ∃disallows.(DriverAM % ¬DriverOlderThan16).
Other deontic operators, such as permission or prohibition, can be accounted in an
alike manner (see [7]). Notwithstanding the parsimony of this type of definition, using
the LKIF ontology to model normative statements proves to be rather straightforward.

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

cách đơn giản quy định, trong đó ít nhất hai loại quy chuẩn tuyên bố lànhận thấy — definitional và deontic.Một ví dụ của một tuyên bố definitional từ EU chỉ thị là:Nghệ thuật. 4(2) thể loại AM: xe hai bánh hoặc ba bánh xe với tối đa làtốc độ thiết kế không quá 45 km/h.Các mô-đun mereo của ontology cùng với một cardinality có trình độ hạn chế (có sẵn với cú 1,1) cho phép chúng tôi để thể hiện rằng AM xe có hai hoặc ba bánh xe:AM! 2composed_of. Bánh xe "3composed_of. Bánh xe.Mô hình 'thiết kế tốc độ không quá 45 km/h' là khó khăn hơn vì nó đòi hỏichúng tôi đại diện cho các tên miền khá phổ biến ý thức của tốc độ, khoảng cách vv. Tất nhiênmột trong những có thể giới thiệu datatype bất động sản designSpeed và yêu cầu giá trị của nó được thể hiện trong km/h.This lựa chọn, Tuy nhiên, sẽ không làm cho công lý của khái niệm phức tạp liên quan đến 'tốc độ thiết kế không nhiều hơn 45 km/h', có chứa tài liệu tham khảo đểmột số khái niệm: đơn vị đo lường, tốc độ số, được thiết kế và một mối quan hệ không nhiều hơn.Trong thực tế, 'thiết kế tốc độ không quá 45 km/h' có thể được thực hiện bằng cách áp đặt một tuyến tínhĐặt hàng liên quan ít-hơn ngày khác nhau (trường hợp của các) lớp con của lớpDesignSpeed.23 các đặt hàng cho phép chúng tôi để xác định các lớp học của những người DesignSpeedsvới giá trị không vượt quá N45—i.e một số., ∀less-hơn. DesSpeed-km-h-45.Hãy cho chúng tôi bây giờ nhìn vào một ví dụ về một deontic tuyên bố:Nghệ thuật. 4(2) tuổi tối thiểu cho thể loại AM là cố định lúc 16 tuổi.Nghệ thuật. 4(2) thể hiện một nghĩa vụ mà hình thức hợp lý có thể được kết xuất bởi ngụ ý:Nếu x lái xe một chiếc xe AM, sau đó x phải là ít nhất là 16 tuổi.23Các thứ tự là linear—i.e, suy nghi, antisymmetric, tương lai và tất cả-vì nó phản ánh sự sắp đặtcủa các số tự nhiên. Đối với bất cứ khi nào n ≤ m, chúng tôi có DesignSpeed-km-h-n(a) rằng ít-hơnDesignSpeed-km-h-m(b), với a, trường hợp b.Để khắc phục một số thuật ngữ, antecedent là bối cảnh mà nghĩa vụ áp dụng;consequent (trừ các nhà điều hành deontic phải) là nội dung của các nghĩa vụ riêng của mình(những gì các nghĩa vụ quy định nó nên là các trường hợp). Nhất quán với phân tích này,các ontology LKIF xác định nghĩa vụ như các lớp học (xem phần 4.3).Trong trường hợp của chúng tôi, nghệ thuật. 4(2) cho phép tình trạng DriverAM % DriverOlderThan16 vàCấm DriverAM % ¬DriverOlderThan16. Giả sử rằng các lớp học DriverOlderThan16và DriverAM đã là defined.24 để mô hình có nghĩa vụ mà các ổ đĩa của AMxe phải có ít nhất 16 tuổi, chúng tôi giới thiệu lớp kiểu nghĩa vụMinAgeAM như sau:MinAgeAM! ∀allows. (DriverAM % DriverOlderThan16).MinAgeAM! ∃allows. (DriverAM % DriverOlderThan16).MinAgeAM! ∀Disallows. (DriverAM % ¬DriverOlderThan16).MinAgeAM! ∃Disallows. (DriverAM % ¬DriverOlderThan16).Nhà điều hành deontic khác, chẳng hạn như sự cho phép hoặc cấm, có thể được tính trong mộttheo cách như nhau (xem [7]). Tuy nhiên sự cẩn thận của các loại hình định nghĩa, cách sử dụngcác ontology LKIF để mô hình phát biểu quy chuẩn đã chứng minh là khá đơn giản.

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

cực điều chỉnh đơn giản, trong đó có ít nhất hai loại tuyên bố bản quy phạm được
nhận-định nghĩa và deontic.
Một ví dụ về một tuyên bố định nghĩa từ các chỉ thị của EU là:
Nghệ thuật. 4 (2) Thể loại AM: xe hai bánh hoặc xe ba bánh với mức tối đa
. Tốc độ thiết kế không quá 45 km / h
Module mereo của bản thể học cùng với một hạn chế cardinality đủ điều kiện (có sẵn với OWL 1.1) cho phép chúng ta để thể hiện rằng AM xe có hai hoặc ba bánh xe:
AM! 2composed_of.Wheel "3composed_of.Wheel.
Modelling 'tốc độ thiết kế không quá 45 km / h' là khó khăn hơn vì nó đòi hỏi
chúng ta phải đại diện cho miền cảm giác khá phổ biến của tốc độ, khoảng cách vv Tất nhiên,
người ta có thể giới thiệu các tài sản datatype designSpeed và đòi hỏi giá trị của nó được thể hiện bằng km / h.This lựa chọn, tuy nhiên, sẽ không làm cho công lý của sự phức tạp về khái niệm liên quan đến "tốc độ thiết kế không quá 45 km / h, trong đó có đề cập đến
một số khái niệm: đơn vị đo lường, số , tốc độ thiết kế, và một mối quan hệ không nhiều.
trong thực tế, "tốc độ thiết kế không quá 45 km / h 'có thể được trả lại bằng cách áp đặt một tuyến tính
liên quan đặt hàng ít hơn về sự khác nhau (trường hợp của) lớp con của lớp
DesignSpeed .23 Trật tự cho phép chúng ta xác định các lớp của những DesignSpeeds
có trị giá không vượt quá số N45-tức là, ∀less-than.DesSpeed-km-h-45.
Bây giờ chúng ta hãy xem xét một ví dụ về một tuyên bố deontic:
Nghệ thuật. . 4 (2) tuổi tối thiểu cho loại AM là cố định tại 16 năm
. Điều 4 (2) thể hiện một nghĩa vụ có hình thức hợp lý có thể được trả lại bởi hàm ý:
Nếu x là lái xe AM, thì x phải có ít nhất 16 tuổi.
23
Trật tự là tuyến tính tức là, phản xạ, phản đối xứng, bắc cầu và tổng-vì nó phản ánh sự sắp đặt
của số tự nhiên. Đối với bất cứ khi nào n ≤ m, ta có DesignSpeed-km-hn (a) ít hơn
DesignSpeed-km-hm (b), với một trường hợp b.
Để khắc phục một số thuật ngữ, các tiền đề là bối cảnh mà các nghĩa vụ áp dụng ;
các hậu quả (trừ các nhà điều hành deontic phải) là nội dung của nghĩa vụ riêng của mình
(những gì các nghĩa vụ quy định đó phải là trường hợp). Nhất quán với phân tích này,
các ontology LKIF xác định nghĩa vụ như các lớp học (xem Phần 4.3).
Trong trường hợp, nghệ thuật của chúng tôi. 4 (2) cho phép tình hình DriverAM% DriverOlderThan16 và
cấm DriverAM% ¬DriverOlderThan16. Giả sử rằng các lớp học DriverOlderThan16
và DriverAM đã được defined.24 Để mô hình nghĩa vụ mà các ổ đĩa của AM
xe phải có ít nhất 16 năm trở lên, chúng tôi giới thiệu các nghĩa vụ kiểu lớp
MinAgeAM như sau:
MinAgeAM! ∀allows. (DriverAM% DriverOlderThan16).
MinAgeAM! ∃allows. (DriverAM% DriverOlderThan16).
MinAgeAM! ∀disallows. (DriverAM% ¬DriverOlderThan16).
MinAgeAM! ∃disallows. (DriverAM% ¬DriverOlderThan16).
Khai thác deontic khác, chẳng hạn như sự cho phép hoặc ngăn cấm, có thể được hạch toán trong một
cách như nhau (xem [7]). Mặc dù có sự cẩn thận của loại hình này định nghĩa, sử dụng
các ontology LKIF để mô hình báo cáo bản quy phạm chứng minh là khá đơn giản.