![](bg8.png)
Algorithm 2: RCC8 ABox preprocessing.
Given the set OS of SpatialObject individuals
Given a function creating individual names for spatial re-
lations:
SR
Name
: OS × OS → individualName
for all o
1
∈ OS do
for all o
2
∈ OS do
if o
1
= o
2
then
Assert individual: SR
Name
(o
1
, o
2
) : EQ
else
Assert individual: SR
Name
(o
1
, o
2
) : RCC8
end if
end for
end for
of some roles properties in OWL, such as symmetry
or transitivity.
A disadvantage of this approach is the additional
complexity induced by the process of reification,
which causes the creation of n
2
instances of spatial
relations for n geographic objects. Thus, a reasoner
that would be optimized for executing SWRL rules
involving many instances would be required.
However, the interest of our proposal is twofold.
On the one hand, we have demonstrated the feasibil-
ity of the implementation based on OWL and SWRL,
of a complete reasoning for calculating the composi-
tion table of the RCC8 relationships and its transitive
closure. On the other hand, our model integrates the
expression of the RCC8 relationships in terms of the
CM8 computational primitives: this opens interesting
perspectives for the extraction of the topological rela-
tions existing among image objects, in the context of
satellite images recognition. Other sets of primitives
could be included as well.
Furthermore, we plan to implement the CM8 com-
putational primitives, and to integrate them in the im-
age classification software that has been developed in
our research team (the MUSTIC platform
4
).
REFERENCES
Batsakis, S. and Petrakis, E. G. M. (2011). SOWL: A
Framework for Handling Spatio-temporal Information
in OWL 2.0. In RuleML Europe, pages 242–249.
Clementini, E., Felice, P. D., and Oosterom, P. v. (1993).
A small set of formal topological relationships suit-
able for end-user interaction. In Proceedings of the
Third International Symposium on Advances in Spa-
tial Databases, SSD 93, pages 277–295, London, UK.
Springer-Verlag.
Cravero, M., Zanni-Merk, C., de Bertrand de Beuvron, F.,
and Marc-Zwecker, S. (2012). A Description Logics
4
http://icube-bfo.unistra.fr/fr/index.php/Plateformes
Geographical Ontology for Effective Semantic Anal-
ysis of Satellite Images. In 16th International Confer-
ence on Knowledge-Based and Intelligent Information
& Engineering Systems, KES2012, volume 243, pages
1573–1582. IOS Press.
Deng, M., Cheng, T., Chen, X., and Li, Z. (2007). Multi-
level Topological Relations Between Spatial Regions
Based Upon Topological Invariants. GeoInformatica,
11:239–267.
Egenhofer, M. J. (1989). A Formal Definition of Binary
Topological Relationships. In Litwin, W. and Schek,
H., editors, Foundations of Data Organization and
Algorithms, FODO 1989, Paris, France, LNCS 367,
pages 457–472. Springer Verlag.
Grau, B. C., Horrocks, I., Motik, B., Parsia, B., Patel-
Schneider, P., and Sattler, U. (2008). OWL 2: The
next step for OWL. Web Semantics: Science, Services
and Agents on the World Wide Web, 6(4):309 – 322.
Semantic Web Challenge 2006/2007.
Hogenboom, F., Borgman, B., Frasincar, F., and Kaymak,
U. (2010). Spatial Knowledge Representation on the
Semantic Web. In Proceedings of the 2010 IEEE
Fourth International Conference on Semantic Com-
puting, ICSC’10, pages 252–259, Washington, DC,
USA. IEEE Computer Society.
Horrocks, I., Patel-Schneider, P. F., Boley, H., Tabet, S.,
Grosof, B., and Dean, M. (2004). SWRL: A Semantic
Web Rule Language Combining OWL and RuleML.
W3c member submission, World Wide Web Consor-
tium.
Jitkajornwanich, K., Elmasri, R., Li, C., and McEnery, J.
(2011). Formalization of 2-D spatial ontology and
OWL/Prot
´
eg
´
e realization. In Proceedings of the In-
ternational Workshop on Semantic Web Information
Management, SWIM’11, pages 9:1–9:7, New York,
NY, USA. ACM.
Katz, Y. and Grau, B. C. (2005). B.C.: Representing Qual-
itative Spatial Information in OWL-DL. In Proceed-
ings of OWL: Experiences and Directions.
Le Ber, F. and Napoli, A. (2003). Design and comparison
of lattices of topological relations for spatial represen-
tation and reasoning. Journal of Experimental & The-
oretical Artificial Intelligence, 15(3):331–371.
Randell, D. A., Cui, Z., and Cohn, A. G. (1992). A spatial
logic based on regions and connection. In Proceedings
3rd International Conference on Knowedge Represen-
tation and Reasoning.
Wessel, M. (2001). Obstacles on the Way to Qualitative
Spatial Reasoning with Description Logics: Some
Undecidability Results. In Proceedings of the In-
ternational Workshop in Description Logics 2001
(DL2001), pages 96–105.
QualitativeSpatialReasoninginRCC8withOWLandSWRL
221