Skip to main content
SpringerLink
Log in

f-\(\mathcal {ALC}\)(D)-LTL: A Fuzzy Spatio-Temporal Description Logic

  • Conference paper
  • First Online:
Knowledge Science, Engineering and Management (KSEM 2017)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10412))

Abstract

In order to achieve representation and reasoning of fuzzy spatio-temporal knowledge on the Semantic Web, in this paper, we propose a fuzzy spatio-temporal description logic f-\(\mathcal {ALC}\)(D)-LTL that extends spatial fuzzy description logic f-\(\mathcal {ALC}\)(D) with linear temporal logic (LTL). Firstly, we give a formal definition of syntax, semantics of the f-\(\mathcal {ALC}\)(D)-LTL. Then, we propose a tableau algorithm for reasoning fuzzy spatio-temporal knowledge, i.e., determining satisfiability problem of f-\(\mathcal {ALC}\)(D)-LTL formula. Finally, we show the termination, soundness, and completeness of the tableau algorithm.

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 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

Institutional subscriptions

References

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

    Article  MATH  Google Scholar 

  2. Artale, A., Franconi, E.: A temporal description logic for reasoning about actions and plans. J. Artif. Intell. Res. 9(1), 463–506 (1998)

    MathSciNet  MATH  Google Scholar 

  3. BenAri, M.: Mathematical Logic for Computer Science. Springer, London (2012). doi:10.1007/978-1-4471-4129-7

    Book  Google Scholar 

  4. Cristani, M., Gabrielli, N.: Practical issues of description logics for spatial reasoning. In: Proceedings of the 2009 AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, pp. 5–10 (2009)

    Google Scholar 

  5. Gaintzarain, J., Hermo, M., Lucio, P., Navarro, M.: Systematic semantic tableaux for PLTL. Electron. Notes Theor. Comput. Sci. 206, 59–73 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  6. Galton, A.: Spatial and temporal knowledge representation. Earth Sci. Inf. 2(3), 169–187 (2009)

    Article  Google Scholar 

  7. Goranko, V., Shkatov, D.: Tableau-based decision procedures for logics of strategic ability in multiagent systems. ACM Trans. Comput. Logic 11(1), 1–51 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  8. Haarslev, V., Lutz, C., Moller, R.: A description logic with concrete domains and a role-forming predicate operator. J. Logic Comput. 9(3), 351–384 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  9. Hudelot, C., Atif, J., Bloch, I.: \(\cal{ALC(}{\bf F}\cal{)}\): a new description logic for spatial reasoning in images. In: Agapito, L., Bronstein, M.M., Rother, C. (eds.) ECCV 2014. LNCS, vol. 8926, pp. 370–384. Springer, Cham (2015). doi:10.1007/978-3-319-16181-5_26

    Google Scholar 

  10. Kaplunova, A., Haarslev, V., Moller, R.: Adding ternary complex roles to ALCRP(D). In: DL Workshop, pp. 112–126 (2002)

    Google Scholar 

  11. Klamma, R., Cao, Y., Spaniol, M., Leng, Y.: Spatiotemporal knowledge visualization and discovery in dynamic social networks. In: CIKM, pp. 384–391 (2007)

    Google Scholar 

  12. Lutz, C., Milicic, M.: A tableau algorithm for description logics with concrete domains and general tboxes. J. Autom. Reason. 38(1), 227–259 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  13. Lutz, C., Wolter, F., Zakharyaschev, M.: Temporal description logics: a survey. In: TIME, pp. 3–14 (2008)

    Google Scholar 

  14. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent. Springer, New York systems (1992). doi:10.1007/978-1-4612-0931-7

    Book  MATH  Google Scholar 

  15. Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: KR, pp. 165–176 (1992)

    Google Scholar 

  16. Ribaric, S., Hrkac, T.: A model of fuzzy spatio-temporal knowledge representation and reasoning based on high-level petri nets. Inf. Syst. 37(3), 238–256 (2012)

    Article  Google Scholar 

  17. Schockaert, S., Cock, M.D., Cornelis, C., Kerre, E.E.: Fuzzy region connection calculus: an interpretation based on closeness. Int. J. Approx. Reason. 48(1), 332–347 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  18. Schockaert, S., De Cock, M., Kerre, E.E.: Spatial reasoning in a fuzzy region connection calculus. Artif. Intell. 173(2), 258–298 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  19. Seylan, I., Jamroga, W.: Coalition description logic with individuals. Electron. Notes Theor. Comput. Sci. 262, 231–248 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  20. Sozer, A., Yazici, A., Oguztuzun, H.: Modeling and querying fuzzy spatiotemporal databases. Inf. Sci. 178(19), 3665–3682 (2008)

    Article  Google Scholar 

  21. Straccia, U.: Towards spatial reasoning in fuzzy description logics. In: FUZZ-IEEE, pp. 512–517 (2009)

    Google Scholar 

  22. Straccia, U.: All about fuzzy description logics and applications. Reason. Web 2015, 1–31 (2015)

    MATH  Google Scholar 

  23. Sturm, H., Wolter, F.: A tableau calculus for temporal description logic: the expanding domain case. J. Logic Comput. 12(5), 809–838 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  24. Wang, S., Liu, D.: Spatial description logic and its application in geospatial semantic web. In: Proceedings of the 2008 International Multi-symposiums on Computer and Computational Sciences, pp. 214–221 (2008)

    Google Scholar 

  25. Wolper, P.: The tableau method for temporal logic: an overview. Log. Anal. 110, 119–136 (1985)

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The work is supported by the National Natural Science Foundation of China (61370075, 61572118, 61672139).

Author information

Authors and Affiliations

  1. School of Computer Science, Nanjing University of Posts and Telecommunications, Nanjing, 210023, China

    Haitao Cheng

  2. College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, 211106, China

    Zongmin Ma

Authors
  1. Haitao Cheng
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zongmin Ma
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Haitao Cheng .

Editor information

Editors and Affiliations

  1. Deakin University, Burwood, Victoria, Australia

    Gang Li

  2. University of Arizona, Tucson, Arizona, USA

    Yong Ge

  3. Southwest University, Chongqing, China

    Zili Zhang

  4. Peking University, Beijing, China

    Zhi Jin

  5. University of Technology Sydney, Sydney, New South Wales, Australia

    Michael Blumenstein

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Cheng, H., Ma, Z. (2017). f-\(\mathcal {ALC}\)(D)-LTL: A Fuzzy Spatio-Temporal Description Logic. In: Li, G., Ge, Y., Zhang, Z., Jin, Z., Blumenstein, M. (eds) Knowledge Science, Engineering and Management. KSEM 2017. Lecture Notes in Computer Science(), vol 10412. Springer, Cham. https://doi.org/10.1007/978-3-319-63558-3_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-63558-3_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-63557-6

  • Online ISBN: 978-3-319-63558-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation