| Title:
| Improving an RCC-Derived Geospatial Approximation by OWL Axioms
|
| Track:
| research
|
| Session:
| OWL
|
| Presenter(s):
| Rolf Grütter, Thomas Scharrenbach, Bettina Bauer-Messmer
|
| Start Time:
| 2008/10/29 11:00:00 AM
|
| End Time:
| 2008/10/29 11:30:00 AM
|
| Description:
| An approach to improve an RCC-derived geospatial approximation is presented which makes use of OWL class inclusion axioms. 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 either of both are provided. The application of the approach to a geospatial setting results in a roughly tenfold improved approximation when using the refined ABox and TBox. Ways to further improve the approximation and to automate the detection of falsely calculated relations are discussed.
|
