Guangsheng ZhangFuqiang MengChangjun JiangJian PangUsing Petri Net to Reason with Rule and OWL.422006conf/IEEEcit/2006CIThttps://doi.org/10.1109/CIT.2006.191https://doi.ieeecomputersociety.org/10.1109/CIT.2006.191db/conf/IEEEcit/IEEEcit2006.html#ZhangMJP06