Affiliation:
1. National Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China
Funder
Shuangchuang Program of Jiangsu Province
National Natural Science Foundation of China
Natural Science Foundation of Jiangsu Province
Reference58 articles.
1. Untersuchungen �ber das Eliminationsproblem der mathematischen Logik
2. Grigoris Antoniou and Frank van Harmelen. 2004. Web Ontology Language: OWL. Springer Berlin Heidelberg, 67--92.
3. Franz Baader, Ian Horrocks, Carsten Lutz, and Ulrike Sattler. 2017. An Introduction to Description Logic. Cambridge University Press.
4. Leo Bachmair Harald Ganzinger David A. McAllester and Christopher Lynch. 2001. Resolution Theorem Proving. See citeNDBLP:books/el/RobinsonV01 19--99.
5. George Boole. 1854. An Investigation of the Laws of Thought. Walton & Maberly.