Invention Grant
- Patent Title: Assertion management method and apparatus, and reasoning apparatus including the assertion management apparatus
- Patent Title (中): 断言管理方法和装置以及包括断言管理装置的推理装置
-
Application No.: US13484393Application Date: 2012-05-31
-
Publication No.: US09053128B2Publication Date: 2015-06-09
- Inventor: Weon-Il Jin
- Applicant: Weon-Il Jin
- Applicant Address: KR Suwon-si
- Assignee: Samsung Electronics Co., Ltd.
- Current Assignee: Samsung Electronics Co., Ltd.
- Current Assignee Address: KR Suwon-si
- Agency: NSIP Law
- Priority: KR10-2011-0125380 20111128
- Main IPC: G06F17/30
- IPC: G06F17/30

Abstract:
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.
Public/Granted literature
Information query