Расчет соединения регионов

Эта статья включает в себя список общих ссылок , но он остается в значительной степени непроверенным, поскольку в нем отсутствует достаточное количество соответствующих встроенных ссылок . Пожалуйста, помогите улучшить эту статью, добавив более точные цитаты. ( Ноябрь 2016 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения )

Расчет региональных связей ( RCC ) предназначен для качественного пространственного представления и рассуждений . RCC абстрактно описывает регионы (в евклидовом пространстве или в топологическом пространстве ) посредством их возможных отношений друг с другом. RCC8 состоит из 8 основных отношений, которые возможны между двумя регионами:

• отключен (DC)
• внешне подключенный (EC)
• равно (EQ)
• частичное перекрытие (ПО)
• тангенциальная собственная часть (TPP)
• обратная касательная собственная часть (TPPi)
• не касательная собственная часть (NTPP)
• инверсия не касательной собственной части (NTPPi)

Из этих основных отношений можно строить комбинации. Например, собственная часть (ПП) - это объединение ТПП и НТПП.

Аксиомы [ править ]

RCC руководствуется двумя аксиомами. ^[1]

• для любой области x, x соединяется сам с собой
• для любой области x, y, если x соединяется с y, y соединяется с x

Замечание об аксиомах [ править ]

Эти две аксиомы описывают две особенности отношения связи, но не характерную черту отношения связи. ^[2] Например, мы можем сказать, что объект находится на расстоянии менее 10 метров от самого себя, и что если объект A находится на расстоянии менее 10 метров от объекта B, объект B будет менее чем в 10 метрах от объекта A. Итак, отношение «менее 10 метров» также удовлетворяет двум вышеупомянутым аксиомам, но не говорит об отношении соединения в предполагаемом смысле RCC.

Таблица составов [ править ]

Таблица состава RCC8 выглядит следующим образом:

• «*» обозначает универсальное отношение.

Примеры [ править ]

Расчет RCC8 предназначен для рассуждений о пространственных конфигурациях. Рассмотрим следующий пример: два дома соединены дорогой. Каждый дом расположен на собственном участке. Первый дом, возможно, касается границы собственности; второй, конечно же, нет. Что мы можем сделать об отношении второй собственности к дороге?

Пространственная конфигурация может быть формализована в RCC8 как следующая сеть ограничений :

дом1 DC дом2house1 {TPP, NTPP} property1дом1 {DC, EC} property2дом 1 EC дорогадом2 {DC, EC} свойство1дом2 НТЭС недвижимость2дом2 EC дорогасвойство1 {DC, EC} свойство2дорога {DC, EC, TPP, TPPi, PO, EQ, NTPP, NTPPi} свойство1дорога {DC, EC, TPP, TPPi, PO, EQ, NTPP, NTPPi} свойство2

Используя таблицу состава RCC8 и алгоритм согласованности путей , мы можем уточнить сеть следующим образом:

дорога {PO, EC} property1дорога {ПО, ТПП} свойство2

То есть дорога либо перекрывает (PO) property2 , либо является его собственно касательной частью. Но если дорога является касательной собственно частью property2 , то дорога может быть только внешне соединена (EC) с property1 . То есть дорога PO property1 невозможна, когда дорога TPP property2 . Этот факт неочевиден, но его можно вывести, когда мы исследуем согласованные «одноэлементные разметки» сети ограничений. В следующем абзаце кратко описываются одиночные метки.

Во-первых, отметим, что алгоритм согласованности путей также уменьшит возможные свойства между house2 и property1 с {DC, EC} до DC . Таким образом, алгоритм согласованности путей оставляет несколько возможных ограничений на 5 ребрах в сети ограничений. Поскольку каждое из множественных ограничений включает в себя 2 ограничения, мы можем уменьшить сеть до 32 (5 ^ 2) возможных уникальных сетей ограничений, каждая из которых содержит только одиночные метки на каждом ребре ( «одиночные метки »). Однако из 32 возможных одноэлементных меток согласованными являются только 9. (Подробнее см. Qualreas .) Только одна из согласованных одноэлементных меток имеет свойство TPP на краю дороги2 .и такая же маркировка включает в себя дорогу EC property1 .

Другие версии расчета соединений областей включают RCC5 (только с пятью основными отношениями - различие, касаются ли две области друг друга, игнорируются) и RCC23 (что позволяет рассуждать о выпуклости).

Использование RCC8 в GeoSPARQL [ править ]

RCC8 был частично ^{[ требуется пояснение ]} реализован в GeoSPARQL, как описано ниже:

Графическое представление исчисления связей региона (RCC: Randell, Cui and Cohn, 1992) и ссылки на эквивалентное именование Open Geospatial Consortium (OGC) с их эквивалентными URI.

Реализации [ править ]

• GQR является основанием для RCC-5, RCC-8 и RCC-23 (а также других вычислений для пространственных и временных рассуждений)
• qualreas - это среда Python для качественного анализа сетей алгебр отношений, таких как RCC-8, алгебра интервалов Аллена и другие.

Ссылки [ править ]

• Рэнделл, Д.А. Cui, Z; Кон, AG (1992). «Пространственная логика, основанная на регионах и связях». 3-й Int. Конф. о представлении знаний и рассуждении . Морган Кауфманн. С. 165–176.
• Энтони Дж. Кон; Брэндон Беннетт; Джон Гудей; Миколас Марк Готтс (1997). «Качественное пространственное представление и рассуждение с исчислением связи регионов». ГеоИнформатика . 1 (3): 275–316. DOI : 10,1023 / A: 1009712514511 ..
• Ренц, Дж. (2002). Качественные пространственные рассуждения с топологической информацией . Конспект лекций по информатике. 2293 . Springer Verlag. DOI : 10.1007 / 3-540-70736-0 . ISBN 978-3-540-43346-0.
• Донг, Тианси (2008). «Комментарий к RCC: от RCC к RCC⁺⁺». Журнал философской логики . 34 (2): 319–352. DOI : 10.1007 / s10992-007-9074-у . JSTOR  41217909 ..

См. Также [ править ]

• Пространственное отношение
  • ДЭ-9ИМ