PelletSpatial: A hybrid RCC-8 and RDF/OWL reasoning and query engine

CEUR Workshop Proceedings

Volumn 529, Issue , 2009, Pages

  Stocker, Markus ^a   Sirin, Evren ^b  

^a UNIVERSITY OF EASTERN FINLAND   (Finland)

^b Clark and Parsia   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPOSITION TABLES; CONSISTENCY CHECKING; IMPLEMENTATION APPROACH; PATH CONSISTENCY; QUALITATIVE SPATIAL REASONING; QUERY ANSWERING; REGION CONNECTION CALCULUS; SEMANTIC RELATIONS;

ENGINES;

BIRDS;

EID: 84891455767     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2nd Edition, 2007.
2. B. Bennet. Knowledge Representation and Reasoning: Compositional Reasoning, 2007. Lecture notes, School of Computing, University of Leeds.
3. Z. Gantner, M. Westphal, and S. Ẅolfl. GQR - A Fast Reasoner for Binary Qualitative Constraint Calculi. In Proc. of AAAI'08 Workshop on Spatial and Temporal Reasoning, Chicago, 2008.
4. R. Gr̈utter and B. Bauer-Messmer. Combining OWL with RCC for Spatioterminological Reasoning on Environmental Data. In Proc. of 3rd OWL: Experiences and Directions (OWLED2007), 2007.
5. R. Gr̈utter and B. Bauer-Messmer. Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture. In Lecture Notes in Geoinformation and Cartography, Springer, Berlin Heidelberg, 2007.
6. V. Haarslev, C. Lutz, and R. M̈oller. Foundations of Spatioterminological Reasoning with Description Logics. In Proc. of 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR98), pages 112-123, 1998.
7. Y. Katz and B. Cuenca Grau. Representing Qualitative Spatial Information in OWL-DL. In Proc. of 1st OWL: Experiences and Directions Workshop (OWLED2005), Galway, Ireland, 2005.
8. A. Mackworth. Consistency in Networks of Relations. Artificial Intelligence, 8(1):99-118, 1977.
9. W. Nutt. On the translation of qualitative spatial reasoning problems into modal logics. In Proc. of the 23rd Annual German Conf. on AI (KI99), 1999.
10. B. Parsia and E. Sirin. Pellet: An OWL DL Reasoner. In Proc. of Int. Workshop on Description Logics (DL2004), 2004.
11. D. Randell, Z. Cui, and A. Cohn. A Spatial Logic based on Regions and Connections. In Proc. of 3rd Principles of Knowledge Representation and Reasoning (KR92), pages 165-176, San Mateo, CA, USA, 1992.
12. J. Renz and B. Nebel. Efficient Methods for Qualitative Spatial Reasoning. In Proc. of the 13th European Conference on Artificial Intelligence (ECAI98), 1998.
13. D. Tsarkov and I. Horrocks. FaCT++ description logic reasoner: System description. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR06), 2006.
14. P. van Beek and D. W. Manchak. The Design and Experimental Analysis of Algorithms for Temporal Reasoning. JAIR, 4:1-18, 1996.
15. J. O. Wallgr̈un, L. Frommberger, D. Wolter, F. Dylla, and C. Freksa. Qualitative Spatial Representation and Reasoning in the SparQ-Toolbox.
16. M. Wessel. On Spatial Reasoning with Description Logics. In Proc. of Int. Workshop on Description Logics (DL2002), pages 156-163, 2002.
17. M. Westphal and S. Ẅolfl. Confirming the QSR Promise. In AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems. AAAI Press, 2009.