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
Describe the requirement
The RDF Schema states that everything is an instance of
rdfs:Resourcein section 2.1However, I found that allegrograph's inferencing does not recognise this factor instances of classes which are explicitly
rdfs:subClassOf rdfs:ResourceProposed solutions
I was thinking whether we could add
hydra:Resource rdfs:subClassOf rdfs:Resourceto 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:Propertywhich should not be necessary