Maintaining knowledge about temporal intervals
Communications of the ACM
Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
IEEE Transactions on Knowledge and Data Engineering
Applied Temporal RDF: Efficient Temporal Querying of RDF Data with SPARQL
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
A Reusable Ontology for Fluents in OWL
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
SOWL: spatio-temporal representation, reasoning and querying over the semantic web
Proceedings of the 6th International Conference on Semantic Systems
Standards for complex event processing and reaction rules
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Imposing restrictions over temporal properties in OWL: a rule-based approach
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Reasoning over 2d and 3d directional relations in OWL: a rule-based approach
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Continuum: a spatiotemporal data model to represent and qualify filiation relationships
Proceedings of the 4th ACM SIGSPATIAL International Workshop on GeoStreaming
Hi-index | 0.00 |
We propose SOWL, an ontology for representing and reasoning over spatio-temporal information in OWL. Building upon well established standards of the semantic web (OWL 2.0, SWRL) SOWL enables representation of static as well as of dynamic information based on the 4D-fluents (or, equivalently, on the N-ary) approach. Both RCC- 8 topological and cone-shaped directional relations are integrated in SOWL. Representing both qualitative temporal and spatial information (i.e., information whose temporal or spatial extents are unknown such as "left-of" for spatial and "before" for temporal relations) in addition to quantitative information (i.e., where temporal and spatial information is defined precisely) is a distinctive feature of SOWL. The SOWL reasoner is capable of inferring new relations and checking their consistency, while retaining soundness, completeness, and tractability over the supported sets of relations.