Počet připojení k regionu - Region connection calculus

Tento článek obsahuje seznam obecných Reference, ale zůstává z velké části neověřený, protože postrádá dostatečné odpovídající vložené citace. Prosím pomozte zlepšit tento článek představuji přesnější citace. (Listopad 2016) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

The počet připojení regionu (RCC) má sloužit ke kvalitativnímu prostorovému zobrazení a uvažování. RCC abstraktně popisuje regiony (v Euklidovský prostor, nebo v topologický prostor ) jejich případnými vzájemnými vztahy. RCC8 se skládá z 8 základních vztahů, které jsou možné mezi dvěma regiony:

• odpojeno (DC)
• externě připojeno (EC)
• stejný (EQ)
• částečně se překrývající (PO)
• tangenciální správná součást (TPP)
• tangenciální vlastní inverzní část (TPPi)
• netangenciální vlastní část (NTPP)
• netangenciální inverzní vlastní část (NTPPi)

Z těchto základních vztahů lze sestavit kombinace. Například správná část (PP) je spojení TPP a NTPP.

Axiomy

RCC se řídí dvěma axiomy.^[1]

• pro libovolný region se x, x spojuje sám se sebou
• pro libovolnou oblast x, y, pokud se x spojí s y, y se spojí s x

Poznámka k axiomům

Tyto dva axiomy popisují dva rysy spojovacího vztahu, ale ne charakteristický rys spojovacího vztahu.^[2] Například můžeme říci, že objekt je od sebe vzdálen méně než 10 metrů a že pokud je objekt A méně než 10 metrů od objektu B, bude objekt B méně než 10 metrů od objektu A. Takže vztah ' méně než 10 metrů 'také splňuje výše uvedené dva axiomy, ale nemluví o spojovacím vztahu v zamýšleném smyslu RCC.

Složení tabulka

Tabulka složení RCC8 je následující:

• „*“ označuje univerzální vztah.

Příklady

Kalkul RCC8 je určen k uvažování o prostorových konfiguracích. Zvažte následující příklad: dva domy jsou spojeny po silnici. Každý dům se nachází na vlastním pozemku. První dům se možná dotýká hranice nemovitosti; druhý určitě ne. Co můžeme odvodit z vztahu druhé vlastnosti k silnici?

Prostorovou konfiguraci lze v RCC8 formalizovat následovně omezující síť:

house1 DC house2house1 {TPP, NTPP} property1house1 {DC, EC} property2house1 EC roadhouse2 {DC, EC} property1house2 NTPP property2house2 EC roadproperty1 {DC, EC} property2road {DC, EC, TPP, TPPi, PO, EQ, NTPP, NTPPi} vlastnost1road {DC, EC, TPP, TPPi, PO, EQ, NTPP, NTPPi} vlastnost2

Pomocí RCC8 složení tabulka a algoritmus konzistence cesty, můžeme síť vylepšit následujícím způsobem:

road {PO, EC} property1road {PO, TPP} property2

To znamená, že silnice se buď překrývá s druhou vlastností, nebo je dokonce její (tangenciální) částí.

Mezi další verze počtu spojů regionů patří RCC5 (pouze s pěti základními vztahy - rozdíl mezi tím, zda se dva regiony navzájem dotýkají, jsou ignorovány) a RCC23 (což umožňuje uvažování o konvexitě).

Použití RCC8 v GeoSPARQL

RCC8 byl částečně^{[je zapotřebí objasnění ]} implementováno v GeoSPARQL jak je popsáno níže:

Grafické znázornění Region Connection Calculus (RCC: Randell, Cui a Cohn, 1992) a odkazy na ekvivalentní pojmenování Open Geospatial Consortium (OGC) s jejich ekvivalentními URI.

Implementace

• GQR je argumentem pro RCC-5, RCC-8 a RCC-23 (stejně jako další kameny pro prostorové a časové uvažování)

Reference

• Randell, D. A.; Cui, Z; Cohn, A.G. (1992). Msgstr "Prostorová logika založená na regionech a spojení". 3. Int. Konf. o reprezentaci a uvažování znalostí. Morgan Kaufmann. str. 165–176.
• Anthony G. Cohn; Brandon Bennett; John Gooday; Micholas Mark Gotts (1997). "Kvalitativní prostorové zastoupení a uvažování s kalkulem regionálního připojení". GeoInformatica. 1 (3): 275–316. doi:10.1023 / A: 1009712514511..
• Renz, J. (2002). Kvalitativní prostorové uvažování s topologickými informacemi. Přednášky z informatiky. 2293. Springer Verlag. doi:10.1007/3-540-70736-0. ISBN  978-3-540-43346-0.
• Dong, Tiansi (2008). "Komentář k RCC: Od RCC k RCC⁺⁺". Journal of Philosophical Logic. 34 (2): 319–352. doi:10.1007 / s10992-007-9074-r. JSTOR  41217909..

Viz také

• Prostorový vztah
  • DE-9IM