Extending Qualitative Spatial Theories with Emergent Spatial Concepts - An Automated Reasoning Approach.
作者： Joaquín Borrego-Díaz , Gonzalo A. Aranda-Corral , Antonia M. Chávez-González
DOI:
关键词: Computer science 、 Qualitative reasoning 、 Management science 、 Automated reasoning
摘要:
参考文章(17)
Joaquín Borrego-Díaz, Antonia M. Chávez-González, Mónica A. Martín-Pérez, José A. Zamora-Aguilera, Semantic Geodemography and Urban Interoperability metadata and semantics research. pp. 1- 12 ,(2012) , 10.1007/978-3-642-35233-1_1
Joaquín Borrego-Díaz, Antonia M. Chávez-González, Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies international semantic web conference. pp. 315- 329 ,(2008) , 10.1007/978-3-540-89765-1_18
Markus Knauff, Reinhold Rauh, Jochen Renz, A Cognitive Assessment of Topological Spatial Relations: Results from an Empirical Investigation conference on spatial information theory. pp. 193- 206 ,(1997) , 10.1007/3-540-63623-4_51
Rolf Grütter, Thomas Scharrenbach, Bettina Bauer-Messmer, Improving an RCC-Derived Geospatial Approximation by OWL Axioms international semantic web conference. pp. 293- 306 ,(2008) , 10.1007/978-3-540-88564-1_19
Jochen Renz, Qualitative Spatial Reasoning with Topological Information ,(2002)
Daniel Hernandez, Qualitative representation of spatial knowledge ,(1994)
Thomas Bittner, John G. Stell, Rough Sets in Approximate Spatial Reasoning Lecture Notes in Computer Science. pp. 445- 453 ,(2000) , 10.1007/3-540-45554-X_55
Joaquín Borrego-Díaz, Antonia M. Chávez-González, Extension of ontologies assisted by automated reasoning systems computer aided systems theory. pp. 247- 253 ,(2005) , 10.1007/11556985_33
Joaquín Borrego-Díaz, Antonia M. Chávez-González, Visual Ontology Cleaning: Cognitive Principles and Applicability Lecture Notes in Computer Science. pp. 317- 331 ,(2006) , 10.1007/11762256_25
D. A. Randell, A. G. Cohn, Z. Cui, Computing Transivity Tables: A Challenge For Automated Theorem Provers conference on automated deduction. pp. 786- 790 ,(1992) , 10.1007/3-540-55602-8_225