Widget Example Represented in RDF/S

[stephen.green@systml.co.uk]

This example attempts to implement in RDF/S most of the core
elements of an OASIS TAG TC test assertion:

* target and/or class of target - defined in a header (subclass not shown)
* grouping of several test assertions for a single target
* sequence (implicit in test assertion identifiers)
* prerequisite (not shown) and precondition qualifiers
* test assertion ID and specification reference
* target identification by class or label - defined in header
* prose or predicate assertion (could be split further into
     property/value - not shown)

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:ta="http://example.org/v0-3/#ta-schema";  
xml:base="http://example.org/v0-3/example";>
	<rdf:Description rdf:about="">
		<dc:creator>Stephen Green</dc:creator>
		<dc:identifier>http://example.org/v0-3</dc:identifier>
		<dc:title>Example RDF/S Test Assertion Representation: Widget  
Example v0.3</dc:title>
		<dc:date>2008-01-03</dc:date>
		<dc:language>en</dc:language>
	</rdf:Description>
	<rdfs:Property rdf:about="http://example.org/v0-3/#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/v0-3/#Prerequisite";  
rdfs:label="ta:Prerequisite" rdfs:comment="The object is a reference  
to a test assertion which is a prerequisite to the subject test  
assertion, qualifying it."/>
	<rdfs:Resource rdf:about="http://example.org/v0-3/#PreconditionIf";  
rdfs:label="ta:PreconditionIf" rdfs:comment="The object is a boolean  
expression positively qualifying the subject as a preconditon."/>
	<rdfs:Resource rdf:about="http://example.org/v0-3/#PreconditionIfNot";  
rdfs:label="ta:PreconditionIfNot" rdfs:comment="The object is a  
boolean expression negatively qualifying the subject as a  
preconditon."/>
	<rdfs:Resource rdf:about="http://example.org/v0-3/#PreconditionWhen";  
rdfs:label="ta:PreconditionWhen" rdfs:comment="The object is a boolean  
expression representing a trigger which precedes and positively  
qualifies the behavior which is the subject as a preconditon."/>
	<rdfs:Resource  
rdf:about="http://example.org/v0-3/#PreconditionWhenNot";  
rdfs:label="ta:PreconditionWhenNot" rdfs:comment="The object is a  
boolean expression representing a trigger which precedes and  
negatively qualifies the behavior which is the subject as a  
preconditon."/>
	<rdfs:Resource rdf:about="http://example.org/v0-3/#Assertion";  
rdfs:label="ta:Assertion" rdfs:comment="The object is a test assertion  
of a normative statement about the subject."/>
	<rdfs:Class rdf:ID="Widget" rdfs:label="my-ta:Widget" rdfs:comment="A  
widget"/>
	<rdf:Description rdf:about="#Widget">
		<ta:Assertion>
			<rdf:Description rdf:ID="widget-TA1b" ta:SpecRef="101:1">
				<ta:PreconditionIf>
					<rdf:Description rdf:ID="qual-002" rdfs:comment="is medium sized"/>
				</ta:PreconditionIf>
				<rdfs:comment>uses exactly one AA battery</rdfs:comment>
			</rdf:Description>
		</ta:Assertion>
		<ta:Assertion>
			<rdf:Description rdf:ID="widget-TA2" ta:SpecRef="101:2">
				<ta:PreconditionIf rdf:resource="#qual-002"/>
				<rdfs:comment>has red button on top</rdfs:comment>
			</rdf:Description>
		</ta:Assertion>
	</rdf:Description>
</rdf:RDF>



  --
  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-Example2-v03.zip

TA-Example2-v03.gif