Imposing Restrictions over Temporal Properties in OWL: A Rule-Based Approach

  • Sotiris Batsakis
  • Euripides G. M. Petrakis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7438)

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.

Keywords

Temporal Relation Property Semantic SPARQL Query Cardinality Restriction Intended Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)Google Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    Welty, C., Fikes, R.: A Reusable Ontology for Fluents in OWL. Frontiers in Artificial Intelligence and Applications 150, 226–236 (2006)Google Scholar
  4. 4.
    Renz, J., Nebel, B.: Qualitative Spatial Reasoning using Constraint Calculi. In: Handbook of Spatial Logics, pp. 161–215. Springer, Netherlands (2007)CrossRefGoogle Scholar
  5. 5.
    Horrocks, I., Kutz, O., Sattler, U.: The Even More Irresistible SROIQ. In: Proc. KR 2006, Lake District, UK (2006)Google Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    van Beek, P., Cohen, R.: Exact and approximate reasoning about temporal relations. Computational Intelligence 6(3), 132–147 (1990)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Sotiris Batsakis
    • 1
  • Euripides G. M. Petrakis
    • 1
  1. 1.Department of Electronic and Computer EngineeringTechnical University of Crete (TUC)ChaniaGreece

Personalised recommendations