[Specifications] Explicitly assert rdfs:Resource sub class? (#232)

tpluscode has just created a new issue for https://github.com/HydraCG/Specifications:

== Explicitly assert rdfs:Resource sub class? ==
## Describe the requirement

The RDF Schema states that everything is an instance of `rdfs:Resource` in section 2.1

> All things described by RDF are called resources, and are instances of the class rdfs:Resource. This is the class of everything. All other classes are subclasses of this class. rdfs:Resource is an instance of rdfs:Class.

However, I found that allegrograph's inferencing does not recognise this factor instances of classes which are explicitly `rdfs:subClassOf rdfs:Resource`

## Proposed solutions

I was thinking whether we could add `hydra:Resource rdfs:subClassOf rdfs:Resource` to allow more accurate inferencing.

On the other hand, we would then have to add a whole lot more explicit and redundant statements like that and similar for `rdf:Property` which should not be necessary



Please view or discuss this issue at https://github.com/HydraCG/Specifications/issues/232 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Tuesday, 13 April 2021 19:18:30 UTC