Specification of an Ontology for Route Graphs

There is described an exposure frame for aligning and holding photomasks in registration with a printed circuit board coated with a light sensitive material. The printed circuit board is held between an independently adjustable mounting strip and slides. A contact strip is floated on the mounting strip by a spring mounting to permit the slides to position the printed circuit board relative to the photomask. The photomask, in turn, is mounted on the adjustable mounting strip. This facilitates good registration between the board and mask.

[1]  Robert J. Ross,et al.  A Safe and Robust Approach to Shared-Control via Dialogue , 2004 .

[2]  Achille C. Varzi,et al.  Formal Ontology in Information Systems : proceedings of the Third International Conference (FOIS-2004) , 2004 .

[3]  Markus Roggenbach,et al.  MultiMedia Instruction in Safe and Secure Systems , 2002, WADT.

[4]  Wilfried Brauer,et al.  Spatial Cognition II , 2000, Lecture Notes in Computer Science.

[5]  Hans-Otto Carmesin,et al.  A Taxonomy of Spatial Knowledge for Navigation and its Application to the Bremen Autonomous Wheelchair , 1998, Spatial Cognition.

[6]  Asunción Gómez-Pérez,et al.  A Roadmap to Ontology Specification Languages , 2000, EKAW.

[7]  Till Mossakowski,et al.  Specification of ontologies in C ASL * , 2004 .

[8]  Till Mossakowski,et al.  Ontologies for the Semantic Web in Casl , 2004, WADT.

[9]  Michael F. Goodchild,et al.  Foundations of Geographic Information Science , 2003 .

[10]  Reinhard Moratz,et al.  Spatial Reasoning about Relative Orientation and Distance for Robot Exploration , 2003, COSIT.

[11]  Dieter Hutter,et al.  The Development Graph Manager MAYA , 2002, AMAST.

[12]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[13]  Jan Oliver Wallgrün,et al.  Autonomous Construction of Hierarchical Voronoi-Based Route Graph Representations , 2004, Spatial Cognition.

[14]  Peter D. Mosses,et al.  Casl Reference Manual , 2004, Lecture Notes in Computer Science.

[15]  John A. Bateman,et al.  Towards Dialogue Based Shared Control of Navigating Robots , 2004, Spatial Cognition.

[16]  Tobias Nipkow,et al.  A Proof Assistant for Higher-Order Logic , 2002 .

[17]  Christoph Lüth,et al.  Semantic Interrelation of Documents via an Ontology , 2004, DeLFI.

[18]  Udo Frese,et al.  A Discussion of Simultaneous Localization and Mapping , 2006, Auton. Robots.

[19]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[20]  Andrei Voronkov,et al.  Automated Deduction—CADE-18 , 2002, Lecture Notes in Computer Science.

[21]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[22]  Nicola Guarino,et al.  Sweetening Ontologies with DOLCE , 2002, EKAW.

[23]  David M. Mark,et al.  Spatial Information Theory. Foundations of Geographic Information Science , 2001 .

[24]  Christoph Weidenbach,et al.  SPASS version 2.0 , 2002 .

[25]  Peter D. Mosses,et al.  CASL: the Common Algebraic Specification Language , 2002, Theor. Comput. Sci..

[26]  Asunción Gómez-Pérez,et al.  Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web , 2002, Lecture Notes in Computer Science.

[27]  Bernd Krieg-Brückner,et al.  Modelling Navigational Knowledge by Route Graphs , 2000, Spatial Cognition.

[28]  Martin Wirsing,et al.  Extraction of Structured Programs from Specification Proofs , 1999, WADT.

[29]  John A. Bateman,et al.  Modelling Models of Robot Navigation Using Formal Spatial Ontology , 2004, Spatial Cognition.

[30]  Wilfried Brauer,et al.  Spatial Cognition III , 2003, Lecture Notes in Computer Science.