Towards Maintaining Consistency of Spatial Databases Alia I. Abdelmoty and Chris B. Jones Dept. of Computer Studies, University of Glamorgan, Pontypridd, Mid Glamorgan, CF37 1DL, Wales, U.K. email: aiabdel,cbjones@glam.a

First Page		Document Content
Date: 2005-12-13 09:40:57 Cognitive science Cognition Mathematics Computing Knowledge representation Category theory Equivalence of categories Geographic information system Spatial database Object Data model Spatialtemporal reasoning		Towards Maintaining Consistency of Spatial Databases Alia I. Abdelmoty and Chris B. Jones Dept. of Computer Studies, University of Glamorgan, Pontypridd, Mid Glamorgan, CF37 1DL, Wales, U.K. email: aiabdel,cbjones@glam.a Add to Reading List Source URL: users.cs.cf.ac.uk Download Document from Source Website File Size: 185,99 KB Share Document on Facebook

	arXiv:1102.1889v2 [cs.LO] 7 AugOLOGS: A CATEGORICAL FRAMEWORK FOR KNOWLEDGE REPRESENTATION DAVID I. SPIVAK AND ROBERT E. KENT Abstract. In this paper we introduce the olog, or ontology log, a categorytheoretic mod DocID: 1veb1 - View Document
	Knowledge Representation and Reasoning for Mixed-Initiative Planning by George Montague Ferguson Submitted in Partial Fulfillment DocID: 1v9Am - View Document
	SELF-KNOWLEDGE AND SELF-REPRESENTATION John Perry Department of Philosophy and CSLI, Stanford ABSTRACT In t h i s paper I introduce a contrast DocID: 1uTzR - View Document
	Efficient Multi-AUV Cooperation using Semantic Knowledge Representation for Underwater Archaeology Missions Nikolaos Tsiogkas∗ , Georgios Papadimitriou∗ , Zeyn Saigol∗ , David Lane∗ ∗ Ocean DocID: 1uEwE - View Document
	WebQR: Building a Knowledge Representation Application on the Semantic Web Wouter Beek1 , Sander Latour2 , and Stefan Schlobach1 1 VU University Amsterdam DocID: 1uoVZ - View Document