Skip to main content

A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNISA,volume 7497)

Abstract

Fuzzy description logics can be used to model vague knowledge in application domains. This paper analyses the consistency and satisfiability problems in the description logic \({\mathcal{SHI}}\) with semantics based on a complete residuated De Morgan lattice. The problems are undecidable in the general case, but can be decided by a tableau algorithm when restricted to finite lattices. For some sublogics of \({\mathcal{SHI}}\), we provide upper complexity bounds that match the complexity of crisp reasoning.

Keywords

  • Description Logic
  • Membership Degree
  • Total Order
  • Residuated Lattice
  • Local Consistency

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press (2007)

    Google Scholar 

  2. Baader, F., Peñaloza, R.: Are fuzzy description logics with general concept inclusion axioms decidable? In: Proc. FUZZ-IEEE 2011, pp. 1735–1742 (2011)

    Google Scholar 

  3. Baader, F., Peñaloza, R.: On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm. In: Tinelli, C., Sofronie-Stokkermans, V. (eds.) FroCoS 2011. LNCS, vol. 6989, pp. 55–70. Springer, Heidelberg (2011)

    CrossRef  Google Scholar 

  4. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica 69(1), 5–40 (2001)

    CrossRef  MathSciNet  MATH  Google Scholar 

  5. Belnap, N.D.: A useful four-valued logic. In: Modern Uses of Multiple-Valued Logic, pp. 7–37. Reidel Publishing Company (1977)

    Google Scholar 

  6. Bobillo, F., Bou, F., Straccia, U.: On the failure of the finite model property in some fuzzy description logics. Fuzzy Set. Syst. 172(1), 1–12 (2011)

    CrossRef  MathSciNet  MATH  Google Scholar 

  7. Bobillo, F., Straccia, U.: Finite fuzzy description logics: A crisp representation for finite fuzzy \(\mathcal{ALCH}\). In: Proc. URSW 2010, vol. 654, pp. 61–72. CEUR (2010)

    Google Scholar 

  8. Bobillo, F., Straccia, U.: Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal{SROIQ}\). Inform. Sciences 181, 758–778 (2011)

    CrossRef  MathSciNet  MATH  Google Scholar 

  9. Borgwardt, S., Distel, F., Peñaloza, R.: How Fuzzy Is My Fuzzy Description Logic? In: Gramlich, B., Miller, D., Sattler, U. (eds.) IJCAR 2012. LNCS (LNAI), vol. 7364, pp. 82–96. Springer, Heidelberg (2012)

    CrossRef  Google Scholar 

  10. Borgwardt, S., Peñaloza, R.: Finite lattices do not make reasoning in \(\mathcal{ALCI}\) harder. In: URSW 2011, vol. 778, pp. 51–62. CEUR (2011)

    Google Scholar 

  11. Borgwardt, S., Peñaloza, R.: Fuzzy ontologies over lattices with t-norms. In: Proc. DL 2011, vol. 745, pp. 70–80. CEUR (2011)

    Google Scholar 

  12. Borgwardt, S., Peñaloza, R.: Consistency in fuzzy description logics over residuated De Morgan lattices. LTCS-Report 12-04. Chair for Automata Theory, TU Dresden (2012), http://lat.inf.tu-dresden.de/research/reports.html

    Google Scholar 

  13. Borgwardt, S., Peñaloza, R.: Undecidability of fuzzy description logics. In: Proc. KR 2012. AAAI Press (2012)

    Google Scholar 

  14. Cerami, M., Straccia, U.: On the undecidability of fuzzy description logics with GCIs with Łukasiewicz t-norm. Tech. rep., (2011), arXiv:1107.4212v3 [cs.LO]

    Google Scholar 

  15. De Cooman, G., Kerre, E.E.: Order norms on bounded partially ordered sets. J. of Fuzzy Math. 2, 281–310 (1993)

    MathSciNet  Google Scholar 

  16. Goré, R.P., Nguyen, L.A.: EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies. In: Olivetti, N. (ed.) TABLEAUX 2007. LNCS (LNAI), vol. 4548, pp. 133–148. Springer, Heidelberg (2007)

    CrossRef  Google Scholar 

  17. Grätzer, G.: General Lattice Theory, 2nd edn. Birkhäuser Verlag (2003)

    Google Scholar 

  18. Hájek, P.: Metamathematics of Fuzzy Logic (Trends in Logic). Springer (2001)

    Google Scholar 

  19. Hájek, P.: Making fuzzy description logic more general. Fuzzy Set. Syst. 154(1), 1–15 (2005)

    CrossRef  MATH  Google Scholar 

  20. Horrocks, I., Sattler, U.: A description logic with transitive and inverse roles and role hierarchies. J. Logic and Computation 9(3), 385–410 (1999)

    CrossRef  MathSciNet  MATH  Google Scholar 

  21. Jiang, Y., Tang, Y., Wang, J., Deng, P., Tang, S.: Expressive fuzzy description logics over lattices. Knowl.-Based Syst. 23(2), 150–161 (2010)

    CrossRef  Google Scholar 

  22. Molitor, R., Tresp, C.B.: Extending description logics to vague knowledge in medicine. In: Fuzzy Systems in Medicine. STUDFZZ, vol. 41, pp. 617–635. Springer (2000)

    Google Scholar 

  23. Motik, B., Shearer, R., Horrocks, I.: Optimized Reasoning in Description Logics Using Hypertableaux. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, pp. 67–83. Springer, Heidelberg (2007)

    CrossRef  Google Scholar 

  24. Post, E.L.: A variant of a recursively unsolvable problem. Bull. AMS 52(4), 264–268 (1946)

    CrossRef  MathSciNet  MATH  Google Scholar 

  25. Stoilos, G., Straccia, U., Stamou, G., Pan, J.Z.: General concept inclusions in fuzzy description logics. In: Proc. ECAI 2006, pp. 457–461. IOS Press (2006)

    Google Scholar 

  26. Straccia, U.: Description logics over lattices. Int. J. Uncert. Fuzz. 14(1), 1–16 (2006)

    CrossRef  MathSciNet  MATH  Google Scholar 

  27. Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. Ph.D. thesis, RWTH Aachen (2001)

    Google Scholar 

  28. Viana, H., Alcântara, J., Martins, A.T.C.: Paraconsistent rough description logic. In: Proc. DL 2011, vol. 745. CEUR (2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Borgwardt, S., Peñaloza, R. (2012). A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices. In: Krötzsch, M., Straccia, U. (eds) Web Reasoning and Rule Systems. RR 2012. Lecture Notes in Computer Science, vol 7497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33203-6_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33203-6_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-33202-9

  • Online ISBN: 978-3-642-33203-6

  • eBook Packages: Computer ScienceComputer Science (R0)