This discussion is archived
1 Reply Latest reply: Feb 22, 2012 10:17 AM by alwu RSS

Incremental inferencing failing after delete

889820 Newbie
Currently Being Moderated
I have created entailments using both RDFS and owlprime rulebases with incremental inferencing specified as follows:

index_name_in => 'emp_test_model_idx',
models_in => SDO_RDF_Models('emp_test_model'),
rulebases_in => SDO_RDF_Rulebases('owlprime'),
options => 'INC=T');

I have delete a triple, such as:

delete FROM emp_rdf_data a WHERE


The delete statement appears to be successful with one row deleted. I perform the following query :

select x from TABLE(SEM_MATCH('(?x rdf:type <Person>)',sem_models('emp_test_model'),
sem_rulebases('OWLPRIME'),null,null)) order by 1;

ERROR at line 1:
ORA-20000: We do not have a valid rules index for this Model-Rulebase
ORA-06512: at "MDSYS.RDF_MATCH_IMPL_T", line 1123
ORA-06512: at "MDSYS.RDF_MATCH_IMPL_T", line 387
ORA-06512: at line 1

Now this is the same outcome I have seen previously when I had omitted "INC=T" from
initial entailment creation and attempted to perform updates to data without rebuilding the associated indexes.
Is my expectation, that I should be able to perform insertions to the model and subsequent queries should succeed
without error and more importantly without a requirement to rebuild the entailments, correct?
Is there anything I am missing to get this working as expected?

Please provide more details.

  • 1. Re: Incremental inferencing failing after delete
    alwu Pro
    Currently Being Moderated
    Hi Arul.S,

    What you experienced is expected.

    Oracle's inference engine will only kick in if you invoke create_entailment API.

    Say you have a graph stored in Oracle, did a create_entailment, the status of the inferred
    graph (entailment) became VALID. Now, if you insert a triple, the status of the inferred
    graph became INCOMPLETE. If you delete a triple, then the status became INVALID.
    You can bring the entailment status back to VALID after another call to create_entailment.

    Incremental inference is an optimization that can efficiently update your inferred graph (entailment)
    when there are additions to your data. If there are updates (deletes), then incremental inference will
    not help performance.

    For your use case, if you want to make your query go through, you can set the INVALID flag.

    select x from TABLE(SEM_MATCH('(?x rdf:type <Person>)',sem_models('emp_test_model'),
    sem_rulebases('OWLPRIME'),null,null, 'INVALID')) order by 1;

    Please refer to Section 1.6.1 of the following dev guide for details.

    Hope it helps,



  • Correct Answers - 10 points
  • Helpful Answers - 5 points