Using Petri Net to Reason with Rule and OWL. - Guangsheng Zhang 002; Fuqiang Meng; Changjun Jiang; Jian Pang (CIT, 2006)