Index 425
CONSTRUCT, 277
DATATYPE, 274
DESC, 280
DESCRIBE, 279
DISTINCT, 281
FILTER, 272
isBLANK, 274
isLITERAL, 274
isURI, 274
LANG, 274
langMATCHES, 274
LIMIT, 281
OFFSET, 281
OPTIONAL, 267
ORDER BY, 280
PREFIX, 263
REDUCED, 291
REGEX, 274
sameTERM, 274
SELECT, 263
STR, 274
UNION, 268
WHERE, 263
species of OWL, 112, 138
SQL, 282
SROIQ, 168, 170–172, 210
STR, 274
structure, see interpretation
sub-Boolean, see Boolean closed
subclass, see class hierarchy
subject, 25
sublanguage of OWL,
see OWL, OWL 2
subordinate concept, see hyponym
subproperty, 54, 198
subset, 363
proper, 363
successor (tableaux), 198
Sudoku, 302
superclass, see class hierarchy
superordinate concept, see hypernym
SVG, see Scalable Vector Graphics
SWI-Prolog, 332
SWOOP, 329
SWRL, 258, 328
syllogism, 5
symbol grounding ...