420 Index
logical completeness, 319
logical consequence, 371, see also se-
mantics, formal
in description logic, 176
in first-order logic, 371
logicism, 6
many-valued relationship, 41
mapping, see function
markup language, 353
materialization, 153
metadata, 19, 336, 337, 345
metamodeling, 138
microformats, 14
Microsoft Internet Explorer, 345
model, see interpretation
modeling p atterns, 310
modifier (SPARQL), 280–282, 289
modularization, 326
monotonicity, see non-monotonicity
Mozilla Firefox, 345
MYCIN, 8
MySpace, 337
N-Triples, 25
N3, 25
named element, 238
namespace, 26, 28, 30, 114, 358
owl, 114
rdf, 28, 114
rdfs, 46, 114
rif, 242
xsd, 38, 114, 358
xsi, 360
negation, 367
in description logics, 161
in OWL, see owl:complementOf,
owl:datatypeComplementOf
in SPARQL, 275
negation