http://ns.inria.fr/ratio4ta/v1#DirectAssertion

http://www.w3.org/2000/01/rdf-schema#label Direct Assertion
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/2000/01/rdf-schema#Class
http://www.w3.org/2000/01/rdf-schema#comment Represents a directly asserted triple that represents a ground facts.
http://www.w3.org/2000/01/rdf-schema#subClassOf http://ns.inria.fr/ratio4ta/v1#Assertion

http://ns.inria.fr/ratio4ta/v1#inferredByRule

http://www.w3.org/2000/01/rdf-schema#range http://ns.inria.fr/ratio4ta/v1#InferenceRule
http://www.w3.org/2000/01/rdf-schema#label inferred by rule
http://www.w3.org/2000/01/rdf-schema#domain http://ns.inria.fr/ratio4ta/v1#InferredAssertion
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/2002/07/owl#ObjectProperty
http://www.w3.org/2000/01/rdf-schema#comment A property that relates an inferred assertion with a rule that has been enforced to infer the triple.

http://ns.inria.fr/ratio4ta/v1#antecedent

http://www.w3.org/2000/01/rdf-schema#range http://ns.inria.fr/ratio4ta/v1#Justification
http://www.w3.org/2000/01/rdf-schema#label antecedent
http://www.w3.org/2000/01/rdf-schema#domain http://ns.inria.fr/ratio4ta/v1#Justification
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/2002/07/owl#ObjectProperty
http://www.w3.org/2000/01/rdf-schema#comment A property that links a justification to the justifications for the assertions of the triples from which the inferred tripl of the linking justification has been derived.

https://mtp.linked.solutions/

http://xmlns.com/foaf/0.1/topic https://mtp.linked.solutions/r4ta

http://ns.inria.fr/ratio4ta/v1

http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/2002/07/owl#Ontology
http://www.w3.org/2000/01/rdf-schema#comment Ratio4TA (interlinked justifications for triple assertions) is a lightweight vocabulary for encoding justifications using named graphs.

http://ns.inria.fr/ratio4ta/v1#justifies

http://www.w3.org/2000/01/rdf-schema#range http://ns.inria.fr/ratio4ta/v1#Assertion
http://www.w3.org/2000/01/rdf-schema#label justifies
http://www.w3.org/2000/01/rdf-schema#domain http://ns.inria.fr/ratio4ta/v1#Justification
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/2002/07/owl#ObjectProperty
http://www.w3.org/2000/01/rdf-schema#comment A property that expresses the relation that a justification justifies the assertion of a triple.

http://ns.inria.fr/ratio4ta/v1#Justification

http://www.w3.org/2000/01/rdf-schema#label Justification
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/2000/01/rdf-schema#Class
http://www.w3.org/2000/01/rdf-schema#comment Represents a justification.
http://www.w3.org/2000/01/rdf-schema#subClassOf http://www.w3.org/2004/03/trix/rdfg-1/Graph

http://ns.inria.fr/ratio4ta/v1#InferenceRule

http://www.w3.org/2000/01/rdf-schema#label Inference Rule
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/2000/01/rdf-schema#Class
http://www.w3.org/2000/01/rdf-schema#comment Represents an inference rule that has been enforced to infer a triple. How rules will be encoded are not restricted to a particular encoding on purpose to accommodate different kinds of rule based systems distributed across the Web.

http://ns.inria.fr/ratio4ta/v1#InferredAssertion

http://www.w3.org/2000/01/rdf-schema#label Inferred Assertion
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/2000/01/rdf-schema#Class
http://www.w3.org/2000/01/rdf-schema#comment Represents an asserted triple that is inferred from the other triples.
http://www.w3.org/2000/01/rdf-schema#subClassOf http://ns.inria.fr/ratio4ta/v1#Assertion

http://www.w3.org/2004/03/trix/rdfg-1/Graph

http://www.w3.org/2000/01/rdf-schema#label Graph
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/2000/01/rdf-schema#Class
http://www.w3.org/2000/01/rdf-schema#comment An RDF graph (with intensional semantics).

http://ns.inria.fr/ratio4ta/v1#Assertion

http://www.w3.org/2000/01/rdf-schema#label Assertion
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/2000/01/rdf-schema#Class
http://www.w3.org/2000/01/rdf-schema#comment Represents an asserted triple.
http://www.w3.org/2000/01/rdf-schema#subClassOf http://www.w3.org/2004/03/trix/rdfg-1/Graph

https://mtp.linked.solutions/r4ta

http://purl.org/dc/terms/source https://github.com/linked-solutions/prefix.cc-harvest/master
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/2002/07/owl#Ontology
http://purl.org/vocab/vann/preferredNamespaceUri http://ns.inria.fr/ratio4ta/v1#
http://purl.org/vocab/vann/preferredNamespacePrefix r4ta
http://rdfs.org/ns/void#triples 39