PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In other words: if there exists no node $x \in N$ which satisfies $v\cdot (x-p^*)<0$, then the line is an edge of on a face.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com