Feng Jiang Yuefei Sui Cungen Cao An Ontology-based First-order Intensional Logic. 330-335 2008 GrC https://doi.org/10.1109/GRC.2008.4664731 conf/grc/2008 db/conf/grc/grc2008.html#JiangSC08