# Synthetic OWL example for Avouch Studio: a small orchard. All names are invented.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> . @prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix o: <https://example.org/orchard#> . @prefix st: <https://example.org/staff/> .
<https://example.org/orchard> a owl:Ontology ; owl:versionIRI <https://example.org/orchard/1.0> ; owl:versionInfo "1.0" ;
  owl:imports <https://example.org/staff> ; rdfs:comment "Synthetic orchard ontology"@en .
o:Plant a owl:Class ; rdfs:label "Plant"@en, "Plante"@fr ; rdfs:comment "Anything grown in the orchard"@en ; rdfs:subClassOf owl:Thing .
o:Tree a owl:Class ; rdfs:label "Tree"@en ; skos:definition "A woody plant"@en ; rdfs:subClassOf o:Plant, o:Plant ;
  rdfs:subClassOf [ a owl:Restriction ; owl:onProperty o:plantedIn ; owl:hasValue o:NorthPlot ] ; owl:disjointWith o:Fruit .
o:FruitTree a owl:Class ; rdfs:subClassOf o:Tree ,
  [ a owl:Restriction ; owl:onProperty o:bears ; owl:someValuesFrom o:Fruit ] ,
  [ a owl:Restriction ; owl:onProperty o:plantedIn ; owl:allValuesFrom o:Plot ] .
o:AppleTree a owl:Class ; rdfs:label "Apple tree"@en ; owl:equivalentClass [ a owl:Class ; owl:intersectionOf ( o:FruitTree
  [ a owl:Restriction ; owl:onProperty o:bears ; owl:someValuesFrom o:Apple ] ) ] .
o:Fruit a owl:Class ; rdfs:label "Fruit" ; owl:equivalentClass o:Produce .
o:Produce a owl:Class .
o:Apple a owl:Class, o:Fruit ; rdfs:subClassOf o:Fruit .
o:Plot a rdfs:Class ; rdfs:label "Parcelle"@fr .
st:Person a owl:Class ; rdfs:label "Person"@en ; rdfs:subClassOf foaf:Agent .
st:Gardener a owl:Class ; rdfs:label "Gardener"@en ; rdfs:subClassOf st:Person ,
  [ a owl:Restriction ; owl:onProperty o:tends ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass o:Tree ] ,
  [ a owl:Restriction ; owl:onProperty o:tends ; owl:maxCardinality "5"^^xsd:nonNegativeInteger ] .
o:bears a owl:ObjectProperty, owl:InverseFunctionalProperty ; rdfs:domain o:FruitTree ; rdfs:range o:Fruit .
o:plantedIn a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:label "planted in"@en ; rdfs:domain o:Plant ; rdfs:range o:Plot .
o:tends a owl:ObjectProperty ; rdfs:domain st:Gardener ; rdfs:range [ a owl:Class ; owl:unionOf ( o:Tree o:Plot ) ] .
o:tendedBy a owl:ObjectProperty ; owl:inverseOf o:tends .
st:mentors a owl:ObjectProperty, owl:FunctionalProperty, owl:InverseFunctionalProperty ; rdfs:domain st:Gardener ; rdfs:range st:Gardener .
o:height a owl:DatatypeProperty ; rdfs:domain o:Plant ; rdfs:range xsd:decimal .
o:harvestedOn a owl:DatatypeProperty ; rdfs:domain o:Fruit ; rdfs:range xsd:date .
st:fullName a owl:DatatypeProperty ; rdfs:domain st:Person ; rdfs:range xsd:string .
o:NorthPlot a owl:NamedIndividual, o:Plot ; rdfs:label "North plot"@en .
st:alice a st:Gardener .
o:Orphan a owl:NamedIndividual .