#Processed by Id: cwm.py,v 1.48 2001/05/26 17:28:07 timbl Exp # using base file:/web/infomesh/2001/05/sem/earl.rdf # Notation3 generation by # notation3.py,v 1.78 2001/05/23 01:39:38 timbl Exp # Base was: file:/web/infomesh/2001/05/sem/earl.rdf @prefix : . @prefix daml: . @prefix dc: . @prefix doc: . @prefix earl9: . @prefix earldata: . @prefix rcs: . @prefix rdf: . @prefix rdfs: . <> "EARL (Evaluation And Report Language) 0.95 RDF Schema"; rdfs:seeAlso , ; doc:derivedFrom ; doc:obsoletes ; rcs:id "$Id$" . :Assertion daml:intersectionOf ( [ daml:onProperty rdf:subject; daml:toClass :TestSubject ] [ daml:onProperty rdf:predicate; daml:toClass :ResultProperty ] [ daml:onProperty rdf:object; daml:toClass :TestCase ] ); rdfs:comment """These could be free standing units - used outside of earl:Evaluation(s) if required"""; rdfs:subClassOf rdf:Statement . :Assertor rdfs:comment """The entity making the assertion (e.g. running the test). This could be anonymous if for example you want to declare other context information."""; rdfs:subClassOf [ daml:onProperty :platform; daml:toClass :TestPlatform ], [ daml:onProperty :asserts; daml:toClass :Assertion ] . :Auto a :TestMode . :CannotTell a :ValidityState . :Date daml:disjointUnionOf ( :DateRange earldata:Date ) . :DateRange daml:intersectionOf ( [ daml:onProperty :fromDate; daml:hasClass earldata:Date ] [ daml:onProperty :toDate; daml:hasClass earldata:Date ] ) . :EARL rdfs:label "EARL (Evaluation And Report Language)"; :version "0.95" . :Evaluation daml:intersectionOf ( [ daml:onProperty rdf:subject; daml:toClass :Assertor ] [ daml:onProperty rdf:predicate; daml:hasValue :asserts ] [ daml:onProperty rdf:object; daml:toClass :Assertion ] ); rdfs:comment "An Evaluation is the most basic unit of EARL as it stands"; rdfs:subClassOf rdf:Statement . :Fail a :ValidityState . :Heuristic a :TestMode . :High a :ConfidenceLevel . :Low a :ConfidenceLevel . :Manual a :TestMode . :Medium a :ConfidenceLevel . :NotApplicable a :ValidityState . :NotTested a :ValidityState . :Operator rdfs:seeAlso :Person . :Pass a :ValidityState . :Person a rdfs:Class; rdfs:subClassOf :Assertor . :Platform rdfs:comment "The general platform on which something runs" . :RepairInfo rdfs:subClassOf [ daml:onProperty :expectedResult; daml:toClass :ExpectedResult ] . :ResultProperty rdfs:subClassOf [ daml:onProperty :note; daml:toClass rdfs:Resource ], rdf:Property . :Suite daml:disjointWith :Id . :TestCase a rdfs:Class . :TestCriteria daml:unionOf ( [ daml:onProperty :level; daml:minCardinality "1" ] [ daml:onProperty :excludes; daml:minCardinality "1" ] ) . :TestPlatform rdfs:comment "The platform on which the test(s) were run" . :TestSubject a rdfs:Class; rdfs:subClassOf [ daml:onProperty :date; daml:minCardinality "1" ], [ daml:onProperty :platform; daml:toClass :Platform ] . :Tool daml:disjointWith :UserAgent; rdfs:subClassOf :TestSubject . :UserAgent rdfs:subClassOf :TestSubject . :WebContent daml:disjointWith :Tool, :UserAgent; rdfs:subClassOf :TestSubject . :asserts rdfs:comment """For earl:asserts(x,y), in general, the assertor (x) asserts the assertion (y). EARL has specific classes for these""" . :ccppSetting rdfs:subPropertyOf :platform . :confidence rdfs:domain :ResultProperty; rdfs:range :ConfidenceLevel . :contactInfo a rdf:Property; rdfs:domain :Assertor; rdfs:range :ContactInfo . :date a daml:DatatypeProperty; rdfs:range :Date . :email a rdf:Property; rdfs:comment """Generally, for earl:email(x, y) x has an email address of y. This is not a daml:UnambiguousProperty - use foaf:mbox for that purpose"""; rdfs:range :Email; rdfs:subPropertyOf :contactInfo . :excludes rdfs:domain :TestCriteria; rdfs:range :Exclusion . :fails a :ResultProperty; :confidence :High; :validity :Fail . :fromDate a daml:UniqueProperty . :id rdfs:comment "A single guideline, checkpoint, etc."; rdfs:domain [ daml:disjointUnionOf ( :TestCase :TestCriteria :Exclusion ) ]; rdfs:range :Id . :lastModified rdfs:domain :TestSubject; rdfs:range :Date; rdfs:subPropertyOf :date . :level rdfs:comment """This is a generic level of test criteria, for example, the priorities/levels in WCAG. These shouldn't be a string literal"""; rdfs:domain [ daml:disjointUnionOf ( :TestCriteria :Exclusion ) ] . :name a rdf:Property; rdfs:comment "The common proper name for some earl:Assertor"; rdfs:domain :Assertor; rdfs:range rdfs:Literal . :operator rdfs:range :Operator . :operatorInstructions rdfs:domain :TestCase; rdfs:range rdfs:Literal . :os rdfs:label "Operating System"; rdfs:subPropertyOf :platform . :passes a :ResultProperty; :confidence :High; :validity :Pass . :platform a rdf:Property; rdfs:comment """e.g. the platform on which the test(s) were run, or the general platform on which something runs""" . :purpose rdfs:domain :TestCase; rdfs:range rdfs:Literal . :released rdfs:domain :TestSubject; rdfs:range :Date; rdfs:subPropertyOf :date . :repairInfo rdfs:range :RepairInfo . :reproducableStep rdfs:domain :TestCase; rdfs:range rdfs:Literal . :sameSubjectAs daml:inverseOf :sameSubjectAs; rdf:range :TestSubject; rdfs:comment """For earl:sameSubjectAs(x, y), x is defined as being the same subject being evaluated (in an assertion) as y. In other words, there is some property of sameness between the two - the exact semantics of which are not defined here, but may be useful to individual processors."""; rdfs:domain :TestSubject; rdfs:seeAlso daml:equivalentTo . :snapshot rdfs:domain :TestSubject . :suite rdfs:comment """A suite of checkpoints, guidelines, or any other form of rules that an earl:TestSubject can be evaluated against. e.g. WCAG 1.0"""; rdfs:domain [ daml:disjointUnionOf ( :TestCase :TestCriteria :Exclusion ) ]; rdfs:range :Suite . :testCriteria rdfs:domain :TestCase; rdfs:range :TestCriteria . :testId rdfs:comment """Points to a particular example of a technology against which one checked the particular subject (which in EARL would be an earl:TestSubject)"""; rdfs:range :TestId . :testMode a rdf:Property; rdfs:domain :TestCase; rdfs:range :TestMode . :testSubject a daml:UniqueProperty; rdfs:domain :TestSubject; rdfs:range rdfs:Resource . :testSuite rdfs:comment """Points to a suite of technologies against which one checked the particular subject (which in EARL would be an earl:TestSubject), e.g., the W3C's SVG Test Suite"""; rdfs:range :TestSuite . :toDate a daml:UniqueProperty . :validity rdfs:domain :ResultProperty; rdfs:range :ValidityState . :version a rdf:Property; rdfs:comment "For earl:version(x, y), read: x is of version y" . #ENDS