Correcting inferred knowledge for expired explicit knowledge
AssigneeOntotext AD
InventorsDamyan Ognyanov, Ruslan Velkov
Life of this patent
Estimating the term…
Abstract
An RDF reason maintenance system avoids imposing a scalability restriction on the number of explicit statements stored in RDF databases. The system can identify those inferred statements that suitably should be removed whenever an explicit statement is deleted (retracted). The system dynamically computes the truth using a combination of the forward-chaining hardware and the backward-chaining hardware. The system is time-efficient, computes faster than a full re-computation, and need not use any long-lived truth maintenance information (space-efficient).
Claims20
A system of hardware for implementing reason maintenance, comprising:
- a piece of reasoner hardware which structure has a capacity to communicate with a piece of inferred knowledge hardware and which structure has a capacity to compute RDF inferred statements;
- and
- a piece of reason maintenance hardware which structure is capable of orchestrating computation of correctness of the RDF inferred statements without stored truth maintenance information when one or more RDF explicit statements are deleted from an RDF database.
A method for reason maintenance of an RDF database, comprising:
- receiving explicit statements including a set of deleted explicit statements;
- computing inferred statements from the explicit statements;
- and
- finding a set of inferred statements to be deleted from the inferred statements to facilitate correctness of the inferred statements without using stored truth maintenance information.
A computer-readable medium, which is non-transitory, having computer-executable instructions stored thereon for implementing a method for reason maintenance of an RDF database, comprising:
- receiving explicit statements including a set of deleted explicit statements;
- computing inferred statements from the explicit statements;
- and
- finding a set of inferred statements to be deleted from the inferred statements to facilitate correctness of the inferred statements without using stored truth maintenance information.
Dependencies are inferred from the claim text.