We note here that the equivalence/s

We note here that the equivalence/subsumption between two different prop- erties or between a property and a property expression, denotes equivalence/ subsumption between the domains and ranges of those properties or property expressions. The proof for the above statement is available in [9].

Individual mapping (is ≡ it ). An individual from a source ontology s can be mapped to an individual from a target ontology t.

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

Chúng tôi lưu ý ở đây rằng tương đương/subsumption giữa hai prop khác nhau-erties hoặc giữa một bất động sản và một biểu hiện bất động sản, là bắt tương đương / subsumption giữa các tên miền và phạm vi của những tài sản hoặc biểu hiện bất động sản. Bằng chứng cho tuyên bố ở trên là có sẵn trong [9].Lập bản đồ cá nhân (là ≡ nó). Một cá nhân từ một nguồn ontology s có thể được ánh xạ tới một cá nhân từ một mục tiêu ontology t.

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

Chúng tôi lưu ý ở đây rằng sự tương đương / subsumption giữa hai erties prop- khác nhau hoặc giữa một tài sản và một biểu thức bất động sản, biểu thị tương đương / subsumption giữa các lĩnh vực và phạm vi của những đặc tính hay biểu thức bất động sản. Các bằng chứng cho tuyên bố trên là có sẵn trong [9]. Bản đồ cá nhân (là ≡ nó). Một cá nhân từ một nguồn ontology s có thể được ánh xạ tới một cá nhân từ một t tiêu ontology.