schema s : rdf
instance i : literal : rdf {
entities
R
attributes
object : R -> Dom
predicate : R -> Dom
subject : R -> Dom}
----------------------------------
instance (spanify i) : schemaOf spanify i
Convert an RDF instance into spans without using OWL