Skip to main content
SpringerLink
Log in
Book cover

International Conference on Knowledge Engineering and the Semantic Web

KESW 2017: Knowledge Engineering and Semantic Web pp 127–142Cite as

Temporal Reasoning with Non-convex Intervals

  • Conference paper
  • First Online:

  • 730 Accesses

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 786))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Jena. http://jena.apache.org/

  2. RDF calendar documentation. https://www.w3.org/wiki/RdfCalendarDocumentation

  3. Timeline ontology. http://motools.sourceforge.net/timeline/timeline.html

  4. Time Ontology in OWL, September 2006. http://www.w3.org/TR/owl-time

  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

    Article  MATH  Google Scholar 

  6. Allen, J.F., Ferguson, G.: Actions and events in interval temporal logic. Technical report, Rochester, NY, USA (1994)

    Google Scholar 

  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

    Chapter  Google Scholar 

  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. 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. http://www.w3.org/TR/owl-ref/

  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

    Chapter  Google Scholar 

  11. Connolly, D., Miller, L.: RDF calendar — an application of the resource description framework to icalendar data. In: World Wide Web Consortium, September 2005

    Google Scholar 

  12. Dawson, F., Stenerson, D.: Internet calendaring and scheduling core object specification (icalendar). Technical report 2445, November 1998. http://www.ietf.org/rfc/rfc2445.txt

  13. Dodgshon, R.A.: Society in Time and Space: A Geographical Perspective on Change. Cambridge University Press, Cambridge (1998). http://www.worldcat.org/isbn/0521596408

    Google Scholar 

  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 2008

    Google Scholar 

  15. Hobbs, J.R., Pan, F.: An ontology of time for the semantic web. ACM Trans. Asian Lang. Inf. Process. 3, 66–85 (2004)

    Article  Google Scholar 

  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. Jena Documentation: Reasoners and rule engines: Jena inference support. http://jena.apache.org/documentation/inference/

  18. Ladkin, P.: Time representation: a taxonomy of interval relations. In: Proceedings of the Sixth National Conference on Artificial Intelligence (1986)

    Google Scholar 

  19. Poveda-Villalón, M., Mari Carmen Suárez-Figueroa, A.G.P.: A pattern for periodic intervals, October 2014. http://www.semantic-web-journal.net/system/files/swj897.pdf

  20. Mcbride, B.: Jena: a semantic web toolkit. IEEE Internet Comput. 6(6), 55–59 (2002)

    Article  Google Scholar 

  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

    Chapter  Google Scholar 

  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. Pan, F.: Representing complex temporal phenomena for the semantic web and natural language. Ph.D. thesis, Los Angeles, CA, USA (2007)

    Google Scholar 

  24. Parsia, B., Sirin, E., Grau, B.C., Ruckhaus, E., Hewlett., D.: Cautiously approaching SWRL. Preprint submitted to Elsevier Science (2005). http://www.mindswap.org/papers/CautiousSWRL.pdf

Download references

Author information

Authors and Affiliations

  1. ESTG, Instituto Politécnico de Viana do Castelo, 4900-348, Viana do Castelo, Portugal

    Miguel Bento Alves

  2. NOVA-LINCS, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    Miguel Bento Alves, Carlos Viegas Damásio & Nuno Correia

Authors
  1. Miguel Bento Alves
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carlos Viegas Damásio
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Nuno Correia
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Miguel Bento Alves .

Editor information

Editors and Affiliations

  1. West Pomeranian University of Technology in Szczecin, Szczecin, Poland

    Przemysław Różewski

  2. University of Bonn, Bonn, Germany

    Christoph Lange

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Bento Alves, M., Viegas Damásio, C., Correia, N. (2017). Temporal Reasoning with Non-convex Intervals. In: Różewski, P., Lange, C. (eds) Knowledge Engineering and Semantic Web. KESW 2017. Communications in Computer and Information Science, vol 786. Springer, Cham. https://doi.org/10.1007/978-3-319-69548-8_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-69548-8_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-69547-1

  • Online ISBN: 978-3-319-69548-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation