[JENA-2089] RDFS for datasets

• Type: New Feature
• Status: Closed
• Priority: Major
• Resolution: Done
• Affects Version/s: Jena 4.0.0
• Fix Version/s: Jena 4.1.0
• Assignee: Andy Seaborne
• Reporter: Andy Seaborne
• Created: 12/Apr/21 14:47
• Updated: 04/Jun/21 12:53
• Resolved: 28/Apr/21 15:11

Description

This is not a replacement for any of the Jena inference and rules system.

"RDFS for datasets" is dataset and graph wrappers that take a vocabulary, build internal datastructures during setup, then apply the RDFS entailments to data, for both "match" (find) and "stream" (materialization) access to the data.

• RDFS for datasets
• Scale
• Data interferences

:x rdf:type ?type will returns the types of :x, deductions from rdfs:range or rdfs:domain, along with supertypes.

rdf:type will also behave like rdf:type/rdfs:SubClassOf*.

Coverage: subClassOf, subPropertyOf, range and domain

It is fixed:

• The RDFS vocabulary is not visible in the data and any vocabulary use in the data is not acted on.
• The application can not subproperty the RDFS vocabulary (no subproperties of rdfs:subPropertyOf, rdfs:subClassOf, rdfs:range, rdfs:domain or rdf:type.
• Vocabulary is static, not dynamically editable.
• Inference in a dataset is "per graph", with the same vocabulary for all graphs in a dataset.
• The data can be updated.
• It is backwards chaining for scale.
• There will be an equivalent Jena inference ruleset and test run both and compare the outcomes.

The Dataset support will need JENA-2088.

In the future, incorporating directly into TDB1 or TDB2 evaluation, working with in NodeIds, should be possible.

Issue Links

• links to: GitHub Pull Request #48
• links to: GitHub Pull Request #985