2008
DOI: 10.1007/978-3-540-88564-1_19
|View full text |Cite
|
Sign up to set email alerts
|

Improving an RCC-Derived Geospatial Approximation by OWL Axioms

Abstract: Abstract. An approach to improve an RCC-derived geospatial approximation is presented which makes use of concept inclusion axioms in OWL. The algorithm used to control the approximation combines hypothesis testing with consistency checking provided by a knowledge representation system based on description logics. Propositions about the consistency of the refined ABox w.r.t. the associated TBox when compared to baseline ABox and TBox are made. Formal proves of the divergent consistency results when checking eit… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
18
0

Year Published

2008
2008
2022
2022

Publication Types

Select...
6
3

Relationship

1
8

Authors

Journals

citations
Cited by 19 publications
(18 citation statements)
references
References 9 publications
0
18
0
Order By: Relevance
“…RCC is an axiomatization in first order logic of certain spatial concepts and relations: partially overlaps (po), proper part (pp), inverse of proper part (ppi), and so forth. RCC semantics cannot be fully represented with ontologies [50], but typical reasoning engines provide support for them through an extended processing layer. Additional abstract spatial relations are defined inside the scene model; e.g., close to (between vessels or vessels and facilities) and aligned to (between vessels and channel navigation direction).…”
Section: Representation Of Vessel Characteristics and Harbor Areasmentioning
confidence: 99%
“…RCC is an axiomatization in first order logic of certain spatial concepts and relations: partially overlaps (po), proper part (pp), inverse of proper part (ppi), and so forth. RCC semantics cannot be fully represented with ontologies [50], but typical reasoning engines provide support for them through an extended processing layer. Additional abstract spatial relations are defined inside the scene model; e.g., close to (between vessels or vessels and facilities) and aligned to (between vessels and channel navigation direction).…”
Section: Representation Of Vessel Characteristics and Harbor Areasmentioning
confidence: 99%
“…RCC (Region Connection Calculus) is a logic-based formalism to symbolically represent and reason with topological relations between objects (Randell, Cui, & Cohn, 1992). RCC semantics cannot be directly represented with OWL (Katz & Cuenca Grau, 2005;Grüntter, Scharrenbach, & Bauer-Messmer, 2008), but RACER offers ad hoc support for them. Specifically, RACER supports the RCC-8 subset through the definition of an additional layer (substratum) and the use of special query symbols.…”
Section: Spatial and Temporal Reasoningmentioning
confidence: 99%
“…Ontologies do not directly support spatial reasoning, which has given rise to the development of joint approaches that incorporate suitable additional constructors [42,43]. One of the most used is the Region Connection Calculus (RCC), a logic theory for qualitative spatial knowledge representation and reasoning [44,45].…”
Section: Spatial Reasoningmentioning
confidence: 99%