SCIENCE CHINA Information Sciences, Volume 60, Issue 11: 112103(2017) https://doi.org/10.1007/s11432-015-9050-6

Contrary description logic: Gentzen deduction system

More info
  • ReceivedJan 10, 2017
  • AcceptedFeb 21, 2017
  • PublishedAug 23, 2017


Traditional description logics are based on complementary rather than contrary concepts.This work proposes a contrary description logic based on the contrary concept constructors $\sim, \lhd$ (instead of $\lnot$).A Gentzen-type deduction system is applied to make the system sound and complete with the three-valued semantics of contrary description logic.


[1] Parsons T. The traditional square of opposition. Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/square. Google Scholar

[2] Artale A, Franconi E. Temporal description logics. In: Handbook of Temporal Reasoning in Artificial Intelligence. Oxford: Elsevier, 2005, 1: 375--388. Google Scholar

[3] Baader F, Calvanese D, McGuinness D L, et al. The Description Logic Handbook: Theory, Implementation, Applications. Cambridge: Cambridge University Press, 2003. Google Scholar

[4] Baader F, Horrocks I, Sattler U. Chapter 3 description logics. In: Handbook of Knowledge Representation. Oxford: Elsevier, 2007. Google Scholar

[5] Fensel D, van Harmelen F, Horrocks I, et al. OIL: an ontology infrastructure for the semantic web. IEEE Intell Syst, 2001, 16: 38--45. Google Scholar

[6] Zhu W, Li W, Sui Y, et al. Sound and complete Gentzen deduction system for propositional intermediate logic (in Chinese). J Softw, 2016, 27: 209--218. Google Scholar

[7] Avron A. Classical Gentzen-type methods in propositional many-valued logics. In: Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic (ISMVL'01). Washington: IEEE Computer Society, 2001. 287. Google Scholar

[8] Avron A. On the expressive power of three-valued and four-valued languages. J Logic Comput 1999, 9: 977--994. Google Scholar

[9] Rademaker A. A Proof Theory for Description Logics. Berlin: Springer, 2012. Google Scholar

[10] Takeuti G. Proof Theory. 2nd ed. Amsterdam: North-Holland Publishing Company, 1987. Google Scholar

[11] Li W. Mathematical Logic, Foundations for Information Science. Basel: Birkhäuser, 2010. Google Scholar

Copyright 2019 Science China Press Co., Ltd. 《中国科学》杂志社有限责任公司 版权所有