A Tableau-Based Reasoning Algorithm for Distributed Dynamic Description Logics | SpringerLink
Skip to main content
Springer Nature Link
Log in

A Tableau-Based Reasoning Algorithm for Distributed Dynamic Description Logics

  • Conference paper
Information Computing and Applications (ICICA 2012)

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

Included in the following conference series:

  • 1201 Accesses

Abstract

As a family of dynamic description logics, DDL(X) is constructed by embracing actions into the description logic X, where X represents well-studied description logics ranging from the ALC to the SHOIQ. The usage of distributed computation techniques in reasoning is an important premise for the adoption of Dynamic Description Logics in a real-world setting. Practical scalability of DDL(X) reasoning inspired recently a proposal of Distributed Dynamic Description Logics (D3L) framework. D3L is a natural generalization of the DDL(X) framework, which is designed to model the distributed dynamically-changing knowledge repositories interconnected by semantic mappings and to accomplish reasoning in distributed, heterogeneous environments. In this paper, we investigate the reasoning mechanisms in D3L and propose a tableau-based reasoning algorithm for D3L, built as a composition of the state of the art tableaux reasoners for DDL(X).

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 11439
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 14299
Price includes VAT (Japan)
  • 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Bonatti, P., Lutz, C., Wolter, F.: Description logics with circumscription. In: Proc of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning, pp. 400–410. AAAI Press, Menlo Park (2006)

    Google Scholar 

  2. Jiang, Y., Wang, J., Tang, Y., Deng, P.: Semantics and reasoning of description logic μALCQO. Journal of Software 20, 491–504 (2009)

    Article  MathSciNet  Google Scholar 

  3. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2002)

    Google Scholar 

  4. Horrocks, I.: DAML+OIL: A description logic for the semantic web. Bull of the IEEE Computer Society Technical Committee on Data Engineering 25, 4–9 (2002)

    Google Scholar 

  5. Horrocks, I., Patel-Schneider, P.F., Harmelen, F.V.: From SHIQ and RDF to OWL: the making of a web ontology language. Journal of Web Semantics 1, 7–26 (2003)

    Article  Google Scholar 

  6. Shi, Z., Dong, M., Jiang, Y., Zhang, H.: A logical foundation for the semantic web. Science in China, Ser. F 48, 161–178 (2005)

    Article  Google Scholar 

  7. Chang, L., Shi, Z., Gu, T., Zhao, L.: A Family of Dynamic Description Logics for Representing and Reasoning About Action. J. Autom. Reasoning, 1–52 (2010)

    Google Scholar 

  8. Wang, Z., Yang, K., Shi, Z.: Failure Diagnosis of Internetware Systems Using Dynamic Description Logic. J. Softw. China 21, 248–260 (2010)

    Article  Google Scholar 

  9. Chen, L., Hu, H., Shi, Z.: Reasoning about Web Services with Local Closed World Assumption. In: Proc. of Int. Conf. Web Intelligence, pp. 367–370. IEEE Press, New York (2009)

    Google Scholar 

  10. Borgida, A., Serafini, L.: Distributed Description Logics: Assimilating Information from Peer Sources. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol. 2800, pp. 153–184. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  11. Kutz, O., Lutz, C., Wolter, F.: Epsilon-connections of abstract description systems. Artificial Intelligence 156, 1–73 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  12. Krauter, K., Buyya, R., Maheswaran, M.: A taxonomy and survey of grid resource management systems for distributed computing. Software-Practice & Experience 32, 135–164 (2002)

    Article  MATH  Google Scholar 

  13. Shi, Z., Zhang, H., Dong, M., Zhao, Z.: MAGE: multi-agent environment. In: 2nd Int. Conf. on Computer Networks and Mobile Computing, pp. 181–188. IEEE Computer Soc., Shanghai (2003)

    Google Scholar 

  14. Androutsellis-Theotokis, S., Spinellis, D.: A survey of peer-to-peer content distribution technologies. ACM Computing Surveys 36, 335–371 (2004)

    Article  Google Scholar 

  15. Pham, D.C., Aipperspach, T., Boerstler, D., Bolliger, M., Chaudhry, R.: Overview of the architecture, circuit design, and physical implementation of a first-generation cell processor. IEEE Journal of Solid-State Circuits 41, 179–196 (2006)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Control and Computer Engineering, State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources, North China Electric Power University, 102206, Beijing, China

    Zhuxiao Wang, Zhitao Guan, Wei Li & Kehe Wu

  2. National Computer Network Emergency Response Technical Team/Coordination Center of China, 100029, Beijing, China

    Jing Guo

  3. Institute of Automation, Chinese Academy of Sciences, 100190, Beijing, China

    Guanhua Tian

Authors
  1. Zhuxiao Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhitao Guan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wei Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Kehe Wu
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Jing Guo
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Guanhua Tian
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. College of Sciences, Hebei United University, 063000, Tangshan, Hebei, China

    Chunfeng Liu  & Aimin Yang  & 

  2. Northeastern University at Qinhuangdao, Hebei, China

    Leizhen Wang

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wang, Z., Guan, Z., Li, W., Wu, K., Guo, J., Tian, G. (2012). A Tableau-Based Reasoning Algorithm for Distributed Dynamic Description Logics. In: Liu, C., Wang, L., Yang, A. (eds) Information Computing and Applications. ICICA 2012. Communications in Computer and Information Science, vol 307. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34038-3_27

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34038-3_27

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34037-6

  • Online ISBN: 978-3-642-34038-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation