Download Users Guide

5.4
5.5
5.6
5.7
Open and Closed World Semantics : : : : : :
The Query Optimizer : : : : : : : : : : : : : :
Queries as Generators : : : : : : : : : : : : :
Invoking the Matcher: \tellm" and \forgetm"
6 Actions and Methods
6.1 Actions : : : : : : : : :
6.2 Methods : : : : : : : : :
6.2.1 Dening Methods
6.2.2 Method Selection
6.3 Productions : : : : : : :
6.4 Tasks : : : : : : : : : : :
7
A
B
C
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
Using Knowledge Bases
Grammar for TBox Language
Grammar for ABox Language
Glossary of LOOM Terms
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
46
47
48
48
50
50
51
51
52
53
55
57
61
62
64
ii