@prefix owl: . @prefix rdf: . @prefix xsd: . @prefix rdfs: . @prefix dc: . @prefix skos: . @prefix vann: . @prefix ottr: . rdf:type owl:Ontology ; owl:versionInfo "0.3" ; owl:versionIRI ; owl:imports # ; skos:editorialNote ; owl:priorVersion # ; owl:backwardCompatibleWith ; owl:incompatibleWith ; vann:preferredNamespacePrefix "ottr" ## See https://www.w3.org/TR/void/#dublin-core ; rdfs:label "Reasonable Ontology Templates" ; dc:title "Reasonable Ontology Templates" # ; rdfs:comment "description" # ; dc:description "description" ; dc:creator #; dc:contributor #; dc:publisher #; dc:source ; dc:date "2017-06-29" #; dc:created #; dc:issued ; dc:modified "2018-04-05" #; skos:changeNote # ; dc:rights . ottr:hasParameter a owl:InverseFunctionalProperty . ottr:isParameterOf a owl:ObjectProperty ; owl:inverseOf ottr:hasParameter . ottr:Parameter a owl:Class ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty ottr:isParameterOf ; owl:someValuesFrom ottr:Template ] , [ a owl:Restriction ; owl:onProperty ottr:index ; owl:someValuesFrom xsd:positiveInteger ] , [ a owl:Class ; owl:unionOf ( [ a owl:Restriction ; owl:onProperty ottr:nonLiteralVariable ; owl:someValuesFrom owl:Thing ] [ a owl:Restriction ; owl:onProperty ottr:literalVariable ; owl:someValuesFrom rdfs:Literal ] ) ] ; owl:hasKey ( ottr:isParameterOf ottr:index ) . ottr:index a owl:FunctionalProperty ; rdfs:domain [ a owl:Class ; owl:unionOf ( ottr:Argument ottr:Parameter ) ] . ottr:optional a owl:DatatypeProperty, owl:FunctionalProperty ; rdfs:domain ottr:Parameter ; rdfs:range xsd:boolean . ottr:withVariables a owl:ObjectProperty , owl:FunctionalProperty . ottr:TemplateInstance a owl:Class ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty ottr:templateRef ; owl:someValuesFrom ottr:Template ] . ottr:templateRef a owl:ObjectProperty , owl:FunctionalProperty . ottr:hasArgument a owl:InverseFunctionalProperty . ottr:isArgumentOf a owl:ObjectProperty ; owl:inverseOf ottr:hasArgument . ottr:parameterRef a owl:ObjectProperty , owl:FunctionalProperty ; rdfs:domain ottr:Argument ; rdfs:range ottr:Parameter . ottr:Argument a owl:Class ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty ottr:isArgumentOf ; owl:someValuesFrom ottr:TemplateInstance ] , [ a owl:Restriction ; owl:onProperty ottr:index ; owl:someValuesFrom xsd:positiveInteger ] , [ a owl:Restriction ; owl:onProperty ottr:parameterRef ; owl:someValuesFrom ottr:Parameter ] ; owl:hasKey ( ottr:isArgumentOf ottr:index ) . ottr:withValues a owl:ObjectProperty , owl:FunctionalProperty .