Peter F. Patel-Schneider A Revised Architecture for Semantic Web Reasoning. 32-36 2005 conf/ppswr/2005 PPSWR http://dx.doi.org/10.1007/11552222_3 db/conf/ppswr/ppswr2005.html#Patel-Schneider05