@prefix : . @prefix nao: . @prefix nco: . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix rdfs: . @prefix skos: . @prefix swrl: . @prefix swrla: . @prefix swrlb: . @prefix terms: . @prefix nco_ex: . @base . rdf:type owl:Ontology ; owl:imports . ################################################################# # Object Properties ################################################################# ### http://data.open.ac.uk/ontology/ncoexamples#hasBusinessConnection nco_ex:hasBusinessConnection rdf:type owl:ObjectProperty , owl:SymmetricProperty . ### http://data.open.ac.uk/ontology/ncoexamples#isEffectiveAgainst nco_ex:isEffectiveAgainst rdf:type owl:ObjectProperty ; rdfs:domain nco_ex:Vaccine ; rdfs:range nco_ex:Virus . ### http://data.open.ac.uk/ontology/newsclassification#characterises nco:characterises rdfs:domain nco:Collection , [ rdf:type owl:Restriction ; owl:onProperty nco:characterises ; owl:allValuesFrom nco:Situation ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Statement ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:allValuesFrom nco:UnifyingFactor ] , [ rdf:type owl:Restriction ; owl:onProperty nco:characterises ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:Situation ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:Statement ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:UnifyingFactor ] ; rdfs:range nco:Collection , nco:EventOrSituation , [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:characterisedBy ; owl:allValuesFrom nco:Description ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Statement ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:allValuesFrom nco:UnifyingFactor ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:Statement ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:UnifyingFactor ] . ### http://data.open.ac.uk/ontology/newsclassification#claimInNewsItem nco:claimInNewsItem rdfs:domain nco:Statement , [ rdf:type owl:Class ; owl:unionOf ( nco:AgentComponent nco:Claim ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:claimInNewsItem ; owl:someValuesFrom nco:NewsItem ] , [ rdf:type owl:Restriction ; owl:onProperty nco:concernsTopic ; owl:someValuesFrom nco:Topic ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:someValuesFrom nco:Agent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:claimInNewsItem ; owl:allValuesFrom nco:NewsItem ] , [ rdf:type owl:Restriction ; owl:onProperty nco:concernsTopic ; owl:allValuesFrom nco:Topic ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:Agent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasJustification ; owl:allValuesFrom nco:Justification ] . ### http://data.open.ac.uk/ontology/newsclassification#concernsTopic nco:concernsTopic rdfs:domain nco:Statement , [ rdf:type owl:Class ; owl:unionOf ( nco:AgentComponent nco:Claim ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:claimInNewsItem ; owl:someValuesFrom nco:NewsItem ] , [ rdf:type owl:Restriction ; owl:onProperty nco:concernsTopic ; owl:someValuesFrom nco:Topic ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:someValuesFrom nco:Agent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:claimInNewsItem ; owl:allValuesFrom nco:NewsItem ] , [ rdf:type owl:Restriction ; owl:onProperty nco:concernsTopic ; owl:allValuesFrom nco:Topic ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:Agent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasJustification ; owl:allValuesFrom nco:Justification ] ; rdfs:range skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:someValuesFrom owl:Thing ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:cardinality "1"^^xsd:nonNegativeInteger ] . ### http://data.open.ac.uk/ontology/newsclassification#dependsOn nco:dependsOn rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] ; rdfs:range [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] . ### http://data.open.ac.uk/ontology/newsclassification#eventDependsOn nco:eventDependsOn rdfs:domain nco:EventOrSituation , [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:AgentComponent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasLocation ; owl:allValuesFrom nco:Location ] ; rdfs:range [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] . ### http://data.open.ac.uk/ontology/newsclassification#hasAgentComponent nco:hasAgentComponent rdfs:domain nco:EventOrSituation , [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:AgentComponent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasLocation ; owl:allValuesFrom nco:Location ] ; rdfs:range [ rdf:type owl:Class ; owl:unionOf ( nco:AgentComponent nco:Claim ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:Agent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgentRole ; owl:allValuesFrom nco:AgentRole ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgentRole ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:AgentRole ] . ### http://data.open.ac.uk/ontology/newsclassification#hasAgentRole nco:hasAgentRole rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( nco:AgentComponent nco:Claim ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:Agent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgentRole ; owl:allValuesFrom nco:AgentRole ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgentRole ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:AgentRole ] . ### http://data.open.ac.uk/ontology/newsclassification#hasClaim nco:hasClaim rdfs:range nco:Statement , [ rdf:type owl:Class ; owl:unionOf ( nco:AgentComponent nco:Claim ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:claimInNewsItem ; owl:someValuesFrom nco:NewsItem ] , [ rdf:type owl:Restriction ; owl:onProperty nco:concernsTopic ; owl:someValuesFrom nco:Topic ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:someValuesFrom nco:Agent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:claimInNewsItem ; owl:allValuesFrom nco:NewsItem ] , [ rdf:type owl:Restriction ; owl:onProperty nco:concernsTopic ; owl:allValuesFrom nco:Topic ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:Agent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasJustification ; owl:allValuesFrom nco:Justification ] . ### http://data.open.ac.uk/ontology/newsclassification#hasElement nco:hasElement rdfs:domain [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:allValuesFrom nco:UnifyingFactor ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:UnifyingFactor ] . ### http://data.open.ac.uk/ontology/newsclassification#hasJustification nco:hasJustification rdfs:domain nco:Statement , [ rdf:type owl:Class ; owl:unionOf ( nco:AgentComponent nco:Claim ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:claimInNewsItem ; owl:someValuesFrom nco:NewsItem ] , [ rdf:type owl:Restriction ; owl:onProperty nco:concernsTopic ; owl:someValuesFrom nco:Topic ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:someValuesFrom nco:Agent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:claimInNewsItem ; owl:allValuesFrom nco:NewsItem ] , [ rdf:type owl:Restriction ; owl:onProperty nco:concernsTopic ; owl:allValuesFrom nco:Topic ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:Agent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasJustification ; owl:allValuesFrom nco:Justification ] . ### http://data.open.ac.uk/ontology/newsclassification#hasLocation nco:hasLocation rdfs:domain nco:EventOrSituation , [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:AgentComponent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasLocation ; owl:allValuesFrom nco:Location ] . ### http://data.open.ac.uk/ontology/newsclassification#hasOmittedEvent nco:hasOmittedEvent rdfs:domain nco:Event , nco:EventOrSituation , nco:NegativeEvent , [ owl:intersectionOf ( nco:NegativeEvent [ rdf:type owl:Restriction ; owl:onProperty nco:hasOmittedEvent ; owl:allValuesFrom nco:Event ] [ rdf:type owl:Restriction ; owl:onProperty nco:hasOmittedEvent ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:Event ] ) ; rdf:type owl:Class ] , [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:AgentComponent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasLocation ; owl:allValuesFrom nco:Location ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasOmittedEvent ; owl:allValuesFrom nco:Event ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasOmittedEvent ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:Event ] ; rdfs:range nco:EventOrSituation , [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:AgentComponent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasLocation ; owl:allValuesFrom nco:Location ] . ### http://data.open.ac.uk/ontology/newsclassification#hasPrediction nco:hasPrediction rdfs:domain nco:Event , nco:EventOrSituation , [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:AgentComponent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasLocation ; owl:allValuesFrom nco:Location ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasPrediction ; owl:allValuesFrom nco:EventOrSituation ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasPrediction ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:EventOrSituation ] ; rdfs:range [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] . ### http://data.open.ac.uk/ontology/newsclassification#hasSubEvent nco:hasSubEvent rdfs:subPropertyOf nco:preconditionFor ; rdfs:domain nco:EventOrSituation , [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:AgentComponent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasLocation ; owl:allValuesFrom nco:Location ] ; rdfs:range nco:EventOrSituation , [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:AgentComponent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasLocation ; owl:allValuesFrom nco:Location ] . ### http://data.open.ac.uk/ontology/newsclassification#hasSubTopic nco:hasSubTopic rdfs:subPropertyOf skos:semanticRelation ; rdfs:domain skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:someValuesFrom owl:Thing ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:cardinality "1"^^xsd:nonNegativeInteger ] ; rdfs:range skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:someValuesFrom owl:Thing ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:cardinality "1"^^xsd:nonNegativeInteger ] . ### http://data.open.ac.uk/ontology/newsclassification#hasTime nco:hasTime rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] ; rdfs:range [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://data.open.ac.uk/ontology/newsclassification#hasTopic nco:hasTopic rdfs:range skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:someValuesFrom owl:Thing ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:cardinality "1"^^xsd:nonNegativeInteger ] . ### http://data.open.ac.uk/ontology/newsclassification#hasUnifyingFactor nco:hasUnifyingFactor rdfs:domain [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:allValuesFrom nco:UnifyingFactor ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:UnifyingFactor ] . ### http://data.open.ac.uk/ontology/newsclassification#hasViewpoint nco:hasViewpoint rdfs:range nco:Collection , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Claim ] [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:Claim ] ) ; rdf:type owl:Class ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Claim ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Statement ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:allValuesFrom nco:UnifyingFactor ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:Claim ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:UnifyingFactor ] . ### http://data.open.ac.uk/ontology/newsclassification#includesClaim nco:includesClaim rdfs:domain nco:Collection , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Claim ] [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:Claim ] ) ; rdf:type owl:Class ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Claim ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Statement ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:allValuesFrom nco:UnifyingFactor ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:Claim ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:UnifyingFactor ] ; rdfs:range nco:Statement , [ rdf:type owl:Class ; owl:unionOf ( nco:AgentComponent nco:Claim ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:claimInNewsItem ; owl:someValuesFrom nco:NewsItem ] , [ rdf:type owl:Restriction ; owl:onProperty nco:concernsTopic ; owl:someValuesFrom nco:Topic ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:someValuesFrom nco:Agent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:claimInNewsItem ; owl:allValuesFrom nco:NewsItem ] , [ rdf:type owl:Restriction ; owl:onProperty nco:concernsTopic ; owl:allValuesFrom nco:Topic ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:Agent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasJustification ; owl:allValuesFrom nco:Justification ] . ### http://data.open.ac.uk/ontology/newsclassification#isClaimOf nco:isClaimOf rdfs:range nco:Collection , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:allValuesFrom nco:UnifyingFactor ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:UnifyingFactor ] . ### http://data.open.ac.uk/ontology/newsclassification#isElementOf nco:isElementOf rdfs:range [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:allValuesFrom nco:UnifyingFactor ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:UnifyingFactor ] . ### http://data.open.ac.uk/ontology/newsclassification#preconditionFor nco:preconditionFor rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] ; rdfs:range [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] . ### http://data.open.ac.uk/ontology/newsclassification#preconditionForEvent nco:preconditionForEvent rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] ; rdfs:range nco:EventOrSituation , [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:AgentComponent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasLocation ; owl:allValuesFrom nco:Location ] . ### http://data.open.ac.uk/ontology/newsclassification#subEventOf nco:subEventOf rdfs:subPropertyOf nco:dependsOn ; rdfs:domain nco:EventOrSituation , [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:AgentComponent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasLocation ; owl:allValuesFrom nco:Location ] ; rdfs:range nco:EventOrSituation , [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:AgentComponent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasLocation ; owl:allValuesFrom nco:Location ] . ### http://data.open.ac.uk/ontology/newsclassification#subTopicOf nco:subTopicOf rdfs:subPropertyOf skos:semanticRelation ; rdfs:domain skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:someValuesFrom owl:Thing ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:cardinality "1"^^xsd:nonNegativeInteger ] ; rdfs:range skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:someValuesFrom owl:Thing ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:cardinality "1"^^xsd:nonNegativeInteger ] . ### http://data.open.ac.uk/ontology/newsclassification#topicInNewsItem nco:topicInNewsItem rdfs:domain skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:someValuesFrom owl:Thing ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:cardinality "1"^^xsd:nonNegativeInteger ] . ### http://data.open.ac.uk/ontology/newsclassification#topicRole nco:topicRole rdfs:range skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:someValuesFrom owl:Thing ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:cardinality "1"^^xsd:nonNegativeInteger ] . ### http://data.open.ac.uk/ontology/newsclassification#topicRoleOf nco:topicRoleOf rdfs:domain skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:someValuesFrom owl:Thing ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:cardinality "1"^^xsd:nonNegativeInteger ] . ### http://data.open.ac.uk/ontology/newsclassification#viewpointInNewsItem nco:viewpointInNewsItem rdfs:domain nco:Collection , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Claim ] [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:Claim ] ) ; rdf:type owl:Class ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Claim ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Statement ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:allValuesFrom nco:UnifyingFactor ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:Claim ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:UnifyingFactor ] . ### http://www.w3.org/2004/02/skos/core#broadMatch skos:broadMatch rdfs:subPropertyOf skos:broaderTransitive , skos:semanticRelation ; rdfs:domain skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] ; rdfs:range skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] . ### http://www.w3.org/2004/02/skos/core#broader skos:broader rdfs:subPropertyOf skos:semanticRelation ; rdfs:domain skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] ; rdfs:range skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] . ### http://www.w3.org/2004/02/skos/core#broaderTransitive skos:broaderTransitive rdfs:domain skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] ; rdfs:range skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] . ### http://www.w3.org/2004/02/skos/core#closeMatch skos:closeMatch rdfs:subPropertyOf skos:semanticRelation ; rdfs:domain skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] ; rdfs:range skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] . ### http://www.w3.org/2004/02/skos/core#exactMatch skos:exactMatch rdfs:subPropertyOf skos:mappingRelation , skos:semanticRelation ; rdfs:domain skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] ; rdfs:range skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] . ### http://www.w3.org/2004/02/skos/core#hasTopConcept skos:hasTopConcept rdfs:range [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] . ### http://www.w3.org/2004/02/skos/core#mappingRelation skos:mappingRelation rdfs:domain skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] ; rdfs:range skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] . ### http://www.w3.org/2004/02/skos/core#member skos:member rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] . ### http://www.w3.org/2004/02/skos/core#memberList skos:memberList rdfs:domain skos:Collection , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] . ### http://www.w3.org/2004/02/skos/core#narrowMatch skos:narrowMatch rdfs:subPropertyOf skos:narrowerTransitive , skos:semanticRelation ; rdfs:domain skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] ; rdfs:range skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] . ### http://www.w3.org/2004/02/skos/core#narrower skos:narrower rdfs:subPropertyOf skos:semanticRelation ; rdfs:domain skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] ; rdfs:range skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] . ### http://www.w3.org/2004/02/skos/core#narrowerTransitive skos:narrowerTransitive rdfs:domain skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] ; rdfs:range skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] . ### http://www.w3.org/2004/02/skos/core#related skos:related rdfs:domain skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] ; rdfs:range skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] . ### http://www.w3.org/2004/02/skos/core#relatedMatch skos:relatedMatch rdfs:subPropertyOf skos:semanticRelation ; rdfs:domain skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] ; rdfs:range skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] . ### http://www.w3.org/2004/02/skos/core#semanticRelation skos:semanticRelation rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] ; rdfs:range [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] . ### http://www.w3.org/2004/02/skos/core#topConceptOf skos:topConceptOf rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] . ### http://www.w3.org/2006/time#after rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#before rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#dayOfWeek rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#hasBeginning rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#hasDateTimeDescription rdfs:domain , , , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#hasDuration rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#hasDurationDescription rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#hasEnd rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#hasTemporalDuration rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#hasTime rdfs:range [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#inDateTime rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#inTemporalPosition rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#inTimePosition rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#inside rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#intervalAfter rdfs:domain , , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#intervalBefore rdfs:domain , , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#intervalContains rdfs:domain , , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#intervalDisjoint rdfs:domain , , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#intervalDuring rdfs:domain , , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#intervalEquals rdfs:domain , , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#intervalFinishedBy rdfs:domain , , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#intervalFinishes rdfs:domain , , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#intervalIn rdfs:domain , , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#intervalMeets rdfs:domain , , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#intervalMetBy rdfs:domain , , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#intervalOverlappedBy rdfs:domain , , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#intervalOverlaps rdfs:domain , , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#intervalStartedBy rdfs:domain , , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#intervalStarts rdfs:domain , , [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range , , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#monthOfYear rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] ; rdfs:range , , , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:hasValue ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:hasValue ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom xsd:gDay ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom xsd:gMonth ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom xsd:gYear ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "0"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "0"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "0"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "0"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "0"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "0"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#timeZone rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#unitType rdfs:range . ################################################################# # Data properties ################################################################# ### http://www.w3.org/2006/time#day rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#dayOfYear rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#days rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#hasXSDDuration rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#hour rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#hours rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#inXSDDate rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#inXSDDateTime rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#inXSDDateTimeStamp rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#inXSDgYear rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#inXSDgYearMonth rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#minute rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#minutes rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#month rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#months rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#nominalPosition rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#numericDuration rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#numericPosition rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#second rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#seconds rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#week rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#weeks rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#xsdDateTime rdfs:domain , , , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#year rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#years rdfs:domain , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ################################################################# # Classes ################################################################# ### http://data.open.ac.uk/ontology/ncoexamples#Person nco_ex:Person rdf:type owl:Class ; rdfs:subClassOf nco:Agent . ### http://data.open.ac.uk/ontology/ncoexamples#Vaccine nco_ex:Vaccine rdf:type owl:Class ; rdfs:subClassOf nco:Agent . ### http://data.open.ac.uk/ontology/ncoexamples#Virus nco_ex:Virus rdf:type owl:Class ; rdfs:subClassOf nco:Agent . ### http://data.open.ac.uk/ontology/newsclassification#AgentComponent nco:AgentComponent rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( nco:AgentComponent nco:Claim ) ] . ### http://data.open.ac.uk/ontology/newsclassification#CategoricalTopic nco:CategoricalTopic rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:someValuesFrom owl:Thing ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:cardinality "1"^^xsd:nonNegativeInteger ] . ### http://data.open.ac.uk/ontology/newsclassification#Claim nco:Claim rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( nco:AgentComponent nco:Claim ) ] . ### http://data.open.ac.uk/ontology/newsclassification#CollectionOfEvents nco:CollectionOfEvents rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:allValuesFrom nco:UnifyingFactor ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:UnifyingFactor ] . ### http://data.open.ac.uk/ontology/newsclassification#Description nco:Description rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:allValuesFrom nco:UnifyingFactor ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:UnifyingFactor ] . ### http://data.open.ac.uk/ontology/newsclassification#Event nco:Event rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] . ### http://data.open.ac.uk/ontology/newsclassification#EventOrSituation nco:EventOrSituation rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] . ### http://data.open.ac.uk/ontology/newsclassification#NegativeEvent nco:NegativeEvent rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:AgentComponent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasLocation ; owl:allValuesFrom nco:Location ] . ### http://data.open.ac.uk/ontology/newsclassification#OmissionEvent nco:OmissionEvent rdfs:subClassOf nco:NegativeEvent , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:AgentComponent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasLocation ; owl:allValuesFrom nco:Location ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasOmittedEvent ; owl:allValuesFrom nco:Event ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasOmittedEvent ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:Event ] . ### http://data.open.ac.uk/ontology/newsclassification#PredictionEvent nco:PredictionEvent rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:AgentComponent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasLocation ; owl:allValuesFrom nco:Location ] . ### http://data.open.ac.uk/ontology/newsclassification#Situation nco:Situation rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:allValuesFrom nco:UnifyingFactor ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:UnifyingFactor ] . ### http://data.open.ac.uk/ontology/newsclassification#Topic nco:Topic rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] . ### http://data.open.ac.uk/ontology/newsclassification#Viewpoint nco:Viewpoint rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Claim ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Statement ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:allValuesFrom nco:UnifyingFactor ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:Claim ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:UnifyingFactor ] . ### http://www.w3.org/2004/02/skos/core#Collection skos:Collection rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] . ### http://www.w3.org/2004/02/skos/core#Concept skos:Concept rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] . ### http://www.w3.org/2004/02/skos/core#OrderedCollection skos:OrderedCollection rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] . ### http://www.w3.org/2006/time#DateTimeDescription rdfs:subClassOf , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#DateTimeInterval rdfs:subClassOf , , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#Duration rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#DurationDescription rdfs:subClassOf , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#GeneralDateTimeDescription rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#GeneralDurationDescription rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#Instant rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#Interval rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#January rdfs:subClassOf , , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:hasValue ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom xsd:gDay ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom xsd:gMonth ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom xsd:gYear ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#MonthOfYear rdfs:subClassOf , , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:hasValue ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom xsd:gDay ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom xsd:gMonth ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom xsd:gYear ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#ProperInterval rdfs:subClassOf , [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#TemporalEntity rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#TemporalPosition rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( ) ] . ### http://www.w3.org/2006/time#TimePosition rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#Year rdfs:subClassOf , , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:hasValue ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom xsd:decimal ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom xsd:decimal ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom xsd:decimal ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom xsd:decimal ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom xsd:decimal ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom xsd:decimal ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom xsd:decimal ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ################################################################# # Individuals ################################################################# ### http://data.open.ac.uk/ontology/ncoexamples#T_businessPerson1 nco_ex:T_businessPerson1 rdf:type owl:NamedIndividual , nco:Topic , skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:someValuesFrom owl:Thing ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:cardinality "1"^^xsd:nonNegativeInteger ] ; nco:topicRoleOf nco_ex:businessPerson1 . ### http://data.open.ac.uk/ontology/ncoexamples#T_dt nco_ex:T_dt rdf:type owl:NamedIndividual , nco:Topic , skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:someValuesFrom owl:Thing ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:cardinality "1"^^xsd:nonNegativeInteger ] ; nco:inNewsItem nco_ex:ni_dt ; nco:topicInNewsItem nco_ex:ni_dt ; nco:topicRoleOf nco_ex:d_trump . ### http://data.open.ac.uk/ontology/ncoexamples#T_dt_financial_status nco_ex:T_dt_financial_status rdf:type owl:NamedIndividual , nco:Topic , skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:someValuesFrom owl:Thing ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:cardinality "1"^^xsd:nonNegativeInteger ] ; nco:inNewsItem nco_ex:ni37239 ; nco:subTopicOf nco_ex:T_financial_status ; nco:topicInNewsItem nco_ex:ni37239 ; nco:topicRoleOf nco_ex:dt_financial_status ; skos:narrowerTransitive nco_ex:T_financial_status ; skos:semanticRelation nco_ex:T_financial_status . ### http://data.open.ac.uk/ontology/ncoexamples#T_financial_status nco_ex:T_financial_status rdf:type owl:NamedIndividual , nco:Topic , skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:someValuesFrom owl:Thing ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:cardinality "1"^^xsd:nonNegativeInteger ] ; nco:hasSubTopic nco_ex:T_dt_financial_status ; skos:broaderTransitive nco_ex:T_dt_financial_status ; skos:semanticRelation nco_ex:T_dt_financial_status . ### http://data.open.ac.uk/ontology/ncoexamples#T_hasBusinessConnection nco_ex:T_hasBusinessConnection rdf:type owl:NamedIndividual , nco:Topic , skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:someValuesFrom owl:Thing ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:cardinality "1"^^xsd:nonNegativeInteger ] ; nco:topicRoleOf nco_ex:hasBusinessConnection . ### http://data.open.ac.uk/ontology/ncoexamples#T_jfk nco_ex:T_jfk rdf:type owl:NamedIndividual , nco:Topic , skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:someValuesFrom owl:Thing ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:cardinality "1"^^xsd:nonNegativeInteger ] ; nco:inNewsItem nco_ex:ni_jfk ; nco:topicInNewsItem nco_ex:ni_jfk ; nco:topicRoleOf nco_ex:jf_kennedy . ### http://data.open.ac.uk/ontology/ncoexamples#T_politician1 nco_ex:T_politician1 rdf:type owl:NamedIndividual , nco:Topic , skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:someValuesFrom owl:Thing ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:cardinality "1"^^xsd:nonNegativeInteger ] ; nco:topicRoleOf nco_ex:politician1 . ### http://data.open.ac.uk/ontology/ncoexamples#T_s2 nco_ex:T_s2 rdf:type owl:NamedIndividual , nco:Topic , skos:Concept , [ rdf:type owl:Class ; owl:unionOf ( skos:Collection skos:Concept ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:someValuesFrom owl:Thing ] , [ rdf:type owl:Restriction ; owl:onProperty nco:topicRoleOf ; owl:cardinality "1"^^xsd:nonNegativeInteger ] ; nco:inNewsItem nco_ex:ni55342 ; nco:topicInNewsItem nco_ex:ni55342 ; nco:topicRoleOf nco_ex:s2 . ### http://data.open.ac.uk/ontology/ncoexamples#businessPerson1 nco_ex:businessPerson1 rdf:type owl:NamedIndividual , nco_ex:Person , nco:Agent ; nco_ex:hasBusinessConnection nco_ex:politician1 ; nco:topicRole nco_ex:T_businessPerson1 . ### http://data.open.ac.uk/ontology/ncoexamples#claim1 nco_ex:claim1 rdf:type owl:NamedIndividual , nco:Claim , nco:Statement , [ rdf:type owl:Class ; owl:unionOf ( nco:AgentComponent nco:Claim ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:claimInNewsItem ; owl:someValuesFrom nco:NewsItem ] , [ rdf:type owl:Restriction ; owl:onProperty nco:concernsTopic ; owl:someValuesFrom nco:Topic ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:someValuesFrom nco:Agent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:isElementOf ; owl:someValuesFrom nco:Collection ] , [ rdf:type owl:Restriction ; owl:onProperty nco:claimInNewsItem ; owl:allValuesFrom nco:NewsItem ] , [ rdf:type owl:Restriction ; owl:onProperty nco:concernsTopic ; owl:allValuesFrom nco:Topic ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:Agent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasJustification ; owl:allValuesFrom nco:Justification ] ; nco:claimInNewsItem nco_ex:ni_claim1 ; nco:inNewsItem nco_ex:ni_claim1 ; nco:isClaimOf nco_ex:viewpoint1 ; nco:isElementOf nco_ex:viewpoint1 ; nco:object nco_ex:covidVirus ; nco:predicate nco_ex:isEffectiveAgainst ; nco:subject nco_ex:pfizerCovidVaccine . ### http://data.open.ac.uk/ontology/ncoexamples#claim2 nco_ex:claim2 rdf:type owl:NamedIndividual , nco:Claim , nco:Statement , [ rdf:type owl:Class ; owl:unionOf ( nco:AgentComponent nco:Claim ) ] , [ rdf:type owl:Restriction ; owl:onProperty nco:claimInNewsItem ; owl:someValuesFrom nco:NewsItem ] , [ rdf:type owl:Restriction ; owl:onProperty nco:concernsTopic ; owl:someValuesFrom nco:Topic ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:someValuesFrom nco:Agent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:isElementOf ; owl:someValuesFrom nco:Collection ] , [ rdf:type owl:Restriction ; owl:onProperty nco:claimInNewsItem ; owl:allValuesFrom nco:NewsItem ] , [ rdf:type owl:Restriction ; owl:onProperty nco:concernsTopic ; owl:allValuesFrom nco:Topic ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasAgent ; owl:allValuesFrom nco:Agent ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasJustification ; owl:allValuesFrom nco:Justification ] ; nco:predicate nco_ex:isEffectiveAgainst ; nco:satisfiesUf nco_ex:uf1 . ### http://data.open.ac.uk/ontology/ncoexamples#claim3 nco_ex:claim3 rdf:type owl:NamedIndividual , nco:Claim ; nco:isElementOf nco_ex:viewpoint1 . ### http://data.open.ac.uk/ontology/ncoexamples#covidVirus nco_ex:covidVirus rdf:type owl:NamedIndividual , nco_ex:Virus . ### http://data.open.ac.uk/ontology/ncoexamples#d_trump nco_ex:d_trump rdf:type owl:NamedIndividual , nco_ex:Person ; nco:hasAspect nco_ex:dt_financial_status ; nco:topicRole nco_ex:T_dt . ### http://data.open.ac.uk/ontology/ncoexamples#dt_financial_status nco_ex:dt_financial_status rdf:type owl:NamedIndividual , nco:Aspect ; nco:isAspectOf nco_ex:d_trump ; nco:topicRole nco_ex:T_dt_financial_status . ### http://data.open.ac.uk/ontology/ncoexamples#hasBusinessConnection nco_ex:hasBusinessConnection rdf:type owl:NamedIndividual , nco:Predicate ; nco:topicRole nco_ex:T_hasBusinessConnection . ### http://data.open.ac.uk/ontology/ncoexamples#isEffectiveAgainst nco_ex:isEffectiveAgainst rdf:type owl:NamedIndividual , nco:Predicate . ### http://data.open.ac.uk/ontology/ncoexamples#jf_kennedy nco_ex:jf_kennedy rdf:type owl:NamedIndividual , nco_ex:Person ; nco:topicRole nco_ex:T_jfk . ### http://data.open.ac.uk/ontology/ncoexamples#ni37239 nco_ex:ni37239 rdf:type owl:NamedIndividual , nco:NewsItem ; nco:hasTopic nco_ex:T_dt_financial_status . ### http://data.open.ac.uk/ontology/ncoexamples#ni55342 nco_ex:ni55342 rdf:type owl:NamedIndividual , nco:NewsItem ; nco:hasTopic nco_ex:T_s2 . ### http://data.open.ac.uk/ontology/ncoexamples#ni_claim1 nco_ex:ni_claim1 rdf:type owl:NamedIndividual , nco:NewsItem ; nco:hasClaim nco_ex:claim1 . ### http://data.open.ac.uk/ontology/ncoexamples#ni_dt nco_ex:ni_dt rdf:type owl:NamedIndividual , nco:NewsItem ; nco:hasTopic nco_ex:T_dt . ### http://data.open.ac.uk/ontology/ncoexamples#ni_jfk nco_ex:ni_jfk rdf:type owl:NamedIndividual , nco:NewsItem ; nco:hasTopic nco_ex:T_jfk . ### http://data.open.ac.uk/ontology/ncoexamples#pfizerCovidVaccine nco_ex:pfizerCovidVaccine rdf:type owl:NamedIndividual , nco_ex:Vaccine ; nco_ex:isEffectiveAgainst nco_ex:covidVirus . ### http://data.open.ac.uk/ontology/ncoexamples#politician1 nco_ex:politician1 rdf:type owl:NamedIndividual , nco_ex:Person ; nco_ex:hasBusinessConnection nco_ex:businessPerson1 ; nco:topicRole nco_ex:T_politician1 . ### http://data.open.ac.uk/ontology/ncoexamples#s1 nco_ex:s1 rdf:type owl:NamedIndividual , nco:Statement ; nco:object nco_ex:T_jfk ; nco:predicate nco:hasTopic ; nco:subject nco_ex:ni_jfk . ### http://data.open.ac.uk/ontology/ncoexamples#s2 nco_ex:s2 rdf:type owl:NamedIndividual , nco:Statement ; nco:object nco_ex:businessPerson1 ; nco:predicate nco_ex:hasBusinessConnection ; nco:subject nco_ex:politician1 ; nco:topicRole nco_ex:T_s2 . ### http://data.open.ac.uk/ontology/ncoexamples#uf1 nco_ex:uf1 rdf:type owl:NamedIndividual , nco:UnifyingFactor ; nco:isUnifyingFactorOf nco_ex:viewpoint1 ; nco:ufSatisfiedBy nco_ex:claim2 . ### http://data.open.ac.uk/ontology/ncoexamples#viewpoint1 nco_ex:viewpoint1 rdf:type owl:NamedIndividual , nco:Collection , nco:Viewpoint , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Claim ] [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:Claim ] ) ; rdf:type owl:Class ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Claim ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Statement ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:allValuesFrom nco:UnifyingFactor ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:Claim ] , [ rdf:type owl:Restriction ; owl:onProperty nco:hasUnifyingFactor ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:UnifyingFactor ] ; nco:hasElement nco_ex:claim1 ; nco:hasUnifyingFactor nco_ex:uf1 ; nco:includesClaim nco_ex:claim1 . ### http://www.w3.org/2006/time#unitDay rdf:type , , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#unitHour rdf:type , , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#unitMinute rdf:type , , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#unitMonth rdf:type , , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#unitSecond rdf:type , , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#unitWeek rdf:type , , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ### http://www.w3.org/2006/time#unitYear rdf:type , , [ rdf:type owl:Class ; owl:unionOf ( ) ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:maxCardinality "1"^^xsd:nonNegativeInteger ] . ################################################################# # General axioms ################################################################# [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Claim ] [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:Claim ] ) ; rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Claim ] ] . [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Claim ] [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:Claim ] ) ; rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Statement ] ] . [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Claim ] [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:Claim ] ) ; rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass nco:Claim ] ] . [ rdf:type owl:Class ; owl:unionOf ( nco:Event nco:Situation ) ; rdfs:subClassOf nco:EventOrSituation ] . [ rdf:type owl:Class ; owl:unionOf ( ) ; rdfs:subClassOf ] . [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Claim ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty nco:hasElement ; owl:allValuesFrom nco:Statement ] ] . [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ; rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] ) ] ] . [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ; rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:cardinality "1"^^xsd:nonNegativeInteger ] ) ] ] . ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi