| CPC G06F 40/221 (2020.01) [G06F 40/186 (2020.01); G06F 40/30 (2020.01); G06N 5/022 (2013.01)] | 16 Claims |

|
1. A method of operating a semantic data acquisition, storage and presentation system as a deductive or abductive database, comprising:
providing a semantic data acquisition, storage and presentation system, said system comprising:
a collection of one or more SentenceClassLabels defining existing SentenceClasses, said SentenceClassLabels being in the form of n-ary predicates;
a set of rules combining existing SentenceClasses into new SentenceClasses, each rule in the form of one or more first of said n-ary predicates defining the antecedent, and a paired second of said n-ary predicates, defining the consequent, wherein a rule without antecedent is known as a fact;
one or more collections of SentenceClassData, in the form of n-tuples, for instantiating n-ary predicates;
devising and executing a logic program for:
ingesting facts and rules provided in the said semantic data acquisition, storage and presentation system;
instantiating facts by substituting variables in the constituent said n-ary predicates with data from a designated one of the one or more collections of SentenceClassData;
invoking one or more of the said set of rules having antecedents or having consequents satisfied by one or more of the instantiated facts to derive new facts, if any, by deductive or abductive inference; and
placing new facts derived by deductive or abductive inference into the SentenceClassData table.
|