Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Ontology query inference approximation method based on minimum interpretation

An approximation method, the smallest technology, applied in the direction of electrical digital data processing, special data processing applications, complex mathematical operations, etc.

Inactive Publication Date: 2013-09-18
杜剑峰
View PDF4 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0009] The ontology query reasoning problem to be solved by the present invention is: given a datalog ± ontology and a joint query for the ontology, find a certain subset of the given query answer set in polynomial time of data complexity, as an approximation of the query answer set set

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Ontology query inference approximation method based on minimum interpretation
  • Ontology query inference approximation method based on minimum interpretation
  • Ontology query inference approximation method based on minimum interpretation

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0022] Professor Gottlob and others published the paper "Ontological Queries: Rewriting and Optimization" in the ICDE2011 International Database Engineering Conference, and proposed an accurate method for query reasoning in the datalog± ontology. This method exhaustively invokes two types of rules to apply (applicability) rules and factorizability (factorizability) rules, rewrite the input joint query into multiple new queries according to the TBox part of the given datalog± ontology, and then pass these new queries Directly access the ABox part of the given datalog ontology to get the respective set of query answers. The union of these query answer sets is equal to the answer set for a given query. Since the new query obtained by rewriting may contain an infinite number of atoms, this method cannot guarantee that for any given datalog± ontology, the query answer can be completed within a finite time.

[0023] The present invention has carried out the following transformation...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention relates to an ontology query inference approximation method based on minimum interpretations and belongs to the field of artificial intelligence. The method is applicable to datalog + / - ontology strong in expression ability and wide in application range, and is characterized in that a query aiming at the datalog + / - ontology is automatically converted into a group of minimum interpretations with lengths not exceeding a threshold value specified by a user, and an ABox part of the datalog + / - ontology is directly accessed via each minimum interpretation so as to obtain respective query result sets. The union set of the query result sets is a subset of original query result sets, and the degree of approximating the original query result sets is controlled by the length threshold value of the minimum interpretations. The key points of the method are as follows: a TBox part of the datalog + / - ontology is automatically compiled into Prolog program capable of receiving a user joint query, and a high-efficiency Prolog system is utilized to automatically calculate all the minimum interpretations with the lengths not exceeding the threshold value specified by the user. The overall data complexity of the method is polynomial time. The method is applicable to various application occasions based on the datalog + / - ontology and supplies an effective information query service to the application occasions.

Description

technical field [0001] The invention relates to an approximation method for ontology query reasoning based on minimal explanation, belongs to the field of artificial intelligence, and is suitable for query reasoning on large-scale datalog± ontology. Background technique [0002] The current increasingly popular World Wide Web has entered the Web 3.0 era, and its core part is the Semantic Web, which aims to provide some mechanisms for computers to understand and process web pages. Ontology, as the foundation of the Semantic Web, has been increasingly valued by academic fields such as artificial intelligence and software engineering. Ontologies are explicit representations of concepts. From the perspective of artificial intelligence, ontology can be expressed as the logical relationship between entities. At present, there are more and more applications based on ontology, especially in the field of biomedicine, a number of practical applications using large-scale domain ontol...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Applications(China)
IPC IPC(8): G06F17/30G06F17/17
Inventor 杜剑峰
Owner 杜剑峰
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products