IntroductionIn this paper we descri

Introduction
In this paper we describe a legal core ontology that is part of the Legal Knowledge Inter
change Format, currently being developed within the Estrella project.1 This interchange
format has two main roles: it enables the translation between legal knowledge bases writ
ten in different representation formats and formalisms and secondly, it is a knowledge
representation formalism in its own right, as part of a larger architecture for developing
legal knowledge systems. These use-cases expose LKIF to the classical trade-off between
tractability and expressiveness, as in e.g. KIF (Knowledge Interchange Format, [25]).
An additional requirement is that LKIF should comply with current Semantic Web stan
dards to enable legal information serving via the web: LKIF builds on a combination of
OWL DL and a rule formalism, e.g. RIF-BLD2, offering a classical hybrid solution. How
1
Estrella is a 6th European Framework project (IST-2004-027665). The views and work reported here are
those of the authors. See http://www.estrellaproject.org
2
The Rule Interchange Format-Basic Logic Dialect (see http://www.w3.org/2005/rules/wg/
bld/draft-2007-10-30). In the first version of LKIF [7] it was proposed that its most basic layer should
consist of OWL DL and SWRL , complying with standards of the Semantic Web. However, development on
SWRL has been replaced by a proposal for a rule interchange format, RIF that is intended to become the

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

Giới thiệuTrong bài này, chúng tôi mô tả một ontology cốt lõi pháp lý là một phần của danh sách liên kiến thức pháp lýthay đổi định dạng, hiện đang được phát triển trong vòng Estrella project.1 trao đổi nàyđịnh dạng này có hai vai trò chính: nó cho phép các bản dịch giữa luật pháp kiến thức cơ sở lệnh10 ở định dạng khác nhau đại diện và formalisms và thứ hai, nó là một kiến thứchình thức đại diện ở bên phải của riêng mình, như một phần của một kiến trúc lớn hơn cho phát triểnHệ thống kiến thức pháp luật. Các trường hợp sử dụng lộ LKIF cho sự đánh đổi cổ điển giữatractability và biểu cảm, như trong ví dụ như KIF (kiến thức Interchange Format, [25]).Một yêu cầu bổ sung là LKIF nên phù hợp với hiện tại Semantic Web standards để cho phép thông tin pháp lý phục vụ thông qua trang web: LKIF xây dựng dựa trên sự kết hợp củaOWL DL và một hình thức quy định, ví dụ như RIF-BLD2, cung cấp một giải pháp kết hợp cổ điển. Làm thế nào1Estrella là một 6th châu Âu khuôn khổ dự án (IST-2004-027665). Những quan điểm và công việc báo cáo ở đâynhững người của các tác giả. Xem http://www.estrellaproject.org2Phương ngữ Interchange quy tắc Logic cơ bản định dạng (xem http://www.w3.org/2005/rules/wg/Bld/dự thảo-2007-10-30). Trong phiên bản đầu tiên của LKIF [7] nó được đề xuất rằng lớp cơ bản nhất nênbao gồm cú DL và SWRL, tuân thủ các tiêu chuẩn về Semantic Web. Tuy nhiên, sự phát triển trênSWRL đã được thay thế bởi một đề nghị cho một định dạng trao đổi quy tắc, RIF mà nhằm mục đích trở thành các

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

Giới thiệu
Trong bài báo này chúng tôi mô tả một bản thể học cốt lõi pháp lý là một phần của pháp liên Kiến thức
Định dạng thay đổi, hiện đang được phát triển trong vòng project.1 Estrella trao đổi này
định dạng có hai vai trò chính: nó cho phép các dịch giữa các cơ sở kiến thức pháp luật Lệnh
mười khác nhau định dạng biểu diễn và formalisms và thứ hai, đó là một kiến thức
đại diện hình thức theo đúng nghĩa của nó, như là một phần của một kiến trúc lớn hơn cho phát triển
hệ thống kiến thức pháp luật. Những trường hợp sử dụng lộ LKIF đến thương mại-off cổ điển giữa
dễ kiểm soát và biểu cảm, như trong ví dụ KIF (Interchange Kiến thức Format, [25]).
Một yêu cầu nữa là LKIF phải tuân thủ Semantic Web hiện stan
Sở NN & PTNT cho phép thông tin pháp lý phục vụ thông qua web: LKIF xây dựng dựa trên sự kết hợp của
OWL DL và một hình thức quy định, ví dụ như RIF-BLD2, cung cấp một giải pháp lai cổ điển. Làm thế nào
1
Estrella là một dự án Khung Châu Âu lần thứ 6 (IST-2004-027.665). Các quan điểm và công việc báo cáo ở đây là
của các tác giả. Xem http://www.estrellaproject.org
2
Quy tắc Interchange Format-Basic logic Dialect (xem http://www.w3.org/2005/rules/wg/
bld / draft-2007/10/30). Trong phiên bản đầu tiên của LKIF [7] nó đã được đề xuất rằng lớp cơ bản nhất của nó nên
bao gồm OWL DL và SWRL, tuân thủ các tiêu chuẩn của Semantic Web. Tuy nhiên, sự phát triển về
SWRL đã được thay thế bằng một đề nghị cho một định dạng quy tắc trao đổi, RIF đó là dự định để trở thành