Skip to main content
SpringerLink
Log in

Query Answering Over Ontologies in the Extended Allen’s Interval Logic

  • Conference paper
  • First Online:
Proceedings of the First International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’16)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 450))

  • 999 Accesses

Abstract

We introduce the extended Allen’s interval logic whose sentences are Boolean combinations of sentences of Allen’s interval logic with metrical information, and define, for this logic, the deduction method based on analytical tableaux. We applied the method to query answering over interval ontologies specified in the extended Allen’s logic.

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

Access this chapter

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 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.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

Institutional subscriptions

References

  1. Allen, J.A.: Maintaining knowledge about temporal intervals. Commun. ACM 20(11), 832–843 (1983)

    Article  MATH  Google Scholar 

  2. D’Aggostino, M., Gabbay D., Hahnle R., Possega J. (eds.): Handbook of Tableaux Methods, p. 672. Kluwer Academic Publishers, Dortrecht (1999)

    Google Scholar 

  3. Fisher, M., Gabbay, D., Vila, L. (eds.): Handbook of Temporal Reasoning in Artificial Intelligence, vol. 1. Elsevier Science Inc. (2005)

    Google Scholar 

  4. Gagne, S., Trudel, D.: A Temporal Semantics for Workflow Control Patterns. In: 2008 32nd Annual IEEE International Computer Software and Application Conference (COMPSAC’08), pp. 999–1004. IEEE Computer Society, Washington, USA (2008)

    Google Scholar 

  5. O’Connor, M., Das, A.: A method for Representing and Querying Temporal Information in OWL. In: 3th International Joint Conference BIOSTEC 2010, pp. 97–110, Valencia, Spain, no. 127 in Communications in Computer and Information Science, Springer (2011)

    Google Scholar 

  6. Okeo, G., Chen, L., Wang, Y., Sterritt, R.: A Hybrid and Temporal Approach for Composite Activity Modeling. In: 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communication (TrustCom 2012), pp. 1763–1770, Liverpool, UK, June 25–27, 2012, IEEE Computer Society (2012)

    Google Scholar 

  7. van der Aalst, W., van Hee, K.: Workflow Management Models, Methods, and Systems, p. 53. The MIT Press, Cambridge, Massachusetts London (2002)

    Google Scholar 

  8. Wang, Y., Fan, Y.: Using Temporal Logics for Modeling and Analysis of Workflows. In: IEEE International Conference on E-Commerce Technology for Dynamic E-Business, pp. 163–174. IEEE Computer Society, Beijing (2004)

    Google Scholar 

Download references

Acknowledgment

This work was supported by Russian Foundation for Basic Research (project 14-07-0387) and Ministry of Education and Science of Kazakhstan (project0115 RK 00532)

Author information

Authors and Affiliations

  1. National Research University MPEI, Moscow, Russia

    Gerald S. Plesniewicz

Authors
  1. Gerald S. Plesniewicz
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Gerald S. Plesniewicz .

Editor information

Editors and Affiliations

  1. Sci N/w for Innova and Research Exc, Machine Intelligence Research Labs, Auburn, Washington, USA

    Ajith Abraham

  2. Rostov State Transport University, Rostov-on-Don, Russia

    Sergey Kovalev

  3. Bauman Moscow State Technical University, Moscow, Russia

    Valery Tarassov

  4. Institute of Mathematics, VŠB-Technical University of Ostrava, Ostrava, Czech Republic

    Václav Snášel

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Plesniewicz, G.S. (2016). Query Answering Over Ontologies in the Extended Allen’s Interval Logic. In: Abraham, A., Kovalev, S., Tarassov, V., Snášel, V. (eds) Proceedings of the First International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’16). Advances in Intelligent Systems and Computing, vol 450. Springer, Cham. https://doi.org/10.1007/978-3-319-33609-1_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-33609-1_16

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-33608-4

  • Online ISBN: 978-3-319-33609-1

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation