Qualitative Spatial Reasoning Using Topological and Directional Information in OWL

George Christodoulou, Euripides G.M. Petrakis, Sotirios Batsakis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

18 Citations (Scopus)

Abstract

We investigate on potential improvements to reasoning approaches designed for spatial information in OWL. First, we introduce CHOROS, a qualitative spatial reasoning engine for ontologies in OWL. Building upon Pellet Spatial, CHOROS supports consistency checking and query answering for spatial information using Region-Connection Calculus (RCC), but also using the Cone-Shaped Directional (CSD) logic formalism. It works with all RCC and CSD relations in combination with standard RDF/OWL semantic relations in an OWL ontology and can answer SPARQL queries with spatial and non-spatial relations. We also present SOWL, a spatial reasoner for both relation calculi implemented in SWRL and runs under Pellet. We discuss and evaluate possible optimizations of CHOROS and compare its performance with that of SOWL. The experimental results demonstrate that CHOROS runs significantly faster than its respective SWRL implementation in most cases.

Original languageEnglish
Title of host publicationIEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012
EditorsJuan E. Guerrero
PublisherIEEE
Pages596-602
Number of pages7
ISBN (Electronic)9780769549156
ISBN (Print)9781479902279
DOIs
Publication statusPublished - 11 Apr 2013
Externally publishedYes
EventIEEE 24th International Conference on Tools with Artificial Intelligence - Athens, Greece
Duration: 7 Nov 20129 Nov 2012
Conference number: 24

Publication series

NameProceedings - International Conference on Tools with Artificial Intelligence, ICTAI
PublisherIEEE
Volume1
ISSN (Print)1082-3409
ISSN (Electronic)2375-0197

Conference

ConferenceIEEE 24th International Conference on Tools with Artificial Intelligence
Abbreviated titleICTAI 2012
CountryGreece
CityAthens
Period7/11/129/11/12

Fingerprint

Ontology
Cones
Semantics
Engines

Cite this

Christodoulou, G., Petrakis, E. G. M., & Batsakis, S. (2013). Qualitative Spatial Reasoning Using Topological and Directional Information in OWL. In J. E. Guerrero (Ed.), IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012 (pp. 596-602). [6495098] (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; Vol. 1). IEEE. https://doi.org/10.1109/ICTAI.2012.86
Christodoulou, George ; Petrakis, Euripides G.M. ; Batsakis, Sotirios. / Qualitative Spatial Reasoning Using Topological and Directional Information in OWL. IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012. editor / Juan E. Guerrero. IEEE, 2013. pp. 596-602 (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI).
@inproceedings{bee64340270141e49e452b50bf023c1d,
title = "Qualitative Spatial Reasoning Using Topological and Directional Information in OWL",
abstract = "We investigate on potential improvements to reasoning approaches designed for spatial information in OWL. First, we introduce CHOROS, a qualitative spatial reasoning engine for ontologies in OWL. Building upon Pellet Spatial, CHOROS supports consistency checking and query answering for spatial information using Region-Connection Calculus (RCC), but also using the Cone-Shaped Directional (CSD) logic formalism. It works with all RCC and CSD relations in combination with standard RDF/OWL semantic relations in an OWL ontology and can answer SPARQL queries with spatial and non-spatial relations. We also present SOWL, a spatial reasoner for both relation calculi implemented in SWRL and runs under Pellet. We discuss and evaluate possible optimizations of CHOROS and compare its performance with that of SOWL. The experimental results demonstrate that CHOROS runs significantly faster than its respective SWRL implementation in most cases.",
keywords = "direction relations, Pellet, reasoning, spatial ontology, topologic relations",
author = "George Christodoulou and Petrakis, {Euripides G.M.} and Sotirios Batsakis",
year = "2013",
month = "4",
day = "11",
doi = "10.1109/ICTAI.2012.86",
language = "English",
isbn = "9781479902279",
series = "Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI",
publisher = "IEEE",
pages = "596--602",
editor = "Guerrero, {Juan E.}",
booktitle = "IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012",

}

Christodoulou, G, Petrakis, EGM & Batsakis, S 2013, Qualitative Spatial Reasoning Using Topological and Directional Information in OWL. in JE Guerrero (ed.), IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012., 6495098, Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI, vol. 1, IEEE, pp. 596-602, IEEE 24th International Conference on Tools with Artificial Intelligence, Athens, Greece, 7/11/12. https://doi.org/10.1109/ICTAI.2012.86

Qualitative Spatial Reasoning Using Topological and Directional Information in OWL. / Christodoulou, George; Petrakis, Euripides G.M.; Batsakis, Sotirios.

IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012. ed. / Juan E. Guerrero. IEEE, 2013. p. 596-602 6495098 (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; Vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Qualitative Spatial Reasoning Using Topological and Directional Information in OWL

AU - Christodoulou, George

AU - Petrakis, Euripides G.M.

AU - Batsakis, Sotirios

PY - 2013/4/11

Y1 - 2013/4/11

N2 - We investigate on potential improvements to reasoning approaches designed for spatial information in OWL. First, we introduce CHOROS, a qualitative spatial reasoning engine for ontologies in OWL. Building upon Pellet Spatial, CHOROS supports consistency checking and query answering for spatial information using Region-Connection Calculus (RCC), but also using the Cone-Shaped Directional (CSD) logic formalism. It works with all RCC and CSD relations in combination with standard RDF/OWL semantic relations in an OWL ontology and can answer SPARQL queries with spatial and non-spatial relations. We also present SOWL, a spatial reasoner for both relation calculi implemented in SWRL and runs under Pellet. We discuss and evaluate possible optimizations of CHOROS and compare its performance with that of SOWL. The experimental results demonstrate that CHOROS runs significantly faster than its respective SWRL implementation in most cases.

AB - We investigate on potential improvements to reasoning approaches designed for spatial information in OWL. First, we introduce CHOROS, a qualitative spatial reasoning engine for ontologies in OWL. Building upon Pellet Spatial, CHOROS supports consistency checking and query answering for spatial information using Region-Connection Calculus (RCC), but also using the Cone-Shaped Directional (CSD) logic formalism. It works with all RCC and CSD relations in combination with standard RDF/OWL semantic relations in an OWL ontology and can answer SPARQL queries with spatial and non-spatial relations. We also present SOWL, a spatial reasoner for both relation calculi implemented in SWRL and runs under Pellet. We discuss and evaluate possible optimizations of CHOROS and compare its performance with that of SOWL. The experimental results demonstrate that CHOROS runs significantly faster than its respective SWRL implementation in most cases.

KW - direction relations

KW - Pellet

KW - reasoning

KW - spatial ontology

KW - topologic relations

UR - http://www.scopus.com/inward/record.url?scp=84876865068&partnerID=8YFLogxK

U2 - 10.1109/ICTAI.2012.86

DO - 10.1109/ICTAI.2012.86

M3 - Conference contribution

AN - SCOPUS:84876865068

SN - 9781479902279

T3 - Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

SP - 596

EP - 602

BT - IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012

A2 - Guerrero, Juan E.

PB - IEEE

ER -

Christodoulou G, Petrakis EGM, Batsakis S. Qualitative Spatial Reasoning Using Topological and Directional Information in OWL. In Guerrero JE, editor, IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012. IEEE. 2013. p. 596-602. 6495098. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI). https://doi.org/10.1109/ICTAI.2012.86