Viết lại dựa trên loại dữ liệu lập bản đồ bất động sản. Hãy để dps là một tài sản loại dữ liệu từ các ontology nguồn mà là ánh xạ tới một datatype bất động sản ex-pression từ mục tiêu. Có một dữ liệu ba mô hình t = (chủ đề, dps, đối tượng) với dps 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 (8).
đang được dịch, vui lòng đợi..