search

w3c / rdf-semantics

https://w3c.github.io/rdf-semantics/
Other
5 stars 2 forks source link

Complete entailment algorithm in Semantics Appendix #48

Closed Antoine-Zimmermann closed 2 months ago

Antoine-Zimmermann commented 4 months ago

This covers the case of every graph entails ?s rdf:type rdfs:Resource.

Preview | Diff