Spatial inference with an interchangeable rule format

Rule interchange between information systems is expanding as new interoperable rule formats are emerging from research. However, existing spatial inference systems generally operate on locally stored data with an internal rule format. Consequently, their design offers little support or facilities for rule interchange. This article presents the requirements, components and design for a spatial inference system with rule interchange. Computational efficiency and overall functionality of the design are considered separately, with the latter demonstrated using encoded agricultural legislation and data. A spatial inference system with rule interchange is based on three primary components: rule representation, spatial functionality and data integration. Of these, the interoperable rule representation and data integration distinctly differ from existing spatial inference systems. The presented inference system combines a spatial superset of the W3C Rule Interchange Format (RIF) with full Open Geospatial Consortium simple feature access (OGC SFA) functionality and on-demand data integration utilising Resource Deception Framework (RDF). The design was found to be effective with a computational efficiency depending predominantly on the spatial operations. This design could be further adapted to implement spatial extensions for existing inference systems. Considerable benefits were also discovered when RIF was used as the native language for the inference engine, thereby removing the need for rule transformations and facilitating on-demand data integration with the GML.

[1]  Vladan Devedzic,et al.  Business Process Integration by Using General Rule Markup Language , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).

[2]  M. J. Egenhofer,et al.  LOBSTER : combining Al and database techniques for GIS , 1990 .

[3]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[4]  Matthew Fisher,et al.  Semantic Web Programming , 2009 .

[5]  Ricardo Lopes,et al.  Spatial-Yap: A Logic-Based Geographic Information System , 2007, ICLP.

[6]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[7]  Christoph Stasch,et al.  Semantic Enablement for Spatial Data Infrastructures , 2010, Trans. GIS.

[8]  Roy Fielding,et al.  Architectural Styles and the Design of Network-based Software Architectures"; Doctoral dissertation , 2000 .

[9]  Adrian Paschke,et al.  Rule Markup Languages and Semantic Web Rule Languages , 2010 .

[10]  Guido Governatori,et al.  Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain , 2009, RuleML.

[11]  Dave Kolas,et al.  Rule‐Based Discovery in Spatial Data Infrastructure , 2007, Trans. GIS.

[12]  Abbas Rajabifard,et al.  Development of an interoperable tool to facilitate spatial data integration in the context of SDI , 2010, Int. J. Geogr. Inf. Sci..

[13]  Ralf Bill,et al.  Towards automated compliance checking based on a formal representation of agricultural production standards , 2011 .

[14]  Pascual González,et al.  Integration of Spatial XML Documents with RDF , 2003, ICWE.

[15]  Sven Schade,et al.  Data Integration in the Geospatial Semantic Web , 2009, J. Cases Inf. Technol..

[16]  Guido Governatori,et al.  Rule-Based Reasoning, Programming, and Applications - 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011. Proceedings , 2011, RuleML Europe.

[17]  Franco Turini,et al.  Integrating knowledge representation and reasoning in Geographical Information Systems , 2004, Int. J. Geogr. Inf. Sci..

[18]  Evren Sirin,et al.  PelletSpatial: A Hybrid RCC-8 and RDF/OWL Reasoning and Query Engine , 2009, OWLED.

[19]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[20]  Alia I. Abdelmoty,et al.  A Framework for Combining Rules and Geo-ontologies , 2007, RR.

[21]  Beng Chin Ooi,et al.  Towards integrated Geographical Information Processing , 1998, Int. J. Geogr. Inf. Sci..

[22]  C. Gotway,et al.  Combining Incompatible Spatial Data , 2002 .

[23]  Kari Koskinen,et al.  A service infrastructure for the representation, discovery, distribution and evaluation of agricultural production standards for automated compliance control , 2012 .

[24]  Michael Kifer,et al.  Rule Interchange on the Web , 2007, Reasoning Web.

[25]  Y. LindaJ. Combining Incompatible Spatial Data , 2003 .

[26]  Ralf Bill,et al.  Applications of open geospatial web services in precision agriculture: a review , 2009, Precision Agriculture.

[27]  Michael Kifer,et al.  Rule Interchange Format: The Framework , 2008, RuleML.

[28]  Chris Webster Rule-based spatial search , 1990, Int. J. Geogr. Inf. Sci..

[29]  Michael Negnevitsky,et al.  Artificial Intelligence: A Guide to Intelligent Systems , 2001 .

[30]  J. V. Stafford,et al.  Implementing precision agriculture in the 21st century. , 2000 .

[31]  Adrian Giurca,et al.  A General Markup Framework for Integrity and Derivation Rules , 2005, Principles and Practices of Semantic Web Reasoning.