[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: Widget Example Represented in RDF/S
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
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]