An interpretation I consists of a n

An interpretation I consists of a non-empty set ∆I (the domain of the inter-
pretation) and an interpretation function, which assigns to every atomic concept A a set AI ⊆ ∆I , to every atomic role B a binary relation BI ⊆ ∆I × ∆I and to every individual k an element kI ∈ ∆I (based on [1]).
In Tables 1, 2 and 3 we present the set of class and property constructors that we use for the mapping definition. In these tables we introduce some new con- structors (preceded with asterisk) which should not be confused with the basic DL constructors defined in [1]. In addition to the constructors, a DL knowledge
base consists of common assertional axioms, i.e. inclusion (v, w) and equality
(≡). The semantics of concept/role inclusion and equality are available in [1].

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

Một giải thích tôi bao gồm một tập phòng không làm trống ∆I (tên miền của inter-pretation) và một chức năng giải thích, chỉ định cho mỗi khái niệm nguyên tử A một đặt AI ⊆ ∆I, mỗi nguyên tử vai trò B một mối quan hệ nhị phân BI ⊆ ∆I × ∆I và mỗi cá nhân k một phần tử kI ∈ ∆I (dựa trên [1]).Trong bảng 1, 2 và 3 chúng tôi trình bày các thiết lập của lớp và bất động sản nhà thầu mà chúng tôi sử dụng để định nghĩa lập bản đồ. Trong các bảng, chúng tôi giới thiệu một số mới con-structors (trước với asterisk) mà không được nhầm lẫn với các nhà thầu DL cơ bản được xác định trong [1]. Ngoài các nhà thầu, một kiến thức DLcơ sở bao gồm phổ biến các tiên đề assertional, tức là bao gồm (v, w) và bình đẳng(≡). ngữ nghĩa của khái niệm/vai trò bao gồm và bình đẳng có sẵn trong [1].

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

Một cách giải thích tôi bao gồm một tập ΔI không trống (tên miền của các tế
diễn giải) và một chức năng giải thích, trong đó giao cho mỗi khái niệm nguyên tử A một bộ AI ⊆ ΔI, để mỗi vai trò nguyên tử B một quan hệ nhị phân BI ⊆ ΔI × ΔI và cho mỗi cá nhân là một yếu tố k ki ∈ ΔI (dựa trên [1]).
Trong bảng 1, 2 và 3 chúng tôi trình bày các thiết lập của nhà xây dựng lớp học và tài sản mà chúng tôi sử dụng cho các định nghĩa ánh xạ. Trong các bảng này, chúng tôi giới thiệu một số structors mới con- (bắt đầu bằng dấu sao) mà không nên nhầm lẫn với các nhà thầu DL cơ bản định nghĩa trong [1]. Ngoài các nhà thầu, kiến thức DL
cơ sở bao gồm các tiên đề assertional phổ biến, tức là thu nhận (v, w) và bình đẳng
(≡). Ngữ nghĩa của khái niệm / vai trò thu nhận và bình đẳng có sẵn trong [1].