TA-Example v0.9: Core Test Assertion RDF Example Representation

[stephen.green@systml.co.uk]

This example attempts to show RDF representations of most of the
core elements of a test assertion, as defined by OASIS TAG TC:

* classes and subclasses of targets (defined in a 'header')
* grouping of several test assertions for a single target
* sequence (implicit in target identifiers)
* precursors and precondition qualifiers
* test assertion ID and specification reference
* targets
* prose assertion
* predicate assertions (here split into property/value pairs).

It also adds IDs for qualifiers/preconditions (allowing reuse).

See RDF XML below and zipped .rdf attached and RDF graph attached.

[NB: Remove ';'s from inline RDF if copied from OASIS mail archive.]

<?xml version="1.0"?>
<rdf:RDF xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#";  
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#";  
xmlns:dc="http://purl.org/dc/elements/1.1/";  
xmlns:my-ta1="http://example.org/#example1";  
xmlns:my-ta2="http://example.org/#example2";  
xmlns:ta="http://example.org/#ta-schema"; xml:base="http://example.org/";>
	<rdfs:Property rdf:about="http://example.org/#example1SchemaValidity";  
rdfs:label="my-ta1:SchemaValidity" rdfs:comment="The subject is valid  
against the schema which is the object."/>
	<rdfs:Property rdf:about="http://example.org/#example2Contains";  
rdfs:label="my-ta2:Contains" rdfs:comment="The subject is a container  
which contains the object."/>
	<rdfs:Property rdf:about="http://example.org/#SpecRef";  
rdfs:label="ta:SpecRef" rdfs:comment="The object is a specification  
normative reference from which the subject is derived."/>
	<rdfs:Property rdf:about="http://example.org/#Precursor";  
rdfs:label="ta:Precursor" rdfs:comment="The object is a reference to a  
test assertion which is a precursor to the subject test assertion,  
qualifying it."/>
	<rdfs:Resource rdf:about="http://example.org/#If"; rdfs:label="ta:If"  
rdfs:comment="The object is a boolean expression qualifying the  
subject."/>
	<rdfs:Resource rdf:about="http://example.org/#When";  
rdfs:label="ta:When" rdfs:comment="The object is a boolean expression  
representing a trigger which preceeds the behavior which is the  
subject."/>
	<rdfs:Resource rdf:about="http://example.org/#Assertion";  
rdfs:label="ta:Assertion" rdfs:comment="The object is a test assertion  
of a normative statement about the subject."/>
	<rdfs:Resource rdf:about="http://example.org/#Prose";  
rdfs:label="ta:Prose" rdfs:comment="The object is a prose version of  
the subject."/>
	<rdfs:Class rdf:ID="ubl1Document" rdfs:label="my-ta1:Document"  
rdfs:comment="Any UBL 1.0 document."/>
	<rdfs:Class rdf:ID="ubl1Invoice" rdfs:subClassOf="#ubl1Document"  
rdfs:label="my-ta1:Invoice"  
rdfs:definedBy="http://docs.oasis-open.org/ubl/cd-UBL-1.0/xsdrt/maindoc/UBL-Invoice-1.0.xsd"; rdfs:comment="An invoice which is a type of UBL 1.0  
document."/>
	<rdf:Description rdf:about="#ubl1Invoice">
		<ta:Assertion>
			<rdf:Description rdf:ID="ta-001" ta:SpecRef="001"  
my-ta1:SchemaValidity="http://docs.oasis-open.org/ubl/cd-UBL-1.0/xsdrt/maindoc/UBL-Invoice-1.0.xsd"/>
		</ta:Assertion>
		<ta:Assertion>
			<rdf:Description rdf:ID="ta-002" ta:SpecRef="002"  
my-ta2:Contains="http://example.org/#ubl1/Invoice.IssueDate.Date/";>
				<ta:Precursor rdf:resource="#ta-001"/>
				<ta:If>
					<rdf:Description rdf:ID="qual-002"  
my-ta2:Contains="http://example.org/#ubl1/Invoice.TaxPointDate.Date/"/>
				</ta:If>
			</rdf:Description>
		</ta:Assertion>
		<ta:Assertion>
			<rdf:Description rdf:ID="ta-001a" ta:SpecRef="001">
				<ta:Prose rdf:parseType="Literal">is valid against schema  
http://docs.oasis-open.org/ubl/cd-UBL-1.0/xsdrt/maindoc/UBL-Invoice-1.0.xsd</ta:Prose>
			</rdf:Description>
		</ta:Assertion>
	</rdf:Description>
</rdf:RDF>

Best regards

-- 
Stephen Green

Partner
SystML, http://www.systml.co.uk
Tel: +44 (0) 117 9541606

http://www.biblegateway.com/passage/?search=matthew+22:37 .. and voice

TA-Example-v09.zip

TA-Example-v09.gif