
Index
ABox, 162, 168, 170, 171
reduction, 184
Adobe, 345
XMP, 345
ALC, 160–162, 165
AllegroGraph, 329
ambient intelligence, 335, 348
ancestor (tableaux), 193, 198
And (RIF), 241
annotation (OWL), 114, 153
antisymmetry, 169
Aristotle, 2, 5
arity
of a function symbol, 367
of a predicate symbol, 218, 367
ARPANET, 9
artificial intelligence, 7, 159, 308
ASC, 280
assertional knowledge, 66, 162, see
also ABox
asymmetricity, 143
ATOM, 11
atom
datalog, 218
query, 294
attribute
in RIF frames, 243
in XML, 354, 356, see XML at-
tribute
attribute type (XML Schema), 358
Attributive Language with Comple-
ment, see ALC
auxiliary node, 42
axiom, 6
class inclusion axiom, 162, 170
generalized role ...