improve performance, computability,

improve performance, computability, and
management of classes in a defeasible logic context.
OWL2 introduces several features to the original
Web Ontology Language, some of which allow a
richer representation of knowledge, especially when
dealing with properties and datatypes. Some of these
would be useful, but also lead to a great increase of
complexity in the models: for example, in order to
exploit disjointness between properties, it would be
necessary to create as many properties as possible
statuses, which in turn would greatly affect the
intricacy and readability of the ontology. On the
contrary, some of these new constructs concerning
properties deserve attention because they could
enhance expressivity without affecting (or even
reducing) the complexity of the model built so far.
OWL functional syntax will be used in examples
throughout the paper.
3.4.1. Property Chains
The OWL2 construct ObjectPropertyChain
used within a SubObjectPropertyOf axiom
allows a property to be defined as the composition of
several properties as in Figure 18. Such axioms are
known as complex role inclusions in SROIQ. JudO
relies on one particular property chain useful in the
judicial domain. The property chain:
considered_by o applies
SubObjectPropertyOf judged_as
is represented in Figure 19, and is used in two
different ways – in interpretations, as in the figure,
and in rule applications – to create a direct
interpretational link between a material circumstance
and a legal status.
When a Judicial_Interpretation
considers a Material_Circumstance and
applies a Legal_Status, the judged_as
property chain comes into play and creates a direct
link between the circumstance and its status, that link
being distinguished from the indirect one introduced
by the contract (represented by the property applies).
Reasoners will therefore treat these two links
accordingly.
On the other hand, the legal rule axiom works
through an “anonymous qualified class” (see 3.3.1.)
which links all relevant expressions to the legal rule
instance through the considered_by property,
and the legal rule applies a legal consequence. The
judged_as property chain unifies the two
properties (from a qualified expression to a law, and
from a law to a legal consequence) and brings their
semantics to the surface by creating a direct property
linking the contract clause to its status (judged_as
Inefficacy).
A better use of the OWL2 property chains could
lead to an ever more direct and complete solution,
mainly by removing the need for the anonymous
subclass in order to identify the clause instances
considered_by the relevant law. In the current
version of the ontology, in fact, the property chain
judged_as connects a material instance (i.e.
contract clause) to a legal status or legal consequence
(i.e. oppressive, inefficacious) via a
judicial interpretation. With the open world
approach, this creates a sprawling of judged_as
chains being applied to the metadata. All of these
inferences are correct; nevertheless, they greatly
increase the number of triples in the ontology. In
order for the ontology to manage a big knowledge
base and to perform deep reasoning on it, it is
therefore necessary to prune chain-based inferences
in order to retain only those that are interesting for the
task at hand. Since pruning would eliminate semantic
content actually existing in legal documents, it has to
be performed depending on the task of the rules
application.
judged_as
considered_by
Fact
Judicial
Interpretation Legal Status
applies
Fig. 19. The property chain judged_as.
HasBrother
Person A
Person B Person C
HasUncle
HasParent
Fig. 18. An example of property chain.
3.4.2. Negative object properties
A negative object property assertion such as:
NegativeObjectPropertyAssertion(O
P a b)
states that the individual a1 is not connected by
the object property OP to the individual a2. E.g.
given an ontology including the following axiom:
NegativeObjectPropertyAssertion(h
asSon Peter Meg )
the ontology becomes inconsistent if it is extended
with the following assertion:
ObjectPropertyAssertion(hasSon
Peter Meg)
Negative object property assertions are useful to
avoid complicated workarounds for negating
assertions. For example, the legal status
NotSpecificallySigned and more constructs
are needed in OWL1 in order to represent the
statement that a certain status is not
SpecificallySigned, e.g.:
EquivalentClasses(SpecificallySig
ned?
ObjectOneOf(NotSpecificallySigned
SpecificallySigned))
DifferentIndividuals(Specifically
Signed NotSpecificallySigned)
ObjectPropertyAssertion(applies
ContractA NotSpecificallySigned)
but in OWL2 the following construct is sufficient:
NegativeObjectPropertyAssertion(a
pplies ContractA
SpecificallySigned)
3.4.3. Keys
A HasKey axiom states that each named instance
of a class is uniquely identified by a set of data or
object properties assertions - that is, if two named
instances of the class coincide on values for each of
key properties, then those two individuals

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

cải thiện hiệu suất, computability, và
quản lý các lớp học trong một bối cảnh lý có thể thủ tiêu.
OWL2 giới thiệu một số tính năng để bản gốc
Web Ontology Language, một số trong đó cho phép một
đại diện phong phú hơn kiến thức, đặc biệt là khi
đối phó với các thuộc tính và các kiểu dữ liệu. Một số
sẽ có ích, mà còn dẫn đến một sự gia tăng lớn về
sự phức tạp trong các mô hình: ví dụ, để
khai thác disjointness giữa các thuộc tính, nó sẽ là
cần thiết để tạo ra các tài sản như nhiều càng tốt
trạng thái, do đó sẽ ảnh hưởng rất lớn sự
lộn xộn và dễ đọc của ontology. Trên
trái, một số các cấu trúc mới liên quan đến
đặc tính đáng chú ý bởi vì họ có thể
nâng cao expressivity mà không ảnh hưởng (hoặc thậm chí
giảm) sự phức tạp của mô hình được xây dựng cho đến nay.
OWL cú pháp chức năng sẽ được sử dụng trong các ví dụ
trong suốt giấy.
3.4.1. Chuỗi sản
Các OWL2 xây dựng ObjectPropertyChain
sử dụng trong vòng một tiên đề SubObjectPropertyOf
cho phép một tài sản được xác định như là thành phần của
một số tài sản như trong Hình 18. tiên đề như vậy được
gọi là vùi vai trò phức tạp trong SROIQ. Judo
dựa trên một chuỗi bất động sản đặc biệt hữu ích trong các
lĩnh vực tư pháp. Chuỗi bất động sản:
considered_by o áp dụng
judged_as SubObjectPropertyOf
được biểu diễn trong Hình 19, và được sử dụng trong hai
cách khác nhau - trong cách giải thích, như trong hình,
và trong các ứng dụng quy tắc - để tạo ra một trực tiếp
liên kết interpretational giữa một hoàn cảnh vật chất
và tình trạng pháp lý .
Khi một Judicial_Interpretation
xem xét một Material_Circumstance và
áp dụng một Legal_Status, các judged_as
chuỗi bất động sản đi vào chơi và tạo ra một trực tiếp
liên kết giữa các hoàn cảnh và tình trạng của nó, mà liên kết
được phân biệt với một gián tiếp giới thiệu
bởi các hợp đồng (đại diện bởi các tài sản được áp dụng) .
Reasoners do đó sẽ đối xử với hai liên kết này
cho phù hợp.
Mặt khác, các tiên đề luật pháp làm việc
thông qua một "lớp học có trình độ ẩn danh" (xem 3.3.1).
trong đó liên kết tất cả các biểu thức liên quan đến các quy tắc pháp lý
dụ thông qua thuộc tính considered_by,
và các quy tắc pháp lý áp dụng một hệ quả pháp lý. Các
chuỗi tài sản judged_as hợp nhất hai
tài sản (từ một biểu thức đủ điều kiện để luật,
từ luật đến một hậu quả pháp lý) và mang đến cho họ
NGHĨA để bề mặt bằng cách tạo ra một tài sản trực tiếp
liên kết các khoản hợp đồng để tình trạng của nó (judged_as
không hiệu quả).
một sử dụng tốt hơn các chuỗi tài sản OWL2 có thể
dẫn đến một giải pháp trực tiếp và đầy đủ hơn bao giờ hết,
chủ yếu bằng cách loại bỏ sự cần thiết cho vô danh
lớp con để xác định các trường hợp quy định tại khoản
considered_by pháp luật có liên quan. Trong hiện tại
phiên bản của bản thể học, trên thực tế, các chuỗi tài sản
judged_as kết nối một trường vật chất (ví dụ như
hợp đồng khoản) vào một tình trạng pháp lý hoặc hậu quả pháp lý
(tức là áp bức, không công hệu) thông qua một
giải thích tư pháp. Với thế giới mở
cách tiếp cận, điều này tạo ra một sắc màu rực rỡ của judged_as
chuỗi được áp dụng cho các siêu dữ liệu. Tất cả những
suy luận là chính xác; Tuy nhiên, họ rất
tăng số lượng gấp ba trong ontology. Trong
trật tự cho bản thể học để quản lý một kiến thức lớn
cơ sở và thực hiện lý luận sâu vào nó, nó là
do đó cần thiết phải tỉa kết luận chuỗi dựa trên
để chỉ giữ lại những người được thú vị cho các
nhiệm vụ chính. Kể từ khi cắt tỉa sẽ loại bỏ ngữ nghĩa
nội dung thực hiện trong các văn bản quy phạm pháp luật, nó phải
được thực hiện tùy thuộc vào nhiệm vụ của các quy tắc
áp dụng.
Judged_as
considered_by
Fact
tư pháp
Giải thích Tình trạng pháp lý
áp dụng
hình. 19. judged_as chuỗi tài sản.
HasBrother
Blogger A
Person B Person C
HasUncle
HasParent
hình. 18. Một ví dụ về chuỗi bất động sản.
3.4.2. Thuộc tính đối tượng tiêu cực
Một sự khẳng định tài sản đối tượng tiêu cực như:
NegativeObjectPropertyAssertion (O
P ab)
nói rằng a1 cá nhân không được kết nối bởi
các OP sở hữu các đối tượng với a2 cá nhân. Ví dụ như
đưa ra một bản thể học bao gồm các tiên đề sau đây:
NegativeObjectPropertyAssertion (h
asson Peter Meg)
các ontology trở nên không phù hợp nếu nó được mở rộng
với sự khẳng định sau đây:
ObjectPropertyAssertion (Hasson
Peter Meg)
khẳng định sở hữu đối tượng phủ định là hữu ích để
tránh cách giải quyết phức tạp đối với phủ
khẳng định. Ví dụ, tình trạng pháp lý
NotSpecificallySigned và nhiều hơn nữa cấu trúc
là cần thiết trong OWL1 để đại diện cho
tuyên bố rằng một tình trạng nhất định không
SpecificallySigned, NotSpecificallySigned) ObjectPropertyAssertion (áp dụng ContractA NotSpecificallySigned) nhưng trong OWL2 các cấu trúc sau là đủ: NegativeObjectPropertyAssertion (một pplies ContractA SpecificallySigned) 3.4.3. Phím bang tiên đề A HasKey rằng mỗi ví dụ đặt tên của một lớp học được xác định duy nhất bởi một tập hợp các dữ liệu hoặc đối tượng thuộc tính khẳng định - có nghĩa là, nếu hai tên là trường hợp của lớp trùng trên các giá trị cho mỗi tính chất quan trọng, sau đó hai cá nhân