Map Development Area (MDA)
Location:
_/_
internet
_/_
semantic-web
_/_
rdf
_/_
rdf-model-theory
| rdf-model-theory |
|
|
Types:
|
-
Comment:
-
provide an abstract, mathematical account of the properties that any such interpretation must have
-
Comment:
-
cannot express closed world assumptions -- monotonic
-
Comment:
-
each triple makes a distinct assertion -- meaning of any triple is not changed by adding other triples
-
Comment:
-
treats URIs as simple names -- no hidden magic
-
Comment:
-
language refers to a 'world', and describes the minimal conditions that a world must satisfy in order to assign an appropriate meaning for every expression in the language
-
Comment:
-
metaphysically and ontologically neutral
-
Comment:
-
providing a precise semantic theory for RDF and RDFS
|
|
|