Minsu Jang Joo-Chan Sohn Bossam: An Extended Rule Engine for OWL Inferencing. 128-138 https://doi.org/10.1007/978-3-540-30504-0_10 2004 conf/ruleml/2004 RuleML db/conf/ruleml/ruleml2004.html#JangS04