Data ontology logical reasoning method based on inductive logic program design

• Main Author: LIU JIAXIANG
• Format: Patent
• Language: Chinese; English
• Published: 15.11.2019
• Subjects: CALCULATING; COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS; COMPUTING; COUNTING; ELECTRIC DIGITAL DATA PROCESSING; PHYSICS

The invention discloses a data ontology logical reasoning method based on inductive logic program design. The method comprises the following specific steps: preprocessing a data ontology needing logical reasoning; extracting subjects, predicates and objects in the data ontology; converting the data ontology into clauses according to subjects, predicates and objects extracted from the data ontology; establishing a set of clauses; determining a specified discourse domain A; determining Helbland explanation for each clause in the clause set to obtain different discourse domains B; comparing the discourse domain B with the discourse domain A to determine a final discourse domain range C; processing based on the discourse domain range C to obtain an inference result. According to the method, the data ontology is preprocessed, the discourse domain range is determined through clause and Helbrinde explanation, and then the reasoning result is obtained based on the conclusion principle and theinverse conclusion princi