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) 1:

cải thiện hiệu suất, computability, vàquản lý lớp học trong một bối cảnh defeasible logic.OWL2 giới thiệu một số tính năng với bản gốcWeb Ontology ngôn ngữ, một số trong đó cho phép mộtCác đại diện phong phú của kiến thức, đặc biệt là khiđối phó với tính chất và datatypes. Một số trong nhữngsẽ có ích, nhưng cũng có thể dẫn tới sự gia tăng rất lớn củasự 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ốttrạng thái, mà lần lượt sẽ rất nhiều ảnh hưởng đến cácintricacy và dễ đọc của ontology. Trên cácngược lại, một số trong những mới xây dựng liên quan đếnthuộc tính xứng đáng chú ý vì họ có thểnâng cao expressivity mà không ảnh hưởng (hoặc thậm chí««««làm giảm) sự phức tạp của các mô hình được xây dựng cho đến nay.OWL chức năng cú pháp sẽ được sử dụng trong ví dụtrong suốt các giấy.3.4.1. dây chuyền bất động sảnXây dựng OWL2 ObjectPropertyChainsử dụng trong vòng một tiên đề SubObjectPropertyOfcho phép một tài sản phải được xác định là thành phần củamột số đặc tính như trong hình 18. Tiên đề như vậyđược gọi là vai trò phức tạp bao gồm trong SROIQ. JudODựa trên một đặc biệt sở hữu chuỗi hữu ích trong cáctên miền tư pháp. Chuỗi bất động sản:considered_by o áp dụngSubObjectPropertyOf judged_aslà đại diện trong hình 19, và được sử dụng trong hainhững cách khác nhau-trong việc 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ếpinterpretational liên kết giữa một trường hợp vật liệuvà tình trạng pháp lý.Khi một Judicial_Interpretationxem xét một Material_Circumstance vàáp dụng một Legal_Status, các judged_assở hữu chuỗi đi vào chơi và tạo ra một trực tiếpliên kết giữa các trường hợp và tình trạng của mình, liên kếtđược phân biệt với người gián tiếp giới thiệutheo hợp đồng (được đại diện bởi bất động sản áp dụng).Reasoners do đó sẽ xử lý các liên kết haicho phù hợp.Mặt khác, các tiên đề pháp quy tắc hoạt độngthông qua một "lớp học có trình độ vô danh" (xem 3.3.1.)mà các liên kết tất cả các biểu thức có liên quan đến các quy định pháp lýtrường hợp thông qua các tài sản considered_by,và các quy định pháp lý áp dụng hệ quả pháp lý. Cácjudged_as sở hữu chuỗi hợp nhất haithuộc tính (từ một biểu thức đủ điều kiện để một pháp luật, vàtừ một đạo luật để hệ quả pháp lý) và mang lại cho họngữ nghĩa với bề mặt bằng cách tạo ra một tài sản trực tiếpliên kết điều khoản hợp đồng với tình trạng của nó (judged_asInefficacy).Có thể sử dụng tốt hơn của chuỗi bất động sản OWL2dẫ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 sự vô danhphân lớp để xác định các trường hợp khoảnconsidered_by pháp luật có liên quan. Trong hiện tạiCác phiên bản của ontology, trong thực tế, Chuỗi bất động sảnjudged_as kết nối (tức là một trường hợp vật liệuđiều khoản hợp đồng) đến một tình trạng pháp lý hoặc hệ quả pháp lý(tức là áp bức, inefficacious) thông qua mộtTư pháp giải thích. Với thế giới mởcách tiếp cận, điều này tạo ra một những judged_asdây chuyền được áp dụng cho các siêu dữ liệu. Tất cả cácsuy luận là chính xác; Tuy nhiên, họ rất nhiềutăng số lượng triples trong ontology. Ởđể cho các ontology để quản lý một kiến thức lớncơ sở và để thực hiện lý luận sâu vào nó, nó làdo đó cần thiết để prune dựa trên chuỗi suy luậnđể giữ lại chỉ những người có thú vị cho cáccông việc ở bàn tay. Kể từ khi cắt tỉa sẽ loại bỏ ngữ nghĩanội dung thực sự tồn tại trong văn bản pháp luật, nó đãđược thực hiện tùy thuộc vào nhiệm vụ của các quy tắcứng dụng.judged_asconsidered_byThực tếTư phápGiải thích tình trạng pháp lýáp dụngHình 19. Sở hữu chuỗi judged_as.HasBrotherNgười ANgười B người CHasUncleHasParentHình 18. Một ví dụ về chuỗi bất động sản.3.4.2. phủ định đối tượng thuộc tínhKhẳng định một tài sản đối tượng tiêu cực như:NegativeObjectPropertyAssertion (OP a b)tiểu bang rằng a1 cá nhân không được kết nối bởiđối tượng bất động sản OP với a2 cá nhân. Ví dụ:đưa ra một ontology, bao gồm cả các tiên đề sau đây:NegativeObjectPropertyAssertion (hasSon Peter Meg)các ontology trở nên không phù hợp nếu nó được mở rộngvới khẳng định sau đây:ObjectPropertyAssertion (hasSonPeter Meg)Đối tượng phủ định bất động sản khẳng định có ích chotránh cách giải quyết phức tạp cho phủ địnhkhẳng định. Ví dụ, tình trạng pháp lýNotSpecificallySigned và xây dựng thêmlà cần thiết trong OWL1 để đại diện cho cáctuyên bố rằng một trạng thái nhất định không phải làSpecificallySigned, ví dụ như:EquivalentClasses (SpecificallySigNed?ObjectOneOf (NotSpecificallySignedSpecificallySigned))DifferentIndividuals (đặc biệtKý NotSpecificallySigned)ObjectPropertyAssertion (áp dụngContractA NotSpecificallySigned)Tuy nhiên, trong OWL2 xây dựng sau là đủ:NegativeObjectPropertyAssertion (applies ContractASpecificallySigned)3.4.3. phímMột tiên đề HasKey nói rằng đặt tên ví dụmột lớp đượ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 khẳng định tài sản - có nghĩa là, nếu hai têntrường hợp của lớp tương ứng trên giá trị cho mỗitrọng điểm thuộc tính, sau đó những cá nhân 2

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