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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Batsakis, S., Petrakis, E.G.M.: SOWL: A Framework for Handling Spatio-Temporal Information in OWL 2.0. In: Bassiliades, N., et al. (eds.) RuleML 2011 - Europe. LNCS, vol. 6826, pp. 242–249. Springer, Heidelberg (2011)
Batsakis, S., Stravoskoufos, K., Petrakis, E.G.M.: Temporal Reasoning for Supporting Temporal Queries in OWL 2.0. In: König, A., Dengel, A., Hinkelmann, K., Kise, K., Howlett, R.J., Jain, L.C. (eds.) KES 2011, Part I. LNCS, vol. 6881, pp. 558–567. Springer, Heidelberg (2011)
Welty, C., Fikes, R.: A Reusable Ontology for Fluents in OWL. Frontiers in Artificial Intelligence and Applications 150, 226–236 (2006)
Renz, J., Nebel, B.: Qualitative Spatial Reasoning using Constraint Calculi. In: Handbook of Spatial Logics, pp. 161–215. Springer, Netherlands (2007)
Horrocks, I., Kutz, O., Sattler, U.: The Even More Irresistible SROIQ. In: Proc. KR 2006, Lake District, UK (2006)
Horrocks, I., Sattler, U., Tobies, S.: Practical Reasoning for Expressive Description Logics. In: Logic for Programming and Automated Reasoning, vol. 1705, pp. 161–180. Springer, Heidelberg (1999)
van Beek, P., Cohen, R.: Exact and approximate reasoning about temporal relations. Computational Intelligence 6(3), 132–147 (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Batsakis, S., Petrakis, E.G.M. (2012). Imposing Restrictions over Temporal Properties in OWL: A Rule-Based Approach. In: Bikakis, A., Giurca, A. (eds) Rules on the Web: Research and Applications. RuleML 2012. Lecture Notes in Computer Science, vol 7438. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32689-9_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-32689-9_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32688-2
Online ISBN: 978-3-642-32689-9
eBook Packages: Computer ScienceComputer Science (R0)