PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The characterization is based on two requirements: (1) there are no induced cycles of length >3. (This leaves us with chordal graphs.) (2) for every 3 vertices, one of the vertices is a neighbor of a vertex in every path between the other two.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net