斯蒂芬·格林 鲍里斯·莫提克 语义网中通过认知算子的封闭世界推理。 2005 OWLED（发光二极管） https://ceur-ws.org/Vol-188/sub12.pdf conf/owled/2005 db/conf/owled/owled2005.html#GrimmM05