PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • I would suggest that a limit is function that takes as input a set-function, $f : C o D$, where $C \subseteq X$ and $D \subseteq Y$, for topological spaces $X, Y$, and a point $a \in \overline{C}$.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com