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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
Baader, F., Peñaloza, R.: Are fuzzy description logics with general concept inclusion axioms decidable? In: Proc. FUZZ-IEEE 2011, pp. 1735–1742 (2011)
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)
Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica 69(1), 5–40 (2001)
Belnap, N.D.: A useful four-valued logic. In: Modern Uses of Multiple-Valued Logic, pp. 7–37. Reidel Publishing Company (1977)
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)
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)
Bobillo, F., Straccia, U.: Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal{SROIQ}\). Inform. Sciences 181, 758–778 (2011)
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)
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)
Borgwardt, S., Peñaloza, R.: Fuzzy ontologies over lattices with t-norms. In: Proc. DL 2011, vol. 745, pp. 70–80. CEUR (2011)
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
Borgwardt, S., Peñaloza, R.: Undecidability of fuzzy description logics. In: Proc. KR 2012. AAAI Press (2012)
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]
De Cooman, G., Kerre, E.E.: Order norms on bounded partially ordered sets. J. of Fuzzy Math. 2, 281–310 (1993)
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)
Grätzer, G.: General Lattice Theory, 2nd edn. Birkhäuser Verlag (2003)
Hájek, P.: Metamathematics of Fuzzy Logic (Trends in Logic). Springer (2001)
Hájek, P.: Making fuzzy description logic more general. Fuzzy Set. Syst. 154(1), 1–15 (2005)
Horrocks, I., Sattler, U.: A description logic with transitive and inverse roles and role hierarchies. J. Logic and Computation 9(3), 385–410 (1999)
Jiang, Y., Tang, Y., Wang, J., Deng, P., Tang, S.: Expressive fuzzy description logics over lattices. Knowl.-Based Syst. 23(2), 150–161 (2010)
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)
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)
Post, E.L.: A variant of a recursively unsolvable problem. Bull. AMS 52(4), 264–268 (1946)
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)
Straccia, U.: Description logics over lattices. Int. J. Uncert. Fuzz. 14(1), 1–16 (2006)
Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. Ph.D. thesis, RWTH Aachen (2001)
Viana, H., Alcântara, J., Martins, A.T.C.: Paraconsistent rough description logic. In: Proc. DL 2011, vol. 745. CEUR (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)
