We continue with an overview of the

We continue with an overview of the naming conventions for DLs before
we delve into considerations about dierent notions of semantic alikeness
(concept and knowledge base equivalence as well as emulation). These are
crucial for investigating the expressivity of DLs and performing normalization.
We move on by reviewing knowledge representation capabilities
brought about by dierent DL features and their combinations as well
as some model-theoretic properties associated thereto.
Subsequently, we consider typical reasoning tasks occurring in the context
of DL knowledge bases. We show how some of these tasks can be reduced
to each other, and have a look at dierent algorithmic approaches
to realize automated reasoning in DLs.

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

Chúng tôi tiếp tục với một tổng quan về các quy ước đặt tên DLS trướcchúng tôi nghiên cứu kỹ các cân nhắc về khái niệm tiểu di alikeness ngữ nghĩa(tương đương khái niệm và kiến thức cơ bản cũng như mô phỏng). Đây là nhữngrất quan trọng cho điều tra expressivity DLs và hoạt động bình thường.Chúng tôi di chuyển trên bằng cách xem lại kiến thức đại diện khả năngmang bởi di tiểu DL các tính năng và các kết hợp của họnhư một số tính chất lý thuyết mô hình liên quan nưa.Sau đó, chúng ta xem xét công việc lý do điển hình xảy ra trong bối cảnhDL kiến thức cơ sở. Chúng tôi hiển thị như thế nào một số trong những công việc này có thể được giảmvới nhau, và có một cái nhìn tại di tiểu thuật toán phương pháp tiếp cậnđể nhận ra tự động, lý luận trong DLs.

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

Chúng tôi tiếp tục với một tổng quan về các quy ước đặt tên cho DLs trước khi
chúng ta đi sâu vào những cân nhắc về di? Khái niệm erent của alikeness ngữ nghĩa
(khái niệm và kiến thức cơ bản tương đương cũng như thi đua). Đây là
rất quan trọng để điều tra các expressivity của DLs và thực hiện bình thường.
Chúng tôi di chuyển trên bằng cách xem xét khả năng biểu diễn tri thức
mang về bởi các tính năng di? Erent DL và sự kết hợp của họ cũng
như một số tính mô hình lý thuyết liên quan.
Sau đó, chúng tôi xem xét các công việc lý luận điển hình xảy ra trong bối cảnh
của DL cơ sở tri thức. Chúng tôi thấy làm thế nào một số trong những nhiệm vụ có thể được giảm
đến nhau, và có một cái nhìn tại các cách tiếp cận thuật toán erent di?
Nhận ra lý tự động trong DLs.