Exact and approximate reasoning about temporal relations
Computational Intelligence
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
IEEE Transactions on Knowledge and Data Engineering
Knowledge Engineering in a Temporal Semantic Web Context
ICWE '08 Proceedings of the 2008 Eighth International Conference on Web Engineering
Web Semantics: Science, Services and Agents on the World Wide Web
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
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
Towards a unifying approach to representing and querying temporal data in description logics
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
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
Hi-index | 0.00 |
We propose an approach for reasoning and querying over temporal information in OWL ontologies. Representing both qualitative temporal (i.e., information whose temporal extents are unknown such as "before", "after" for temporal relations) in addition to quantitative information (i.e., where temporal information is defined precisely e.g., using dates) is a distinctive feature of the proposed ontology. Qualitative representations are very common in natural language expressions such as in free text or speech and can be proven to be valuable in the Semantic Web. Reasoning rules applying over temporal relations, infer implied relations, detect inconsistencies and retain soundness, completeness and tractability over the supported sets of relations using path consistency. Temporal representations are defined on time instants rather than on intervals (as it is typical in the literature), resulting into simpler yet equivalent representations. A SPARQL-based temporal query language capable of exploiting the characteristics of the underlying representation is also implemented and discussed.