This application claims the benefit under 35 USC 119(a) of Korean Patent Application No. 10-201 1-01 26922 filed on Nov. 30, 2011, in the Korean Intellectual Property Office, the entire disclosure of which is incorporated herein by reference for all purposes.
1. Field
The following description relates to a technique for ontology reasoning.
2. Description of the Related Art
An ontology is a formal representation of a set of concepts within a domain, and of relationships between those concepts. An ontology may be used to perform reasoning about entities of the domain, and to describe the domain.
Ontology reasoning may be performed using an assertion management apparatus, such as an assertion box (ABox), that contains facts as assertions, an axiom management apparatus, such as a terminological box TBox that contains facts as axioms, and a reasoner that performs reasoning using the assertions and the axioms.
According to an aspect, a method of managing an axiom includes determining if an H in an A→H axiom in existing axioms is a predetermined expression; and if the H is the predetermined expression, collecting, from the existing axioms, a B→I axiom in which the B includes the H, deleting the A→H axiom from the existing axioms, and generating a new B→I axiom from the collected B→I axiom by replacing the H in the B with the A.
The method of claim 1, may further include adding the new B→I axiom to the existing axioms.
The determining may include determining if the H in the A→H axiom is an existential expression.
The existential expression may be ∃R.C or ≧n R (n>0).
According to an aspect, a method of managing an axiom includes determining if an A or an H in an A→H axiom in existing axioms is a predetermined expression; and if the A or the H is the predetermined expression, deleting the A→H axiom from the existing axioms.
The determining may include determining if the H in the A→H axiom is a disjunction expression.
The disjunction expression may be {o1, o2, . . . , ok} (k>1), or ≦n R, or C∪D.
The determining may include determining if the A in the A→H axiom is a negation expression.
The negation expression may be ∀R.C, or ⊥, or ≦n, or ≧n R (n>0), or A (atomic negation), or
T.
According to an aspect, an apparatus for managing an axiom includes a determining unit configured to determine if an H in an A→I axiom in existing axioms is a predetermined expression; and a generating unit configured to, if the H is the predetermined expression, collect, from the existing axioms, a B→I axiom in which the B includes the H, delete the A→H axiom from the existing axioms, and generate a new B→I axiom from the collected B→I axiom by replacing the H in the B with the A.
The apparatus may further include an adding unit configured to add the new B→I axiom to the existing axioms.
The determining unit may be further configured to determine if the H in the A→H axiom is an existential expression.
The existential expression may be ∃R.C or ≧n R (n>0).
According to an aspect, a reasoning apparatus includes a terminological box (TBox) containing axioms and configured to determine if an H in an A→H axiom in the axioms in the TBox is a predetermined expression, and if the H is the predetermined expression, collect, from the axioms in the TBox, a B→I axiom in which the B includes the H, delete the A→H axiom from the axioms in the TBox, and generate a new B→I axiom from the collected B→I axiom by replacing the H in the B with the A. The reasoning apparatus further includes a reasoner configured to receive, from the TBox, an axiom in the axioms in the TBox, and perform reasoning based on the axiom received from the TBox.
The TBox may be further configured to add the new B→I axiom to the axioms in the TBox.
The TBox may be further configured to determine if the H in the A→H axiom is an existential expression.
The existential expression may be ∃R.C or ≧n R (n>0).
Other features and aspects will be apparent from the following detailed description, the drawings, and the claims.
The following description is provided to assist the reader in gaining a comprehensive understanding of the methods, apparatuses, and/or systems described herein. However, various changes, modifications, and equivalents of the methods, apparatuses, and/or systems described herein will be apparent to one of ordinary skill in the art. Also, descriptions of well-known functions and constructions may be omitted for increased clarity and conciseness.
Throughout the drawings and the detailed description, the same drawing reference numerals refer to the same elements. The relative size and depiction of these elements may be exaggerated for clarity, illustration, and convenience.
The ABox 110 contains assertions, and the TBox 120 contains axioms. Reasoning is a series of logical actions or processes to derive a conclusion from known facts, such as assertions and axioms. The reasoner 130 receives assertions from the ABox 110 and axioms from the TBox 120, and performs reasoning based on the assertions and axioms. ABoxes, TBoxes, and reasoners in general are well known in the art, and thus will not be described in detail herein.
However, the TBox 120 of this example performs additional functions besides the basic functions performed by a conventional TBox. The TBox 120 of this example determines if an A or an H in an A→H axiom in the axioms in the TBox 120 is a predetermined expression requiring complex reasoning. If the TBox 120 determines that the A and the H are not predetermined expressions requiring complex reasoning, the TBox 120 ends processing of the A→H axiom. If the TBox 120 determines that the A or the H is a predetermined expression requiring complex reasoning, the TBox 120 determines a type of the predetermined expression requiring complex reasoning.
An example of a predetermined expression requiring complex reasoning is an existential expression, such as ∃R.C or ≧n R (n>0), both of which are well known in the art, and thus will not be described in detail here. If the TBox 120 determines that the H in the A→H axiom is an existential expression, the TBox 120 collects a B→I axiom in which the B includes the H from the axioms in the TBox 120, deletes the A→H axiom from the axioms in the TBox 120, generates a new B→I axiom from the collected B→I axiom by replacing the H in the B with the A, and adds the new B→I axiom to the axioms in the TBox 120.
Another example of a predetermined expression requiring complex reasoning is a disjunction expression, such as {o1, o2, . . . , ok} (k>1), or ≦n R, or C∪D, all of which are well known in the art, and thus will not be described in detail here. If the TBox 120 determines that the H in the A→I axiom is a disjunction expression, the TBox 120 deletes the A→I axiom from the axioms in the TBox 120 without generating a new axiom.
Another example of a predetermined expression requiring complex reasoning is a negation expression, such as ∀R.C, or ⊥, or ≦n, or ≧n R (n>0), or A (atomic negation), or
T, all of which are well known in the art, and thus will not be described in detail here. If the TBox 120 determines that the A in the A→H axiom is a negation expression, the TBox 120 deletes the A→H axiom from the axioms in the TBox 120 without generating a new axiom.
A (atomic negation), or
T. If it is determined in 210 that the A or H in A→H axiom is a predetermined expression requiring complex reasoning, the process proceeds to 220. Otherwise the process ends.
In 220, it is determined if the H in the A→H axiom is an existential expression, such as ∃R.C or ≧n R (n>0).
If it is determined in 220 that the H in the A→H axiom is an existential expression, a B→I axiom in which the B includes the H is collected from the existing axioms in 230, the A→H axiom is deleted from the existing axioms in 240, a new B→I axiom is generated from the collected B→I axiom in 250 by replacing the H in the B with the A, the new B→I axiom is added to the existing axioms in 260, and then the process ends.
If is determined in 220 that the H in the A→H axiom is not an existential expression, the process proceeds to 270.
In 270, it is determined if the H in the A→H axiom is a disjunction expression, such as {o1, o2, . . . , ok} (k>1), or ≦n R, or C∪D.
If it is determined in 270 that the H in the A→H axiom is a disjunction expression, the A→H axiom is deleted from the existing axioms in 280 without generating a new axiom, and then the process ends.
If is determined in 270 that the H in the A→H axiom is not a disjunction expression, the process proceeds to 290.
In 290, it is determined if the A in the A→H axiom is a negation expression, such as ∀ R.C, or ⊥, or ≦n, or ≧n R (n>0), or A (atomic negation), or
T.
If it is determined in 290 that the A in the A→H axiom is a negation expression, the A→H axiom is deleted from the existing axioms in 295 without generating a new axiom, and then the process ends.
If it is determined in 290 that the A in the A→H axiom is not a negation expression, the process ends.
As described above, it is determined that the H ‘x hasChild y’ in the A→H axiom ‘x is Parent→x hasChild y’ is a predetermined expression requiring complex reasoning because the H ‘x hasChild y’ is an existential expression ∃R.C. Next, the B→I axiom ‘x is Man, x hasChild y→x is Father’ in which the B ‘x is Man, x hasChild y’ includes the H ‘x hasChild y’ is collected. Next, the A→H axiom ‘x is Parent→x hasChild y’ is deleted from the existing axioms. Next, a new B→I axiom ‘x is Man, x is Parent→x is Father’ is generated from the collected B→I axiom ‘x is Man, x hasChild y→x is Father’ by replacing the H ‘x hasChild y’ in the B ‘x is Man, x hasChild y’ with the A ‘x is Parent’. Next, the new B→I axiom ‘x is Man, x is Parent→x is Father’ is added to the existing axioms.
A (atomic negation), or
T.
If the determining unit 410 determines that the H in the A→H axiom is an existential expression, such as ∃R.C or ≧n R (n>0), the generating unit 420 collects a B→I axiom in which the B includes the H from the existing axioms, deletes the A→H axiom from the existing axioms, and generates a new B→I axiom from the collected B→I axiom by replacing the H in the B with the A.
If the determining unit 410 determines that the H in the A→H axiom is a disjunction expression, such as {o1, o2, . . . , ok} (k>1), or ≦n R, or C∪D, the generating unit 420 deletes the A→H axiom from the existing axioms without generating a new axiom.
If the determining unit 410 determines that the A in the A→H axiom is a negation expression, such as ∀R.C, or ⊥, or ≦n, or ≧n R (n>0), A (atomic negation), or
T, the generating unit 420 deletes the A→H axiom from the existing axioms without generating a new axiom.
If the generating unit 420 generated a new B→I axiom, the adding unit 430 adds the new B→I axiom to the existing axioms.
According to the examples described above, it is possible to reduce reasoning time spent by an ontology reasoning engine and to improve the accuracy of the reasoning result in context-awareness system. That is, in reasoning based on ontology, a complex axiom is replaced with a simple axiom in an ontology TBox, and thereby the reasoning performance can be enhanced.
The ABox 110, the TBox 120, and the reasoner 130 in
As used herein, a processing device configured to implement a function A includes a processor programmed to run specific software. In addition, a processing device configured to implement a function A, a function B, and a function C may include configurations, such as, for example, a processor configured to implement functions A, B, and C; a first processor configured to implement function A and a second processor configured to implement functions B and C; a first processor configured to implement functions A and B and a second processor configured to implement function C; a first processor to implement function A, a second processor configured to implement function B, and a third processor configured to implement function C; a first processor configured to implement functions A, B, C and a second processor configured to implement functions A, B, and C, and so on.
The software may include a computer program, a piece of code, an instruction, or some combination thereof, for independently or collectively instructing or configuring the processing device to operate as desired. Software and data may be embodied permanently or temporarily in any type of machine, component, physical or virtual equipment, computer storage medium or device, or in a propagated signal wave capable of providing instructions or data to or being interpreted by the processing device. The software also may be distributed over network coupled computer systems so that the software is stored and executed in a distributed fashion.
In particular, the software and data may be stored by one or more non-transitory computer-readable storage mediums. The non-transitory computer-readable storage medium may include any data storage device that can store data that can be thereafter read by a computer system or processing device. Examples of a non-transitory computer-readable storage medium include read-only memory (ROM), random-access memory (RAM), CD-ROMs, magnetic tapes, floppy disks, and optical data storage devices. Also, functional programs, codes, and code segments for implementing the examples disclosed herein can be easily constructed by programmers skilled in the art to which the examples pertain based on the drawings and their corresponding descriptions as provided herein.
While this disclosure has been particularly shown and described with reference to examples thereof, it will be understood by one of ordinary skill in the art that various changes in form and details may be made in these examples without departing from the spirit and scope of the invention as defined by the claims and their equivalents. It should be understood that the examples described herein should be considered in a descriptive sense only, and not for purposes of limitation. Descriptions of features or aspects in each example are to be considered as being applicable to similar features or aspects in other examples. Suitable results may be achieved if the described techniques are performed in a different order and/or if components in a described system, architecture, device, or circuit are combined in a different manner and/or replaced or supplemented by other components or their equivalents. Therefore, the scope of the invention is defined not by the detailed description of the disclosure, but by the claims and their equivalents, and all variations within the scope of the claims and their equivalents are to be construed as being included in the invention.
Number | Date | Country | Kind |
---|---|---|---|
10-2011-0126922 | Nov 2011 | KR | national |