How to use negation in user defined rules?

Question

Hi,
Can you please show me an example to use negation in user defined rule? I created a rule like below (the rule says if a patient has a fever problem and not have penicillin hypersensitivity, then recommend medication1):
INSERT INTO mdsys.semr_myMedicineRB VALUES('rule1',
'(?p rdf:type :Patient) (?p :present ?c1) (?c1 rdf:type :Fever) (?c2 rdf:type :Penicillin_Hypersensitivity)',
'(NOT_EXISTS(p :present c2))',
'(?p :recommendation :medication1)',
SEM_ALIASES(SEM_ALIAS('','http://www.example/medicine#')));
The rule successfully inserted into the rulebase. However, I cannot pass the entailment creation phase and got the errors:
ORA-29532: Java call terminated by uncaught Java exception: java.sql.SQLException: Missing IN or OUT parameter at index:: 1
ORA-06512: at "MDSYS.SDO_SEM_INF_INTERNAL", line 16453
ORA-06512: at "MDSYS.SDO_SEM_INFERENCE", line 302
ORA-06512: at "MDSYS.SDO_SEM_INFERENCE", line 352
ORA-06512: at "MDSYS.RDF_APIS", line 118
ORA-06512: at line 2
29532. 00000 -  "Java call terminated by uncaught Java exception: %s"
*Cause:    A Java exception or error was signaled and could not be
           resolved by the Java code.
*Action:   Modify Java code, if this behavior is not intended.
According to the post built-in primitives(noValue,remove) for user defined rules, it seems negation is not supported in user defined rules. Can you please advice how to implement negation in user defined rules?  Thanks a lot in advance.
Hong

Answer 1

Hi Hong,
Let's look at this similar but simplified problem:
  if (?p  rdf:type  :Patient) and (NOT_EXISTS(?p  :present  :c2)) ==> (?p :recommendation :medication1)
You can use something like this in the user defined inferencing:
-- First get the numeric IDs for the relevant URIs
recomID := sdo_sem_inference.oracle_orardf_add_res('http://..../recommendation');
medID := sdo_sem_inference.oracle_orardf_add_res('http://..../medication1')
rdfTypeID := sdo_sem_inference.oracle_orardf_res2vid('... full URI for rdf:type');
patientID := ...
presentID := ...
c2ID := ...
-- Now this query will find out ?p that satisfy (?p  rdf:type  :Patient) but not
-- (?p  :present  :c2)
sqlStmt := '
  select ids1.sid  sub
     from ' || src_tab_view || ' ids1
    where ids1.pid= ' || to_char(rdfTypeID,'TM9') || '
      and not exists (
         select 1
           from ' || src_tab_view || '
          where sid = ids1.sid
            and pid = ' || to_char(presentID, 'TM9') || '
            and oid = '|| to_char(c2ID,'TM9') || '
insertStmt := '
  insert /*+ parallel append */
   into ' || output_tab || '(sid, pid, oid)
  select sub, '||to_char(recomID,'TM9') || ',' || to_char(medID,'TM9') || '
   from (' || sqlStmt || ')'
More details can be found in
http://docs.oracle.com/cd/E16655_01/appdev.121/e17895/inference_extension.htm#CHDDBGEC
Hope it helps,
Zhe Wu