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 language | English |
|---|---|
| Title of host publication | IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012 |
| Editors | Juan E. Guerrero |
| Publisher | IEEE |
| Pages | 596-602 |
| Number of pages | 7 |
| ISBN (Electronic) | 9780769549156 |
| ISBN (Print) | 9781479902279 |
| DOIs | |
| Publication status | Published - 11 Apr 2013 |
| Externally published | Yes |
| Event | IEEE 24th International Conference on Tools with Artificial Intelligence - Athens, Greece Duration: 7 Nov 2012 → 9 Nov 2012 Conference number: 24 |
Publication series
| Name | Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI |
|---|---|
| Publisher | IEEE |
| Volume | 1 |
| ISSN (Print) | 1082-3409 |
| ISSN (Electronic) | 2375-0197 |
Conference
| Conference | IEEE 24th International Conference on Tools with Artificial Intelligence |
|---|---|
| Abbreviated title | ICTAI 2012 |
| Country/Territory | Greece |
| City | Athens |
| Period | 7/11/12 → 9/11/12 |