other,23-2-T78-1031,bq |
the existence of another specified
<term>
|
path
|
</term>
between the same two
<term>
nodes
</term>
|
#12086
Path-based inference allows an arc or a path of arcs between two given nodes to be inferred from the existence of another specifiedpath between the same two nodes. |
other,10-8-T78-1031,bq |
</term>
to the representation of the
<term>
|
extensional equivalence
|
</term>
of
<term>
intensional concepts
</term>
|
#12195
Applications of path-based inference rules to the representation of theextensional equivalence of intensional concepts, and to the explication of inheritance in hierarchies are sketched. |
other,19-8-T78-1031,bq |
intensional concepts
</term>
, and to the
<term>
|
explication
|
</term>
of
<term>
inheritance
</term>
in
<term>
|
#12204
Applications of path-based inference rules to the representation of the extensional equivalence of intensional concepts, and to theexplication of inheritance in hierarchies are sketched. |
other,28-2-T78-1031,bq |
<term>
path
</term>
between the same two
<term>
|
nodes
|
</term>
.
<term>
Path-based inference rules
|
#12091
Path-based inference allows an arc or a path of arcs between two given nodes to be inferred from the existence of another specified path between the same twonodes. |
tech,7-6-T78-1031,bq |
inference
</term>
is more efficient , while
<term>
|
node-based inference
|
</term>
is more general . A method is described
|
#12155
Path-based inference is more efficient, whilenode-based inference is more general. |