Viết lại dựa trên ob ject bất động sản lập bản đồ. Hãy để ops là một đối tượng chống đỡ-erty từ các ontology nguồn mà là ánh xạ tới một biểu hiện bất động sản đối tượng mục tiêu. Có một dữ liệu ba mô hình t = (chủ đề, ops, đối tượng) với ops trong phần predicate và bất cứ điều gì trong phần chủ đề và đối tượng của nó, chúng tôi có thể viết lại nó bởi một phần predicate của nó, bằng cách sử dụng một µ lập bản đồ được xác định trước và chức năng (7).
đang được dịch, vui lòng đợi..
