Map Development Area (MDA)
Location:
_/_
internet
_/_
semantic-web
_/_
ontology
_/_
axiom-reification
| axiom-reification |
|
|
Types:
|
-
Comment:
-
axioms are objects -- can be addressed
-
Comment:
-
problem: quantifiers and their scopes -- typically induced by the syntax
-
Comment:
-
(ir)reflexivity, (a)symmetry, antisymmetry, transitivity, ....
|
|
|