[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: TA-Example v0.9: Core Test Assertion RDF Example Representation
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
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]