Representing qualitative spatial information in OWL-DL

CEUR Workshop Proceedings

Volumn 188, Issue , 2005, Pages

  Katz, Yarden ^a   Grau, Bernardo Cuenca ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (8)

1. Nutt, Werner. On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics. In Proc. of 23rd Ann. German Conf. on AI (1999) 113-124.
2. Lutz, Carsten, and Milicic, Maja. A Tableau Algorithm for Description Logics with Concrete Domains and GCIs In Proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2005, LNAI, Koblenz, Germany, 2005. Springer
3. Sattler, U., Calvanese D., and Molitor R. Relationships with Other Formalisms. In the Description Logic Handbook: Theory, Practice and Implementation, 2003.
4. Kutz, O., Lutz, C., Wolter, F., and Zakharyaschev M. E-Connections of Abstranct Description Systems. Art. Intel. (2004)
5. Cuenca-Grau, B., Parsia, B. and Sirin, E. Combining OWL Ontologies Using ε-Connections. Elsevier's Journal of Web Semantics (to appear)
6. Bennett, B. Spatial Reasoning with Propositional Logic. In Proc. of 4th Intl Conf on KR and Reasoning (KR-94), 1994.
7. Renz, J. A Canonical Model of the Region Connection Calculus. Journal of Applied Non-Classical Logics, 12(3-4), 469-494, 2002.
8. Wolter, F. and Zakharyaschev M. Spatial Reasoning in RCC-8 with Boolean Region Terms. In Proc. of 14h Eur. Conf. on AI (ECAI-2000)