Finally, we establish connections b

Finally, we establish connections between DLs and OWL. We show how
DL knowledge bases can be expressed in OWL and, conversely, how OWL
modeling features can be translated into DLs.
In our considerations, we focus on the description logic SROIQ which
underlies the most recent and most expressive yet decidable version of
OWL called OWL 2 DL. We concentrate on the logical aspects and omit
data types as well as extralogical features from our treatise. Examples
and exercises are provided throughout the chapter.

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

Cuối cùng, chúng tôi thiết lập kết nối giữa DLs và cú. Chúng tôi hiển thị như thế nàoDL kiến thức cơ sở có thể được bày tỏ trong OWL và ngược lại, làm thế nào con cúMô hình hóa các tính năng có thể được dịch ra DLs.Trong xem xét của chúng tôi, chúng tôi tập trung vào logic mô tả SROIQ mànền tảng đặt tại và nhất thể hiện chưa decidable Phiên bản củaCÚ gọi là cú 2 DL. Chúng tôi tập trung vào những khía cạnh hợp lý và bỏ quadữ liệu loại các tính năng cũng như extralogical từ luận án của chúng tôi. Ví dụvà bài tập được cung cấp trong suốt các chương.

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

Cuối cùng, chúng tôi thiết lập kết nối giữa DLs và OWL. Chúng tôi thấy làm thế nào
DL cơ sở tri thức có thể được thể hiện trong OWL, và ngược lại, làm thế nào OWL
tính năng mô hình có thể được dịch sang DLs.
Trong xem xét của chúng tôi, chúng tôi tập trung vào các SROIQ logic mô tả mà
nền tảng của phiên bản chưa decidable gần đây nhất và biểu cảm nhất của
OWL gọi OWL DL 2. Chúng tôi tập trung vào các khía cạnh hợp lý và bỏ qua
các kiểu dữ liệu cũng như tính năng extralogical từ bài luận của chúng tôi. Ví dụ
và bài ​​tập được cung cấp trong suốt chương này.