2009 · 82 citations · 10 references
ComputingComputer ScienceGeoinformaticsGeographic Information SystemsKnowledge RepresentationLogicDescription LogicsFormal OntologyOntology EngineeringQuery ProcessingSpatial Knowledge RepresentationSpatial RelationsGeospatial Ontology EngineeringGeospatial Semantic ReasoningPath ConsistencyQualitative Spatial ReasoningQuery AnsweringSpatial Data TypesSpatial Description LogicsSpatial Logic
Abstract. In this paper, we present PelletSpatial, a qualitative spatial reasoning engine implemented on top of Pellet. PelletSpatial provides consistency checking and query answering over spatial data represented with the Region Connection Calculus (RCC). It supports all RCC-8 rela-tions as well as standard RDF/OWL semantic relations, both represented in RDF/OWL. As such, it can answer mixed SPARQL queries over both relation types. PelletSpatial implements two RCC reasoners: (a) A rea-soner based on the semantics preserving translation of RCC relations to OWL-DL class axioms and (b) a reasoner based on the RCC compo-sition table that implements a path-consistency algorithm. We discuss the details of two implementation approaches and focus on some of their respective advantages and disadvantages. 1
10
Consistency in networks of relations
Alan K. Mackworth · Artificial Intelligence · 1977 · 2.4K citations
A Spatial Logic based on Regions and Connection.
David Randell, Zhanfeng Cui, Anthony G. Cohn · 1992 · 1.9K citations
Computing, Geoinformatics, Geographic Information Science +11
SPARQL-DL: SPARQL Query for OWL-DL
Evren Sirin, Bijan Parsia · 2007 · 232 citations