Institutional Repository [SANDBOX]
Technical University of Crete
EN  |  EL

Search

Browse

My Space

CHOROS 2: Improving the Performance of Qualitative Spatial Reasoning in OWL

Petrakis Evripidis, Mainas Nikolaos

Full record


URI: http://purl.tuc.gr/dl/dias/D6DEA224-0B59-4B2E-A7DF-595CA68AA72A
Year 2014
Type of Item Conference Paper Abstract
License
Details
Bibliographic Citation Nikolaos Mainas, Euripides G.M. Petrakis. (2014, Nov.).CHOROS 2: Improving the performance of qualitative spatial reasoning in OWL. Presented at IEEE International Conference on Tools with Artificial Intelligence.[Online].Available:http://www.intelligence.tuc.gr/~petrakis/publications/CHOROSv2.pdf
Appears in Collections

Summary

We investigate on potential improvements to reasoning methods for topological and directional spatial information in OWL. Building upon path consistency, the new reasoner design, referred to as CHOROS 2, suggests several optimizations forreducing the number of compositions of basic relations and for speeding-up its run-time performance. CHOROS 2 serves also as a framework for a realistic evaluation of several alternative reasoner designs discussed in this paper. Perhaps, one of themost interesting alternatives that deserves further investigation relies on the idea of decomposing directional relations into two smaller sets of basic relations yielding fewer compositions.CHOROS 2 infers all implied relations and detects inconsistencieswhile retaining soundness, completeness and tractability over thesupported relations sets. Experimental results demonstrate thatall variants of CHOROS 2 run up to several times faster thanboth CHOROS 1 (its previous implementation) and SOWL,a spatial reasoner implemented in SWRL which runs underProtege

Services

Statistics