Typo

Julien LepillerSun Apr 05 16:05:46+0200 2020

1413c8d

Typo

rdf/entailment/rdfs.scm

167167 
                   ((is-iri? o (rdfs-iri "Class"))
168168 
                    (make-rdf-triple s (rdfs-iri "subClassOf") (rdfs-iri "Resource")))
169169 
                   ((is-iri? o (rdfs-iri "ContainerMembershipProperty"))
170-
                    (make-rdf-triple s (rdfs-iri "subPropertyof")
170+
                    (make-rdf-triple s (rdfs-iri "subPropertyOf")
171171 
                                     (rdfs-iri "member")))
172172 
                   ((is-iri? o (rdfs-iri "Datatype"))
173173 
                    (make-rdf-triple s (rdfs-iri "subClassOf")