OCaml library to manipulate RDF graphs; implements SPARQL
Library rdf
Module Rdf . Earl
val earl : Iri.t


val earl_ : string -> Iri.t
val c_Assertion : Iri.t

a statement that embodies the results of a test

val c_Assertor : Iri.t

an entity such as a person, a software tool, an organization, or any other grouping that carries out a test collectively

val c_CannotTell : Iri.t

the class of outcomes to denote an undetermined outcome

val c_Fail : Iri.t

the class of outcomes to denote failing a test

val c_NotApplicable : Iri.t

the class of outcomes to denote the test is not applicable

val c_NotTested : Iri.t

the class of outcomes to denote the test has not been carried out

val c_OutcomeValue : Iri.t

a discrete value that describes a resulting condition from carrying out the test

val c_Pass : Iri.t

the class of outcomes to denote passing a test

val c_Software : Iri.t

any piece of software such as an authoring tool, browser, or evaluation tool

val c_TestCase : Iri.t

an atomic test, usually one that is a partial test for a requirement

val c_TestCriterion : Iri.t

a testable statement, usually one that can be passed or failed

val c_TestMode : Iri.t

describes how a test was carried out

val c_TestRequirement : Iri.t

a higher-level requirement that is tested by executing one or more sub-tests

val c_TestResult : Iri.t

the actual result of performing the test

val c_TestSubject : Iri.t

the class of things that have been tested against some test criterion

val assertedBy : Iri.t

assertor of an assertion

val info : Iri.t

additional warnings or error messages in a human-readable form

val mainAssertor : Iri.t

assertor that is primarily responsible for performing the test

val mode : Iri.t

mode in which the test was performed

val outcome : Iri.t

outcome of performing the test

val pointer : Iri.t

location within a test subject that are most relevant to a test result

val result : Iri.t

result of an assertion

val subject : Iri.t

test subject of an assertion

val test : Iri.t

test criterion of an assertion

module Open : sig ... end
class from : ?sub:Term.term -> Graph.graph -> object ... end