Feng Jiang, Yuefei Sui, Cungen Cao. An Ontology-Based First-Order Modal Logic. In Salvatore Greco, Yutaka Hata, Shoji Hirano, Masahiro Inuiguchi, Sadaaki Miyamoto, Hung Son Nguyen, Roman Slowinski, editors, Rough Sets and Current Trends in Computing, 5th International Conference, RSCTC 2006, Kobe, Japan, November 6-8, 2006, Proceedings. Volume 4259 of Lecture Notes in Computer Science, pages 517-526, Springer, 2006. [doi]
Abstract is missing.