In case of integrated assertional
axioms the set T [subset or equal to] K contains at least two assertional
axioms sets [A.
The Terminological Box (TBox--Formal Knowledge) was then created based on the above mentioned concepts; this is described in Table 2 while the assertional component (ABox) of the KB is of the form:
This process forms new assertions in the assertional component of the KB (ABox) while the remaining 1500 segments, where errors occur, form the testing data.
In the presuppositional use, one asserts location and "presupposes" orientation; in the assertional
use one asserts orientation, and (perhaps) presupposes location.
I identified a distinction between assertional links, which assert facts, versus structural links, that merely build up parts of a description of something about which something else may be asserted.
Figure 5 illustrates some examples of assertional link tags that could be added to links to make their intended quantification clear.
In most respects, Goemai patterns with postural-type languages: it has a small set of postural verbs that codes a limited range of semantic notions and that is used in both assertional and presuppositional ways.
These verbs are then used in two different ways: an assertional way (where the verb asserts the current transient orientation of a Figure) and a presuppositional way (where the verb focuses on the existence of a Figure at a Ground, irrespective of its current orientation).
EG uses assertional
logic rather than sets as used in Harel's higraphs, but there is a direct mapping (in which set-intersection is equivalent to AND, etc.
In fact, it is an assertional
use of the locative verb that affirms the current and exact location of the bottles.