An interpretation I consists of a n

An interpretation I consists of a non-empty set ∆I (the domain of the interpretation) 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]).

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 việc giải thích) 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]).

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 (các miền của việc giải thích) 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]).