Temporal Reasoning with Non-convex Intervals

  • Miguel Bento AlvesEmail author
  • Carlos Viegas Damásio
  • Nuno Correia
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 786)


The time dimension is fundamental to Semantic Web applications for supporting commercial transactions or allowing the retrieval of resources contextualised in time. In this work, we propose an ontology that is an extension to the OWL-Time ontology defining non-convex intervals. We also present temporal operators for non-convex intervals and how to reason with them in our approach. We present a temporal reasoner that is able to reason both with temporal entities encoded with OWL-Time ontology and with non-convex temporal entities.


  1. 1.
  2. 2.
  3. 3.
  4. 4.
    Time Ontology in OWL, September 2006.
  5. 5.
    Allen, J.F.: Towards a general theory of action and time. Artif. Intell. 23(2), 123–154 (1984). doi: 10.1016/0004-3702(84)90008-0 CrossRefzbMATHGoogle Scholar
  6. 6.
    Allen, J.F., Ferguson, G.: Actions and events in interval temporal logic. Technical report, Rochester, NY, USA (1994)Google Scholar
  7. 7.
    Alves, M.B., Damásio, C.V., Correia, N.: RDF query and inference in prolog. In: Ngonga Ngomo, A.-C., Křemen, P. (eds.) KESW 2016. CCIS, vol. 649, pp. 191–201. Springer, Cham (2016). doi: 10.1007/978-3-319-45880-9_15 CrossRefGoogle Scholar
  8. 8.
    Anastasia Analyti, I.P.: A survey on models and query languages for temporally annotated RDF. Int. J. Adv. Comput. Sci. Appl. (IJACSA) 3(9), 28–35 (2012)Google Scholar
  9. 9.
    Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D., Patel-Schneijder, P., Stein, L.A.: Owl web ontology language reference, 10 February 2004.
  10. 10.
    Calejo, M.: InterProlog: towards a declarative embedding of logic programming in Java. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol. 3229, pp. 714–717. Springer, Heidelberg (2004). doi: 10.1007/978-3-540-30227-8_64 CrossRefGoogle Scholar
  11. 11.
    Connolly, D., Miller, L.: RDF calendar — an application of the resource description framework to icalendar data. In: World Wide Web Consortium, September 2005Google Scholar
  12. 12.
    Dawson, F., Stenerson, D.: Internet calendaring and scheduling core object specification (icalendar). Technical report 2445, November 1998.
  13. 13.
    Dodgshon, R.A.: Society in Time and Space: A Geographical Perspective on Change. Cambridge University Press, Cambridge (1998). Google Scholar
  14. 14.
    Gao, S., Sperberg-McQueen, C.M., Thompson, H.S., Mendelsohn, N., Beech, D., Maloney, M.: W3c XML schema definition language (XSD) 1.1 part 1: Structures. WWW Consortium, Working Draft WD-xmlschema11-1-20080620, June 2008Google Scholar
  15. 15.
    Hobbs, J.R., Pan, F.: An ontology of time for the semantic web. ACM Trans. Asian Lang. Inf. Process. 3, 66–85 (2004)CrossRefGoogle Scholar
  16. 16.
    Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: a semantic web rule language combining OWL and RuleML. W3c Member Submission, World Wide Web Consortium (2004)Google Scholar
  17. 17.
    Jena Documentation: Reasoners and rule engines: Jena inference support.
  18. 18.
    Ladkin, P.: Time representation: a taxonomy of interval relations. In: Proceedings of the Sixth National Conference on Artificial Intelligence (1986)Google Scholar
  19. 19.
    Poveda-Villalón, M., Mari Carmen Suárez-Figueroa, A.G.P.: A pattern for periodic intervals, October 2014.
  20. 20.
    Mcbride, B.: Jena: a semantic web toolkit. IEEE Internet Comput. 6(6), 55–59 (2002)CrossRefGoogle Scholar
  21. 21.
    O’Connor, M.J., Das, A.K.: A method for representing and querying temporal information in OWL. In: Fred, A., Filipe, J., Gamboa, H. (eds.) BIOSTEC 2010. CCIS, vol. 127, pp. 97–110. Springer, Heidelberg (2011). doi: 10.1007/978-3-642-18472-7_8 CrossRefGoogle Scholar
  22. 22.
    Pan, F.: A temporal aggregates ontology in owl for the semantic web. In: Proceedings of the AAAI Fall Symposium on Agents and the Semantic Web, Arlington, Virginia, pp. 30–37. AAAI Press (2005)Google Scholar
  23. 23.
    Pan, F.: Representing complex temporal phenomena for the semantic web and natural language. Ph.D. thesis, Los Angeles, CA, USA (2007)Google Scholar
  24. 24.
    Parsia, B., Sirin, E., Grau, B.C., Ruckhaus, E., Hewlett., D.: Cautiously approaching SWRL. Preprint submitted to Elsevier Science (2005).

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Miguel Bento Alves
    • 1
    • 2
    Email author
  • Carlos Viegas Damásio
    • 2
  • Nuno Correia
    • 2
  1. 1.ESTGInstituto Politécnico de Viana do CasteloViana do CasteloPortugal
  2. 2.NOVA-LINCSUniversidade Nova de LisboaCaparicaPortugal

Personalised recommendations