IRI:
http://ns.inria.fr/ratio4ta/v1
Other visualisation:
Ontology source

Abstract

Ratio4TA (interlinked justifications for triple assertions) is a lightweight vocabulary for encoding justifications using named graphs.

Table of Content

  1. Classes
  2. Object Properties
  3. Namespace Declarations

Classes

Assertionc back to ToC or Class ToC

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

Represents an asserted triple.
has super-classes
Graphc
has sub-classes
Direct Assertionc, Inferred Assertionc
is in range of
justifiesop

Direct Assertionc back to ToC or Class ToC

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

Represents a directly asserted triple that represents a ground facts.
has super-classes
Assertionc

Graphc back to ToC or Class ToC

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

An RDF graph (with intensional semantics).
has sub-classes
Assertionc, Justificationc

Inference Rulec back to ToC or Class ToC

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

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.
is in range of
inferred by ruleop

Inferred Assertionc back to ToC or Class ToC

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

Represents an asserted triple that is inferred from the other triples.
has super-classes
Assertionc
is in domain of
inferred by ruleop

Justificationc back to ToC or Class ToC

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

Represents a justification.
has super-classes
Graphc
is in domain of
antecedentop, justifiesop
is in range of
antecedentop

Object Properties

antecedentop back to ToC or Object Property ToC

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

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.
has domain
Justificationc
has range
Justificationc

inferred by ruleop back to ToC or Object Property ToC

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

A property that relates an inferred assertion with a rule that has been enforced to infer the triple.
has domain
Inferred Assertionc
has range
Inference Rulec

justifiesop back to ToC or Object Property ToC

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

A property that expresses the relation that a justification justifies the assertion of a triple.
has domain
Justificationc
has range
Assertionc

Namespace Declarations back to ToC

default namespace
http://ns.inria.fr/ratio4ta/v1#
owl
http://www.w3.org/2002/07/owl#
ratio4ta
http://ns.inria.fr/ratio4ta/
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfg-1
http://www.w3.org/2004/03/trix/rdfg-1/
rdfs
http://www.w3.org/2000/01/rdf-schema#
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.