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.
đang được dịch, vui lòng đợi..
