Commits

Anonymous committed c058f01

cannot infer that objects are resources since they may be literals. can infer that predicates are

  • Participants
  • Parent commits 533bd92

Comments (0)

Files changed (1)

File ordf/vocab/n3/rdfs-rules.n3

 {?P @has rdfs:range ?C. ?S ?P ?O} => {?O a ?C}.
 
 {?S ?P ?O} => {?S a rdfs:Resource}.
-{?S ?P ?O} => {?O a rdfs:Resource}.
+{?S ?P ?O} => {?P a rdfs:Resource}.
 
 {?Q rdfs:subPropertyOf ?R. ?P rdfs:subPropertyOf ?Q} => {?P rdfs:subPropertyOf ?R}.