Imposing restrictions over temporal properties in OWL: a rule-based approach

Authors:
Sotiris Batsakis;Euripides G. M. Petrakis
Affiliations:
Department of Electronic and Computer Engineering, Technical University of Crete (TUC), Chania, Greece;Department of Electronic and Computer Engineering, Technical University of Crete (TUC), Chania, Greece
Venue:
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Year:
2012

Citing 5
Cited 0

Exact and approximate reasoning about temporal relations

Computational Intelligence
Practical Reasoning for Expressive Description Logics

LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
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: a framework for handling spatio-temporal information in OWL 2.0

RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Temporal reasoning for supporting temporal queries in OWL 2.0

KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

Introducing the dimension of time in ontologies turns binary relations into ternary which cannot be handled by OWL. Approaches such as the N-ary relations or the 4D-fluents approach discussed in this work, offer satisfactory solutions to this problem. However, data and property semantics are not preserved in the resulting representations nor can they be handled by ordinary reasoners such as Pellet. We propose a rule-based solution to this problem using SWRL.