Sự khác biệt giữa các vị từ không gian trong các khu vực có thể sử dụng là những gì

Tôi cố gắng hiểu các vị từ không gian của ma trận Giao lộ DE-9IM. Tôi không nhận được sự khác biệt giữa các vị từ Covers (tương ứng CoveredBy ) và Có (resp. Trong vòng ).

Tôi cố gắng vẽ hình học bằng JTS Topology Suite , chúng luôn luôn Covers = True và Contains = True (hoặc cả hai đều sai) nhưng tôi không quản lý để làm cho chúng khác nhau, tức là để thấy sự khác biệt giữa Coversvà Contains. Có ai có một ví dụ (tốt nhất là WKT hoặc hình ảnh) minh họa cho sự khác biệt không?

Hãy nhìn vào Martin Davis (người tạo ra bộ cấu trúc liên kết của JTS ), Lin.ear th.inking: Quirks của "Chứa" Dự đoán không gian

1. Hình học A chứa Hình học B nếu không có điểm B nằm ở bên ngoài của A và ít nhất một điểm bên trong của B nằm ở bên trong A
2. Hình học A bao gồm Hình học B nếu không có điểm B nằm ở bên ngoài A

Tất cả những gì cần thiết để xác định điều kiện này là thực hiện so sánh hộp giới hạn đơn giản. Điều này là không thể với chứa, bởi vì ngay cả khi hộp Hình học giới hạn được bao phủ bởi Hình chữ nhật, một thao tác đắt tiền hơn được yêu cầu để kiểm tra xem Hình học có nằm hoàn toàn trong ranh giới của Hình chữ nhật không (trong trường hợp đó là vị ngữ không thành công). Bao gồm "đơn giản hóa" định nghĩa chứa bằng cách làm cho nó tổng quát hơn (bao gồm)

Nếu bạn nhìn vào DE-9IM , bạn có thể thấy đó (T*****FF*)là một trường hợp cụ thể của bìa(T*****FF*, *T****FF*, ***T**FF*)

Ví dụ: định nghĩa chứa hàm ý rằng Đa giác không chứa ranh giới của nó nhưng Đa giác bao phủ ranh giới của nó.