发明名称 |
ASSERTION MANAGEMENT METHOD AND APPARATUS, AND REASONING APPARATUS INCLUDING THE ASSERTION MANAGEMENT APPARATUS |
摘要 |
An assertion management method includes collecting a SameAs assertion from a plurality of assertions; searching the plurality of assertions for any assertion having a first individual of the SameAs assertion as an instance; and creating a new assertion having a second individual of the SameAs assertion as an instance from each found assertion.
|
申请公布号 |
US2013138701(A1) |
申请公布日期 |
2013.05.30 |
申请号 |
US201213484393 |
申请日期 |
2012.05.31 |
申请人 |
JIN WEON-IL;SAMSUNG ELECTRONICS CO., LTD. |
发明人 |
JIN WEON-IL |
分类号 |
G06F17/30 |
主分类号 |
G06F17/30 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|