阿克塞尔·波利斯 克里斯蒂娜·费尔 安德烈亚斯·哈特 具有上下文范围否定的规则。 332-347 2006 conf/esws/2006年 ESWC公司 https://doi.org/10.1007/11762256_26 https://www.wikidata.org/entity/Q57887507 db/conf/esws/eswc2006.html#PolleresFH06