rules
Given a rule dependency graph (RDG), a high-level rule dependency graph (HLRDG) is a directed acyclic graph G = (V, E) such that
Given a set of rules R, a rule dependency graph (RDG) is a directed graph G = (V, E) such that
Given a set of rules R, a rule dependency graph (RDG) is a directed graph G = (V, E) such that
The dependency between two rules r_i and r_j, denoted as r_i -> r_j resp. "r_i depends on r_j" indicates that the result r_j is used as input of r_i. In particular, that means we use the same direction in the graph although one would expect to have an edge from the rule r_j producing the data to the rule r_i consuming the data.
A generator for a high-level rule dependency graph for a given rule dependency graph.
The ForwardRuleReasonerRDFS can be configured to work at three different compliance levels:
The ForwardRuleReasonerRDFS can be configured to work at three different compliance levels:
Full
This implements all of the RDFS axioms and closure rules with the exception of bNode entailments and datatypes
(rdfD 1). See above for comments on these. This is an expensive mode because all statements in the data graph
need to be checked for possible use of container membership properties. It also generates type assertions
for all resources and properties mentioned in the data (rdf1, rdfs4a, rdfs4b).
Default
This omits the expensive checks for container membership properties and the "everything is a resource" and
"everything used as a property is one" rules (rdf1, rdfs4a, rdfs4b).
This mode does include all the axiomatic rules. Thus, for example, even materializing an "empty" RDF graph will
return triples such as [rdf:type rdfs:range rdfs:Class].
Simple
This implements just the transitive closure of subPropertyOf and subClassOf relations, the domain and range
entailments and the implications of subPropertyOf and subClassOf. It omits all of the axioms. This is probably
the most useful mode but is not the default because it is a less complete implementation of the standard.
An enumeration of reasoning profiles, which are usually different sets of rules with different complexity.
A generator for a so-called dependency graph based on a given set of rules.
A generator for a so-called dependency graph based on a given set of rules. A dependency graph is a directed graph representing dependencies of several objects towards each other. It is possible to derive an evaluation order or the absence of an evaluation order that respects the given dependencies from the dependency graph.
The type of entailment of a rule, i.e.
The type of entailment of a rule, i.e. which kind of triples are involved in the entailment process.
Predefined sets of rules.
A framework for applying batches of minimization rules to dependency graphs, possibly to fixed point.
Given a rule dependency graph (RDG), a high-level rule dependency graph (HLRDG) is a directed acyclic graph G = (V, E) such that
The dependency between two rules r_i and r_j, denoted as r_i -> r_j resp. "r_i depends on r_j" indicates that the result r_j is used as input of r_i. In particular, that means we use the same direction in the graph although one would expect to have an edge from the rule r_j producing the data to the rule r_i consuming the data.