Detecting Physical Defects: A Practical 2D-Study of Cracks and Holes

Theoretical work on Qualitative Spatial Reasoning (QSR) is abundant, but the actual requirements of practical applications have been widely ignored. This paper discusses how ontologies allow to compare different QSR formalisms with respect to definability of spatial concepts, which are taken from a realworld problem. We introduce the problem of detecting physically defective parts (such as in manufacturing) and review which qualities are necessary for modeling these as QSR problem. We show that ‐ besides standard mereotopological concepts ‐ a set of artifacts, especially cracks and holes, are of foremost importance in the domain of interest. However, most currently available region-based QSR approaches fail to distinguish these. In the future, the proposed set of problem can be used to evaluate different QSR formalisms for their adequacy with respect to defining and distinguishing cracks and holes.

[1]  Anthony G. Cohn,et al.  Representing and Reasoning with Qualitative Spatial Relations About Regions , 1997 .

[2]  Ian Pratt.  First-order qualitative spatial representation languages with convexity , 1999, Spatial Cogn. Comput..

[3]  Christoph Schlieder,et al.  Reasoning About Ordering , 1995, COSIT.

[4]  Tiansi Dong,et al.  A COMMENT ON RCC: FROM RCC TO RCC++ , 2008, J. Philos. Log..

[5]  Torsten Hahmann,et al.  Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology , 2008, KR.

[6]  Andrew U. Frank,et al.  Spatial Information Theory A Theoretical Basis for GIS , 1993, Lecture Notes in Computer Science.

[7]  M. Gruninger.  Logical foundations of shape-based object recognition , 2000 .

[8]  Robert C. Moore,et al.  Formal Theories of the Commonsense World , 1985 .

[9]  Max J. Egenhofer,et al.  Topological Relations Between Regions with Holes , 1994, Int. J. Geogr. Inf. Sci..

[10]  Johan van Benthem,et al.  Handbook of Spatial Logics , 2007 .

[11]  Bernhard Nebel,et al.  On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus , 1999, Artif. Intell..

[12]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning Techniques , 1997, KI.

[13]  A. Berger,et al.  On the theory of C[alpha]-tests , 1989 .

[14]  Andrew U. Frank,et al.  Qualitative Spatial Reasoning: Cardinal Directions as an Example , 1996, Int. J. Geogr. Inf. Sci..

[15]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning: An Overview , 2001, Fundam. Informaticae.

[16]  Christian Freksa,et al.  Using Orientation Information for Qualitative Spatial Reasoning , 1992, Spatio-Temporal Reasoning.

[17]  中園 薫.  A Qualitative Physics Based on Confluences , 1986 .

[18]  Frederico T. Fonseca,et al.  Using Ontologies for Integrated Geographic Information Systems , 2002, Trans. GIS.

[19]  Kyoung-Yun Kim,et al.  Mereotopological assembly joint information representation for collaborative product design , 2008 .

[20]  S S Stevens,et al.  On the Theory of Scales of Measurement. , 1946, Science.

[21]  Jayant Sharma,et al.  Integrated spatial reasoning in geographic information systems: combining topology and direction , 1996 .

[22]  O. Stock.  Spatial and Temporal Reasoning , 1899 .

[23]  P. Simons.  Parts: A Study in Ontology , 1991 .

[24]  Bowman L. Clarke,et al.  A calculus of individuals based on "connection" , 1981, Notre Dame J. Formal Log..

[25]  Nicola Guarino,et al.  A Pointless Theory of Space Based on Strong Connection and Congruence , 1996, KR.

[26]  Anthony G. Cohn,et al.  A Foundation for Region-based Qualitative Geometry , 2000, ECAI.

[27]  Brandon Bennett,et al.  A Categorical Axiomatisation of Region-Based Geometry , 2001, Fundam. Informaticae.

[28]  Achille C. Varzi,et al.  Holes and Other Superficialities , 1994 .

[29]  Valentin Goranko,et al.  Logical Theories for Fragments of Elementary Geometry , 2007, Handbook of Spatial Logics.

[30]  Achille C. Varzi.  Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology , 1996, Data Knowl. Eng..

[31]  Reinhard Moratz,et al.  Qualitative Spatial Reasoning about Line Segments , 2000, ECAI.

[32]  Bernhard Nebel,et al.  Qualitative Spatial Reasoning Using Constraint Calculi , 2007, Handbook of Spatial Logics.

[33]  Eliseo Clementini,et al.  Qualitative Distances , 1995, COSIT.

[34]  Laure Vieu,et al.  Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology , 1995, IJCAI.

[35]  Daniel R. Montello,et al.  Spatial Information Theory A Theoretical Basis for GIS , 1995, Lecture Notes in Computer Science.

[36]  Roberto Casati,et al.  Parts And Places , 1999 .

[37]  Max J. Egenhofer,et al.  Reasoning about Binary Topological Relations , 1991, SSD.

[38]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

[39]  Ian Pratt-Hartmann,et al.  A Complete Axiom System for Polygonal Mereotopology of the Real Plane , 1998, J. Philos. Log..