(defvar *bot* nil) '(setq *bot* (make-instance 'mediawiki-bot :user "AlanRuttenberg" :pass "xxxxx" :url "http://km.aifb.uni-karlsruhe.de/projects/owltests/") ) (translation-testcase 'ontology-annotation-annotation " Prefix(: = ) Ontology(Annotation(Annotation(:member :a) Annotation(:member :b) Annotation(:member :c) :for :eqc) EquivalentClasses( :a :b :c))") (translation-testcase-wiki-gen *bot* 'ontology-annotation-annotation "Functional syntax to RDFXML translation of ontology with annotation and annotation on that annotation" t t t t t) (translation-testcase 'equivalent-classes-2 " Prefix(: = ) Ontology( EquivalentClasses( :a :b ))") (translation-testcase-wiki-gen *bot* 'equivalent-classes-2 "Functional syntax to RDFXML translation of ontology consisting of a 2 argument EquivalentClasses" t t t t t) (translation-testcase 'equivalent-classes-3 " Prefix(: = ) Ontology( EquivalentClasses( :a :b :c ))") (translation-testcase-wiki-gen *bot* 'equivalent-classes-3 "Functional syntax to RDFXML translation of ontology consisting of a 3 argument EquivalentClasses" t t t t t) (translation-testcase 'equivalent-classes-2-annotation "Prefix(: = ) Prefix(rdfs: = ) Ontology( EquivalentClasses(Annotation(rdfs:comment \"I hereby annotate this\") :a :b ))") (translation-testcase-wiki-gen *bot* 'equivalent-classes-2-annotation "Functional syntax to RDFXML translation of ontology consisting of a 2 argument EquivalentClasses with an annotation on the axiom" t t t t t) (translation-testcase 'equivalent-classes-3-annotation "Prefix(: = ) Prefix(rdfs: = ) Ontology( EquivalentClasses(Annotation(rdfs:comment \"I hereby annotate this\") :a :b :c))") (translation-testcase-wiki-gen *bot* 'equivalent-classes-3-annotation "Functional syntax to RDFXML translation of ontology consisting of a 3 argument EquivalentClasses with an annotation on the axiom" t t t t t) (translation-testcase 'disjoint-classes-2 " Prefix(: = ) Ontology( DisjointClasses( :a :b ))") (translation-testcase-wiki-gen *bot* 'disjoint-classes-2 "Functional syntax to RDFXML translation of ontology consisting of a 2 argument DisjointClasses" t t t t t) (translation-testcase 'disjoint-classes-3 " Prefix(: = ) Ontology( DisjointClasses( :a :b :c ))") (translation-testcase-wiki-gen *bot* 'disjoint-classes-3 "Functional syntax to RDFXML translation of ontology consisting of a 3 argument DisjointClasses" t t t t t) (translation-testcase 'disjoint-classes-2-annotation "Prefix(: = ) Prefix(rdfs: = ) Ontology( DisjointClasses(Annotation(rdfs:comment \"I hereby annotate this\") :a :b ))") (translation-testcase-wiki-gen *bot* 'disjoint-classes-2-annotation "Functional syntax to RDFXML translation of ontology consisting of a 2 argument DisjointClasses with annotation" t t t t t) (translation-testcase 'disjoint-classes-3-annotation "Prefix(: = ) Prefix(rdfs: = ) Ontology( DisjointClasses(Annotation(rdfs:comment \"I hereby annotate this\") :a :b :c))") (translation-testcase-wiki-gen *bot* 'disjoint-classes-3-annotation "Functional syntax to RDFXML translation of ontology consisting of a 3 argument DisjointClasses with annotation" t t t t t) (translation-testcase 'different-individuals-2 " Prefix(: = ) Ontology( DifferentIndividuals( :a :b ))") (translation-testcase-wiki-gen *bot* 'different-individuals-2 "Functional syntax to RDFXML translation of ontology consisting of a 2 argument DifferentIndividuals" t t t t t) (translation-testcase 'different-individuals-3 " Prefix(: = ) Ontology( DifferentIndividuals( :a :b :c ))") (translation-testcase-wiki-gen *bot* 'different-individuals-3 "Functional syntax to RDFXML translation of ontology consisting of a 3 argument DifferentIndividuals" t t t t t) (translation-testcase 'different-individuals-2-annotation "Prefix(: = ) Prefix(rdfs: = ) Ontology( DifferentIndividuals(Annotation(rdfs:comment \"I hereby annotate this\") :a :b ))") (translation-testcase-wiki-gen *bot* 'different-individuals-2-annotation "Functional syntax to RDFXML translation of ontology consisting of a 2 argument DifferentIndividuals with annotation" t t t t t) (translation-testcase 'different-individuals-3-annotation "Prefix(: = ) Prefix(rdfs: = ) Ontology( DifferentIndividuals(Annotation(rdfs:comment \"I hereby annotate this\") :a :b :c))") (translation-testcase-wiki-gen *bot* 'different-individuals-3-annotation "Functional syntax to RDFXML translation of ontology consisting of a 3 argument DifferentIndividuals with annotation" t t t t t) (translation-testcase 'same-individual-2 " Prefix(: = ) Ontology( SameIndividual( :a :b ))") (translation-testcase-wiki-gen *bot* 'same-individual-2 "Functional syntax to RDFXML translation of ontology consisting of a 2 argument SameIndividual" t t t nil t) (translation-testcase 'same-individual-3 " Prefix(: = ) Ontology( SameIndividual( :a :b :c ))") (translation-testcase-wiki-gen *bot* 'same-individual-2 "Functional syntax to RDFXML translation of ontology consisting of a 3 argument SameIndividual" t t t nil t) (translation-testcase 'same-individual-2-annotation "Prefix(: = ) Prefix(rdfs: = ) Ontology( SameIndividual(Annotation(rdfs:comment \"I hereby annotate this\") :a :b ))") (translation-testcase-wiki-gen *bot* 'same-individual-2-annotation "Functional syntax to RDFXML translation of ontology consisting of a 2 argument SameIndividual with annotation" t t t nil t) (translation-testcase 'same-individual-3-annotation "Prefix(: = ) Prefix(rdfs: = ) Ontology( SameIndividual(Annotation(rdfs:comment \"I hereby annotate this\") :a :b :c))") (translation-testcase-wiki-gen *bot* 'same-individual-3-annotation "Functional syntax to RDFXML translation of ontology consisting of a 3 argument SameIndividual with annotation" t t t nil t) (translation-testcase 'propertychain-2 "Prefix(: = ) Ontology( SubObjectPropertyOf(ObjectPropertyChain(:q :r) :p))") (translation-testcase-wiki-gen *bot* 'propertychain-2 "Functional syntax to RDFXML translation of ontology consisting of simple property chain" t t t t t) (translation-testcase 'propertychain-2-annotated "Prefix(: = ) Prefix(rdfs: = ) Ontology( SubObjectPropertyOf(Annotation(rdfs:comment \"I hereby annotate this\") ObjectPropertyChain(:q :r) :p))") (translation-testcase-wiki-gen *bot* 'propertychain-2-annotated "Functional syntax to RDFXML translation of ontology consisting of simple property chain that has an annotation" t t t t t) ; fixme: plain literal with language tag (translation-testcase 'literals "Prefix(: = ) Prefix(xsd: = ) Prefix(rdf: = ) Prefix(rdfs: = ) Prefix(owl: = ) Ontology( Declaration(Annotation(rdfs:comment \"No range so any literal is fine\") DataProperty(:dp)) Declaration(NamedIndividual(:holder)) DataPropertyAssertion(:dp :holder \"1\") DataPropertyAssertion(:dp :holder \"1\"^^xsd:integer) DataPropertyAssertion(:dp :holder \"6666666666\"^^xsd:long) DataPropertyAssertion(:dp :holder \"12.25\"^^xsd:decimal) DataPropertyAssertion(:dp :holder \"1\"^^xsd:decimal) DataPropertyAssertion(:dp :holder \"No use of rdf:test in old rdf serializations@en\"^^rdf:text) DataPropertyAssertion(:dp :holder \"1.1f6\"^^xsd:float) DataPropertyAssertion(:dp :holder \"1.1d6\"^^xsd:double) DataPropertyAssertion(:dp :holder \"string\"^^xsd:string) DataPropertyAssertion(:dp :holder \" \"^^rdf:XMLLiteral) DataPropertyAssertion(:dp :holder \"1/2\"^^owl:rational) DataPropertyAssertion(:dp :holder \"0\"^^xsd:nonNegativeInteger) DataPropertyAssertion(:dp :holder \"0\"^^xsd:nonPositiveInteger) DataPropertyAssertion(:dp :holder \"12\"^^xsd:positiveInteger) DataPropertyAssertion(:dp :holder \"-11\"^^xsd:negativeInteger) DataPropertyAssertion(:dp :holder \"13\"^^xsd:int) DataPropertyAssertion(:dp :holder \"14\"^^xsd:short) DataPropertyAssertion(:dp :holder \"15\"^^xsd:byte) DataPropertyAssertion(:dp :holder \"6666666666\"^^xsd:unsignedLong) DataPropertyAssertion(:dp :holder \"12\"^^xsd:unsignedInt) DataPropertyAssertion(:dp :holder \"17\"^^xsd:unsignedShort) DataPropertyAssertion(:dp :holder \"28\"^^xsd:unsignedByte) DataPropertyAssertion(:dp :holder \"true\"^^xsd:boolean) DataPropertyAssertion(:dp :holder \"C010\"^^xsd:hexBinary) DataPropertyAssertion(:dp :holder \"b3ds\"^^xsd:base64Binary) DataPropertyAssertion(:dp :holder \"http://www.w3.org/2007/OWL/wiki/Syntax\"^^xsd:anyURI) DataPropertyAssertion(:dp :holder \" There are no leading spaces in the value of this property\"^^xsd:normalizedString) DataPropertyAssertion(:dp :holder \"there is only one space between each word\"^^xsd:token) DataPropertyAssertion(:dp :holder \"en\"^^xsd:language) DataPropertyAssertion(:dp :holder \"_12345\"^^xsd:Name) DataPropertyAssertion(:dp :holder \"non-hyphenated\"^^xsd:NCName) DataPropertyAssertion(:dp :holder \"token token\"^^xsd:NMTOKEN) DataPropertyAssertion(:dp :holder \"2007-09-01T12:00:01\"^^xsd:dateTime) DataPropertyAssertion(:dp :holder \"2007-09-01T12:00:01-5:00\"^^xsd:dateTimeStamp))" ) (translation-testcase-wiki-gen *bot* 'literals "Functional syntax to RDFXML of each type of literal" t t nil nil nil) (translation-testcase 'no-builtin-prefixes "Prefix(: = ) Prefix(xsd: = ) Prefix(rdf: = ) Prefix(rdfs: = ) Prefix(owl: = ) Ontology( SameIndividual(:a xsd:b rdf:c rdfs:d owl:e))") (translation-testcase-wiki-gen *bot* 'no-builtin-prefixes "Functional syntax to RDFXML checking that there aren't builtin prefixes for xsd, rdf, rdfs, owl" t t nil nil nil) (translation-testcase 'property-attributes "Prefix(: = ) Ontology( TransitiveObjectProperty(:a) ReflexiveObjectProperty(:b) IrreflexiveObjectProperty(:c) SymmetricObjectProperty(:d) AsymmetricObjectProperty(:e) FunctionalObjectProperty(:f) InverseFunctionalObjectProperty(:g) FunctionalDataProperty(:h))") (translation-testcase-wiki-gen *bot* 'property-attributes "Functional syntax to RDFXML for each of the different types of property attributes" t t nil nil nil) (translation-testcase 'domain-range-simple "Prefix(: = ) Prefix(rdf: = ) Ontology( DataPropertyRange(:p1 rdf:text) DataPropertyDomain(:p2 :c1) ObjectPropertyRange(:p3 :c2) ObjectPropertyDomain(:p4 :c4) AnnotationPropertyDomain(:p5 :c5) AnnotationPropertyRange(:p6 :c6))") (translation-testcase-wiki-gen *bot* 'domain-range-simple "Functional syntax to RDFXML for simple domain and range" t t t t t) (translation-testcase 'domain-range-expression "Prefix(: = ) Prefix(xsd: = ) Prefix(rdf: = ) Ontology( DataPropertyRange(:p1 DataUnionOf(rdf:text xsd:float)) DataPropertyDomain(:p2 ObjectUnionOf(:c1 :u1)) ObjectPropertyRange(:p3 ObjectUnionOf(:c2 :u2)) ObjectPropertyDomain(:p4 ObjectUnionOf(:c3 :u3)) ObjectPropertyDomain(ObjectInverseOf(:p5) :c4) ObjectPropertyRange(ObjectInverseOf(:p5) :c4) ObjectPropertyDomain(ObjectInverseOf(:p6) ObjectUnionOf(:c5 :u5)) ObjectPropertyRange(ObjectInverseOf(:p7) ObjectUnionOf(:c6 :u6)) )") (translation-testcase-wiki-gen *bot* 'domain-range-expression "Functional syntax to RDFXML for domain and range with expressions" t t nil nil nil) (translation-testcase 'negative-property-assertion "Prefix(: = ) Prefix(rdfs: = ) Ontology( NegativeObjectPropertyAssertion(:p1 :s1 :o1) NegativeDataPropertyAssertion(:p2 :s2 :o2) NegativeObjectPropertyAssertion(ObjectInverseOf(:p3) :s3 :o3) NegativeObjectPropertyAssertion(Annotation(rdfs:comment \"I hereby annotate this\") :p4 :s4 :o4) NegativeDataPropertyAssertion(Annotation(rdfs:comment \"I hereby annotate this too\") :p5 :s5 :o5) NegativeObjectPropertyAssertion(Annotation(rdfs:comment \"I hereby annotate this also\") ObjectInverseOf(:p6) :s6 :o6) NegativeObjectPropertyAssertion(Annotation(Annotation(rdfs:label \"on seven\") rdfs:comment \"I hereby annotate this\") :p7 :s7 :o7) NegativeDataPropertyAssertion(Annotation(Annotation(rdfs:label \"on eight\") rdfs:comment \"I hereby annotate this too\") :p8 :s8 :o8) NegativeObjectPropertyAssertion(Annotation(Annotation(rdfs:label \"on nine\") rdfs:comment \"I hereby annotate this also\") ObjectInverseOf(:p9) :s9 :o9) )") (translation-testcase-wiki-gen *bot* 'negative-property-assertion "Functional syntax to RDFXML for negative property assertions, some with annotations and annotations on their annotations" t t nil nil nil)