Guizhen Yang Michael Kifer Inheritance in Rule-Based Frame Systems: Semantics and Inference. 79-135 2006 journals/jods/2006-7 J. Data Semantics VII http://dx.doi.org/10.1007/11890591_4 db/journals/jods/jods7.html#YangK06