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.