张大陆，童熙．基于二元关系的语义Web的建立[J]．同济大学学报，2004，32(12)：1 677-1 681．ZHANG Da-lu,TONG Xi.Establishment of semantic web based on binary relation[J].Journal of Tongji University,2004, 32(12):1 677-1 681.(in Chinese)
[3]
邵学才，沈彤英，邓米克，等．离散数学[M]．北京：清华大学出版社，2006．
[4]
BRUALDI R A.Introductory combinatorics[M].New York:North-Holland,1997.
[5]
蒋强荣．命题公式的等价[J]．计算机科学，2006，33(8)：19-20．JIANG Qiang-rong.Equivalence of proposition fomula[J].Computer Science,2006,33(8):19-20.(in Chinese)
[6]
蒋强荣，田瑾，许蔓苓．计算n个元素集合的划分个数及计算机实现计算机[J]．计算机科学，1999，26(7)：36-37．JIANG Qiang-rong,TIAN Jin,XU Man-ling.Partition number of n element set and realization of computer[J].Computer Science,1999,26(7):36-37.(in Chinese)
[7]
ROSS K A，WRIGHT C R B．Discrete mathematics[M]．北京：清华大学出版社，2003．
