@prefix : <http://bigtu-wapa-instances#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix spin: <http://spinrdf.org/spin#> .
@prefix wapa: <http://bigtu-wapa#> .

<http://bigtu-wapa-instances> a owl:Ontology ;
	spin:imports <http://topbraid.org/spin/owlrl-all> ;
	owl:versionInfo "Created with TopBraid Composer" .
# 
# 
# #################################################################
# #
# #    Annotation properties
# #
# #################################################################
# 
# 
# http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled

<http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled> a owl:AnnotationProperty .
# 
# 
# 
# #################################################################
# #
# #    Datatypes
# #
# #################################################################
# 
# 
# http://www.w3.org/2001/XMLSchema#date

xsd:date a rdfs:Datatype .
# 
# 
# 
# #################################################################
# #
# #    Object Properties
# #
# #################################################################
# 
# 
# http://bigtu-wapa#hasProduction

wapa:hasProduction a owl:ObjectProperty ;
	owl:inverseOf wapa:isProductionOf ;
	rdfs:range wapa:Production ;
	rdfs:label "has production" .
# 
# http://bigtu-wapa#hasStock

wapa:hasStock a owl:ObjectProperty ;
	owl:inverseOf wapa:isStockOf ;
	rdfs:range wapa:Stock ;
	rdfs:label "has stock" .
# 
# http://bigtu-wapa#hasVariety

wapa:hasVariety a owl:ObjectProperty ;
	owl:inverseOf wapa:isVarietyOf ;
	rdfs:label "Has variety" .
# 
# http://bigtu-wapa#isInHemisphere

wapa:isInHemisphere a owl:ObjectProperty ;
	rdfs:range wapa:Hemisphere ;
	rdfs:label "Is in hemisphere" .
# 
# http://bigtu-wapa#isInStockAt

wapa:isInStockAt a owl:ObjectProperty ;
	rdfs:domain wapa:Stock ;
	rdfs:label "Is in stock at" .
# 
# http://bigtu-wapa#isMeasuredIn

wapa:isMeasuredIn a owl:ObjectProperty ;
	rdfs:range wapa:Unit ;
	rdfs:label "is measured in" .
# 
# http://bigtu-wapa#isProducedAt

wapa:isProducedAt a owl:ObjectProperty ;
	rdfs:label "Is produced at " .
# 
# http://bigtu-wapa#isProductionOf

wapa:isProductionOf a owl:ObjectProperty ;
	rdfs:domain wapa:Production ;
	rdfs:label "Is production of" .
# 
# http://bigtu-wapa#isStockOf

wapa:isStockOf a owl:ObjectProperty ;
	rdfs:label "Is stock of" .
# 
# http://bigtu-wapa#isVarietyOf

wapa:isVarietyOf a owl:ObjectProperty ;
	rdfs:range wapa:Fruit ;
	rdfs:label "is variety of" .
# 
# 
# 
# #################################################################
# #
# #    Data properties
# #
# #################################################################
# 
# 
# http://bigtu-wapa#hasCountryName

wapa:hasCountryName a owl:DatatypeProperty ;
	rdfs:range xsd:string ;
	rdfs:label "has country name" .
# 
# http://bigtu-wapa#hasFruitName

wapa:hasFruitName a owl:DatatypeProperty ;
	rdfs:range xsd:string ;
	rdfs:label "has fruit name" .
# 
# http://bigtu-wapa#hasHemisphere

wapa:hasHemisphere a owl:DatatypeProperty ;
	rdfs:range xsd:string ;
	rdfs:label "has hemisphere" .
# 
# http://bigtu-wapa#hasProductionType

wapa:hasProductionType a owl:DatatypeProperty ;
	rdfs:range xsd:string ;
	rdfs:label "has production type" .
# 
# http://bigtu-wapa#hasProductionYear

wapa:hasProductionYear a owl:DatatypeProperty ;
	rdfs:range xsd:date ;
	rdfs:label "Has production year " .
# 
# http://bigtu-wapa#hasQuantityValue

wapa:hasQuantityValue a owl:DatatypeProperty ;
	rdfs:range xsd:double ;
	rdfs:label "quantity value" .
# 
# http://bigtu-wapa#hasStockType

wapa:hasStockType a owl:DatatypeProperty ;
	rdfs:range xsd:string .
# 
# http://bigtu-wapa#hasStockYearMonth

wapa:hasStockYearMonth a owl:DatatypeProperty ;
	rdfs:range xsd:date .
# 
# http://bigtu-wapa#hasTest

wapa:hasTest a owl:DatatypeProperty ;
	rdfs:subPropertyOf owl:topDataProperty ;
	rdfs:range xsd:double .
# 
# http://bigtu-wapa#hasUnit

wapa:hasUnit a owl:DatatypeProperty ;
	rdfs:range xsd:string ;
	rdfs:label "has unit" .
# 
# http://bigtu-wapa#hasWAPAName

wapa:hasWAPAName a owl:DatatypeProperty ;
	rdfs:range xsd:string ;
	rdfs:label "has WAPAName" .
# 
# 
# 
# #################################################################
# #
# #    Classes
# #
# #################################################################
# 
# 
# http://bigtu-wapa#ActualProduction

wapa:ActualProduction a owl:Class ;
	rdfs:subClassOf wapa:Production , _:genid1 .

_:genid1 a owl:Restriction ;
	owl:onProperty wapa:isMeasuredIn ;
	owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
	owl:onClass wapa:kiloton .

wapa:ActualProduction rdfs:label "Actual-production" .
# 
# http://bigtu-wapa#ActualStock

wapa:ActualStock a owl:Class ;
	rdfs:subClassOf wapa:Stock , _:genid2 .

_:genid2 a owl:Restriction ;
	owl:onProperty wapa:isMeasuredIn ;
	owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
	owl:onClass wapa:ton .

wapa:ActualStock rdfs:label "Actual-stock" .
# 
# http://bigtu-wapa#Apple

wapa:Apple a owl:Class ;
	rdfs:subClassOf wapa:Fruit , _:genid3 .

_:genid3 a owl:Restriction ;
	owl:onProperty wapa:hasVariety ;
	owl:someValuesFrom wapa:AppleVariety .

wapa:Apple rdfs:label "Apple" .
# 
# http://bigtu-wapa#AppleVariety

wapa:AppleVariety a owl:Class ;
	owl:equivalentClass _:genid189 .

_:genid189 a owl:Restriction ;
	owl:onProperty wapa:isVarietyOf ;
	owl:someValuesFrom wapa:Apple .

wapa:AppleVariety rdfs:subClassOf wapa:FruitVariety , _:genid188 .

_:genid188 a owl:Restriction ;
	owl:onProperty wapa:isVarietyOf ;
	owl:someValuesFrom wapa:Apple .

wapa:AppleVariety rdfs:label "Apple variety" .
# 
# http://bigtu-wapa#Country

wapa:Country a owl:Class ;
	rdfs:subClassOf wapa:Location , _:genid5 .

_:genid5 a owl:Restriction ;
	owl:onProperty wapa:isInHemisphere ;
	owl:someValuesFrom wapa:Hemisphere .

wapa:Country rdfs:subClassOf _:genid6 .

_:genid6 a owl:Restriction ;
	owl:onProperty wapa:hasCountryName ;
	owl:someValuesFrom xsd:string .

wapa:Country rdfs:label "Country" .
# 
# http://bigtu-wapa#ForecastDifference3YearAverage

wapa:ForecastDifference3YearAverage a owl:Class ;
	rdfs:subClassOf wapa:Production , _:genid7 .

_:genid7 a owl:Restriction ;
	owl:onProperty wapa:isMeasuredIn ;
	owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
	owl:onClass wapa:percentage .

wapa:ForecastDifference3YearAverage rdfs:label "Forecast-difference3year-average" .
# 
# http://bigtu-wapa#ForecastDifferencePreviousYear

wapa:ForecastDifferencePreviousYear a owl:Class ;
	rdfs:subClassOf wapa:Production , _:genid8 .

_:genid8 a owl:Restriction ;
	owl:onProperty wapa:isMeasuredIn ;
	owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
	owl:onClass wapa:percentage .

wapa:ForecastDifferencePreviousYear rdfs:label "Forecast-difference-previous-year" .
# 
# http://bigtu-wapa#ForecastProduction

wapa:ForecastProduction a owl:Class ;
	rdfs:subClassOf wapa:Production , _:genid9 .

_:genid9 a owl:Restriction ;
	owl:onProperty wapa:isMeasuredIn ;
	owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
	owl:onClass wapa:kiloton .

wapa:ForecastProduction rdfs:label "Forecast-production" .
# 
# http://bigtu-wapa#Fruit

wapa:Fruit a owl:Class ;
	rdfs:subClassOf owl:Thing , _:genid10 .

_:genid10 a owl:Restriction ;
	owl:onProperty wapa:hasVariety ;
	owl:someValuesFrom wapa:FruitVariety .

wapa:Fruit rdfs:subClassOf _:genid11 .

_:genid11 a owl:Restriction ;
	owl:onProperty wapa:hasFruitName ;
	owl:someValuesFrom xsd:string .

wapa:Fruit rdfs:label "Fruit" .
# 
# http://bigtu-wapa#FruitVariety

wapa:FruitVariety a owl:Class ;
	rdfs:subClassOf owl:Thing , _:genid12 .

_:genid12 a owl:Restriction ;
	owl:onProperty wapa:hasProduction ;
	owl:someValuesFrom wapa:Production .

wapa:FruitVariety rdfs:subClassOf _:genid13 .

_:genid13 a owl:Restriction ;
	owl:onProperty wapa:isVarietyOf ;
	owl:someValuesFrom wapa:Fruit .

wapa:FruitVariety rdfs:subClassOf _:genid14 .

_:genid14 a owl:Restriction ;
	owl:onProperty wapa:hasWAPAName ;
	owl:someValuesFrom xsd:string .

wapa:FruitVariety rdfs:label "Fruit variety" .
# 
# http://bigtu-wapa#Hemisphere

wapa:Hemisphere a owl:Class ;
	rdfs:subClassOf wapa:Location , _:genid15 .

_:genid15 a owl:Restriction ;
	owl:onProperty wapa:hasHemisphere ;
	owl:someValuesFrom xsd:string .

wapa:Hemisphere rdfs:label "Hemisphere" .
# 
# http://bigtu-wapa#Location

wapa:Location a owl:Class ;
	rdfs:subClassOf owl:Thing ;
	rdfs:label "Location" .
# 
# http://bigtu-wapa#MovedStock

wapa:MovedStock a owl:Class ;
	rdfs:subClassOf wapa:Stock , _:genid16 .

_:genid16 a owl:Restriction ;
	owl:onProperty wapa:isMeasuredIn ;
	owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
	owl:onClass wapa:ton .

wapa:MovedStock rdfs:label "Moved-stock" .
# 
# http://bigtu-wapa#NorthernHemisphere

wapa:NorthernHemisphere a owl:Class ;
	rdfs:subClassOf wapa:Hemisphere ;
	owl:disjointWith wapa:SouthernHemisphere ;
	rdfs:label "Northern hemisphere" .
# 
# http://bigtu-wapa#Pear

wapa:Pear a owl:Class ;
	rdfs:subClassOf wapa:Fruit , _:genid17 .

_:genid17 a owl:Restriction ;
	owl:onProperty wapa:hasVariety ;
	owl:someValuesFrom wapa:PearVariety .

wapa:Pear rdfs:label "Pear" .
# 
# http://bigtu-wapa#PearVariety

wapa:PearVariety a owl:Class ;
	rdfs:subClassOf wapa:FruitVariety , _:genid18 .

_:genid18 a owl:Restriction ;
	owl:onProperty wapa:isVarietyOf ;
	owl:someValuesFrom wapa:Pear .

wapa:PearVariety rdfs:label "Pear variety" .
# 
# http://bigtu-wapa#Production

wapa:Production a owl:Class ;
	rdfs:subClassOf owl:Thing , _:genid19 .

_:genid19 a owl:Restriction ;
	owl:onProperty wapa:isMeasuredIn ;
	owl:someValuesFrom wapa:Unit .

wapa:Production rdfs:subClassOf _:genid20 .

_:genid20 a owl:Restriction ;
	owl:onProperty wapa:isProducedAt ;
	owl:someValuesFrom wapa:Country .

wapa:Production rdfs:subClassOf _:genid21 .

_:genid21 a owl:Restriction ;
	owl:onProperty wapa:isProductionOf ;
	owl:someValuesFrom wapa:FruitVariety .

wapa:Production rdfs:subClassOf _:genid22 .

_:genid22 a owl:Restriction ;
	owl:onProperty wapa:hasProductionYear ;
	owl:someValuesFrom xsd:date .

wapa:Production rdfs:subClassOf _:genid23 .

_:genid23 a owl:Restriction ;
	owl:onProperty wapa:hasQuantityValue ;
	owl:someValuesFrom xsd:double .

wapa:Production rdfs:subClassOf _:genid24 .

_:genid24 a owl:Restriction ;
	owl:onProperty wapa:hasProductionType ;
	owl:cardinality "1"^^xsd:nonNegativeInteger .

wapa:Production rdfs:label "Production" .
# 
# http://bigtu-wapa#SouthernHemisphere

wapa:SouthernHemisphere a owl:Class ;
	rdfs:subClassOf wapa:Hemisphere ;
	rdfs:label "Southern hemisphere" .
# 
# http://bigtu-wapa#Stock

wapa:Stock a owl:Class ;
	rdfs:subClassOf owl:Thing , _:genid25 .

_:genid25 a owl:Restriction ;
	owl:onProperty wapa:isInStockAt ;
	owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
	owl:onClass wapa:Country .

wapa:Stock rdfs:subClassOf _:genid26 .

_:genid26 a owl:Restriction ;
	owl:onProperty wapa:isMeasuredIn ;
	owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
	owl:onClass wapa:Unit .

wapa:Stock rdfs:subClassOf _:genid27 .

_:genid27 a owl:Restriction ;
	owl:onProperty wapa:isStockOf ;
	owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
	owl:onClass wapa:FruitVariety .

wapa:Stock rdfs:subClassOf _:genid28 .

_:genid28 a owl:Restriction ;
	owl:onProperty wapa:hasQuantityValue ;
	owl:someValuesFrom xsd:double .

wapa:Stock rdfs:subClassOf _:genid29 .

_:genid29 a owl:Restriction ;
	owl:onProperty wapa:hasStockYearMonth ;
	owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
	owl:onDataRange xsd:date .

wapa:Stock rdfs:label "Stock" .
# 
# http://bigtu-wapa#Unit

wapa:Unit a owl:Class ;
	rdfs:subClassOf owl:Thing , _:genid30 .

_:genid30 a owl:Restriction ;
	owl:onProperty wapa:hasUnit ;
	owl:someValuesFrom xsd:string .

wapa:Unit rdfs:label "Unit" .
# 
# http://bigtu-wapa#YearlyStockChange

wapa:YearlyStockChange a owl:Class ;
	rdfs:subClassOf wapa:Stock , _:genid31 .

_:genid31 a owl:Restriction ;
	owl:onProperty wapa:isMeasuredIn ;
	owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
	owl:onClass wapa:percentage .

wapa:YearlyStockChange rdfs:label "Yearly-stock-change" .
# 
# http://bigtu-wapa#kiloton

wapa:kiloton a owl:Class ;
	rdfs:subClassOf wapa:Unit .
# 
# http://bigtu-wapa#percentage

wapa:percentage a owl:Class ;
	rdfs:subClassOf wapa:Unit .
# 
# http://bigtu-wapa#ton

wapa:ton a owl:Class ;
	rdfs:subClassOf wapa:Unit .
# 
# 
# 
# #################################################################
# #
# #    Individuals
# #
# #################################################################
# 
# 
# http://bigtu-wapa#kiloton

wapa:kiloton a owl:NamedIndividual , wapa:kiloton .
# 
# http://bigtu-wapa#percentage

wapa:percentage a owl:NamedIndividual , wapa:percentage .
# 
# http://bigtu-wapa#ton

wapa:ton a owl:NamedIndividual , wapa:ton .
# 
# http://bigtu-wapa-instances#AbateF

:AbateF a owl:NamedIndividual , wapa:PearVariety ;
	wapa:isVarietyOf :Pear ;
	wapa:hasWAPAName "AbateF" .
# 
# http://bigtu-wapa-instances#Actual-Jun-17-0

:Actual-Jun-17-0 a owl:NamedIndividual , wapa:ActualStock ;
	wapa:isInStockAt :Netherlands ;
	wapa:isStockOf :Boskoop ;
	wapa:hasQuantityValue "50.0"^^xsd:double ;
	wapa:hasStockYearMonth "2017-06-01"^^xsd:date .
# 
# http://bigtu-wapa-instances#Actual-Jun-17-1

:Actual-Jun-17-1 a owl:NamedIndividual , wapa:ActualStock ;
	wapa:isInStockAt :USA ;
	wapa:isStockOf :Braeburn ;
	wapa:hasQuantityValue "60.0"^^xsd:double ;
	wapa:hasStockYearMonth "2017-06-01"^^xsd:date .
# 
# http://bigtu-wapa-instances#Actual-May-17-0

:Actual-May-17-0 a owl:NamedIndividual , wapa:ActualStock ;
	wapa:isInStockAt :Netherlands ;
	wapa:isStockOf :Boskoop ;
	wapa:hasQuantityValue "70.0"^^xsd:double ;
	wapa:hasStockYearMonth "2017-05-01"^^xsd:date .
# 
# http://bigtu-wapa-instances#Actual-May-17-1

:Actual-May-17-1 a owl:NamedIndividual , wapa:ActualStock ;
	wapa:isInStockAt :USA ;
	wapa:isStockOf :Braeburn ;
	wapa:hasQuantityValue "100.0"^^xsd:double ;
	wapa:hasStockYearMonth "2017-05-01"^^xsd:date .
# 
# http://bigtu-wapa-instances#Anjou

:Anjou a owl:NamedIndividual , wapa:PearVariety ;
	wapa:isVarietyOf :Pear ;
	wapa:hasWAPAName "Anjou" .
# 
# http://bigtu-wapa-instances#Annurca

:Annurca a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Annurca" .
# 
# http://bigtu-wapa-instances#Apple

:Apple a owl:NamedIndividual , wapa:Apple ;
	wapa:hasVariety :Annurca , :Boskoop , :Braeburn , :Bramley , :Cameo , :Cortland , :CoxOrange , :CrippsPink , :Elstar , :Empire , :Fuji , :Gala , :Gloster , :GoldenDelicious , :GrannySmith , :Honeycrisp , :Idared , :Jonagold , :Jonagored , :Jonathan , :Lobo , :McIntosh , :Morgendurfimperatore , :Newtown , :NorthernSpy , :Other , :Othernewvarieties , :Pinova , :RIGreening , :RedDelicious , :RedJonaprince , :ReinetteGriseduCanada , :Rome , :Shampion , :Spartan , :Stayman , :Total , :York ;
	wapa:hasFruitName "Apple" .
# 
# http://bigtu-wapa-instances#Argentina

:Argentina a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :SouthernHemisphere ;
	wapa:hasCountryName "Argentina" .
# 
# http://bigtu-wapa-instances#Australia

:Australia a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :SouthernHemisphere ;
	wapa:hasCountryName "Australia" .
# 
# http://bigtu-wapa-instances#Austria

:Austria a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Austria" .
# 
# http://bigtu-wapa-instances#Belarus

:Belarus a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Belarus" .
# 
# http://bigtu-wapa-instances#Belgium

:Belgium a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Belgium" .
# 
# http://bigtu-wapa-instances#Blanquilla

:Blanquilla a owl:NamedIndividual , wapa:PearVariety ;
	wapa:isVarietyOf :Pear ;
	wapa:hasWAPAName "Blanquilla" .
# 
# http://bigtu-wapa-instances#Bosc

:Bosc a owl:NamedIndividual , wapa:PearVariety ;
	wapa:isVarietyOf :Pear ;
	wapa:hasWAPAName "Bosc" .
# 
# http://bigtu-wapa-instances#Boskoop

:Boskoop a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Boskoop" .
# 
# http://bigtu-wapa-instances#Bosnia-Herzegovina

:Bosnia-Herzegovina a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Bosnia-Herzegovina" .
# 
# http://bigtu-wapa-instances#Braeburn

:Braeburn a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Braeburn" .
# 
# http://bigtu-wapa-instances#Bramley

:Bramley a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Bramley" .
# 
# http://bigtu-wapa-instances#Brazil

:Brazil a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :SouthernHemisphere ;
	wapa:hasCountryName "Brazil" .
# 
# http://bigtu-wapa-instances#Bulgaria

:Bulgaria a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Bulgaria" .
# 
# http://bigtu-wapa-instances#Cameo

:Cameo a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Cameo" .
# 
# http://bigtu-wapa-instances#Canada

:Canada a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Canada" .
# 
# http://bigtu-wapa-instances#Chile

:Chile a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :SouthernHemisphere ;
	wapa:hasCountryName "Chile" .
# 
# http://bigtu-wapa-instances#China

:China a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "China" .
# 
# http://bigtu-wapa-instances#Conference

:Conference a owl:NamedIndividual , wapa:PearVariety ;
	wapa:isVarietyOf :Pear ;
	wapa:hasWAPAName "Conference" .
# 
# http://bigtu-wapa-instances#Cortland

:Cortland a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Cortland" .
# 
# http://bigtu-wapa-instances#Coscia-Ercollini

:Coscia-Ercollini a owl:NamedIndividual , wapa:PearVariety ;
	wapa:isVarietyOf :Pear ;
	wapa:hasWAPAName "Coscia- Ercollini" .
# 
# http://bigtu-wapa-instances#CoxOrange

:CoxOrange a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "CoxOrange" .
# 
# http://bigtu-wapa-instances#CrippsPink

:CrippsPink a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "CrippsPink" .
# 
# http://bigtu-wapa-instances#Croatia

:Croatia a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Croatia" .
# 
# http://bigtu-wapa-instances#Cyprus

:Cyprus a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Cyprus" .
# 
# http://bigtu-wapa-instances#CzechRep

:CzechRep a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "ChechRep" .
# 
# http://bigtu-wapa-instances#Denmark

:Denmark a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Denmark" .
# 
# http://bigtu-wapa-instances#DoyenneduComice

:DoyenneduComice a owl:NamedIndividual , wapa:PearVariety ;
	wapa:isVarietyOf :Pear ;
	wapa:hasWAPAName "Doyenne du Comice" .
# 
# http://bigtu-wapa-instances#Durondeau

:Durondeau a owl:NamedIndividual , wapa:PearVariety ;
	wapa:isVarietyOf :Pear ;
	wapa:hasWAPAName "Durondeau" .
# 
# http://bigtu-wapa-instances#EU28WAPA

:EU28WAPA a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "EU28WAPA" .
# 
# http://bigtu-wapa-instances#Elstar

:Elstar a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Elstar" .
# 
# http://bigtu-wapa-instances#Empire

:Empire a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Empire" .
# 
# http://bigtu-wapa-instances#Estonia

:Estonia a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Estonia" .
# 
# http://bigtu-wapa-instances#Finland

:Finland a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Finland" .
# 
# http://bigtu-wapa-instances#France

:France a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "France" .
# 
# http://bigtu-wapa-instances#Fuji

:Fuji a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Fuji" .
# 
# http://bigtu-wapa-instances#Gala

:Gala a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Gala" .
# 
# http://bigtu-wapa-instances#Germany

:Germany a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Germany" .
# 
# http://bigtu-wapa-instances#Gloster

:Gloster a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Gloster" .
# 
# http://bigtu-wapa-instances#GoldenDelicious

:GoldenDelicious a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Golden Delicious" .
# 
# http://bigtu-wapa-instances#GrannySmith

:GrannySmith a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Granny Smith" .
# 
# http://bigtu-wapa-instances#Greece

:Greece a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Greece" .
# 
# http://bigtu-wapa-instances#Guyot

:Guyot a owl:NamedIndividual , wapa:PearVariety ;
	wapa:isVarietyOf :Pear ;
	wapa:hasWAPAName "Guyot" .
# 
# http://bigtu-wapa-instances#Honeycrisp

:Honeycrisp a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Honeycrisp" .
# 
# http://bigtu-wapa-instances#Hungary

:Hungary a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Hungary" .
# 
# http://bigtu-wapa-instances#Idared

:Idared a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Idared" .
# 
# http://bigtu-wapa-instances#Ireland

:Ireland a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Ireland" .
# 
# http://bigtu-wapa-instances#Italy

:Italy a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Italy" .
# 
# http://bigtu-wapa-instances#Jonagold

:Jonagold a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Jonagold" .
# 
# http://bigtu-wapa-instances#Jonagored

:Jonagored a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Jonagored" .
# 
# http://bigtu-wapa-instances#Jonathan

:Jonathan a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Jonathan" .
# 
# http://bigtu-wapa-instances#Kaiser

:Kaiser a owl:NamedIndividual , wapa:PearVariety ;
	wapa:isVarietyOf :Pear ;
	wapa:hasWAPAName "Kaiser" .
# 
# http://bigtu-wapa-instances#Latvia

:Latvia a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Latvia" .
# 
# http://bigtu-wapa-instances#Lithuania

:Lithuania a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Lithuania" .
# 
# http://bigtu-wapa-instances#Lobo

:Lobo a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Lobo" .
# 
# http://bigtu-wapa-instances#Luxembourg

:Luxembourg a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Luxembourg" .
# 
# http://bigtu-wapa-instances#Macedonia

:Macedonia a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Macedonia" .
# 
# http://bigtu-wapa-instances#McIntosh

:McIntosh a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Mc Intosh" .
# 
# http://bigtu-wapa-instances#Mexico

:Mexico a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Mexico" .
# 
# http://bigtu-wapa-instances#Moldova

:Moldova a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Moldova" .
# 
# http://bigtu-wapa-instances#Morgendurfimperatore

:Morgendurfimperatore a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Morgendurf/ imperatore" .
# 
# http://bigtu-wapa-instances#Moved-Jun-17-0

:Moved-Jun-17-0 a owl:NamedIndividual , wapa:MovedStock ;
	wapa:isInStockAt :Netherlands ;
	wapa:isStockOf :Boskoop ;
	wapa:hasStockYearMonth "2017-06-01"^^xsd:date .
# 
# http://bigtu-wapa-instances#Moved-Jun-17-1

:Moved-Jun-17-1 a owl:NamedIndividual , wapa:MovedStock ;
	wapa:isInStockAt :USA ;
	wapa:isStockOf :Braeburn ;
	wapa:hasStockYearMonth "2017-06-01"^^xsd:date .
# 
# http://bigtu-wapa-instances#Netherlands

:Netherlands a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Netherlands" .
# 
# http://bigtu-wapa-instances#NewZealand

:NewZealand a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :SouthernHemisphere ;
	wapa:hasCountryName "NewZealand" .
# 
# http://bigtu-wapa-instances#Newtown

:Newtown a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Newtown" .
# 
# http://bigtu-wapa-instances#NorthernHemisphere

:NorthernHemisphere a owl:NamedIndividual , wapa:NorthernHemisphere ;
	wapa:hasHemisphere "Northern Hemisphere" .
# 
# http://bigtu-wapa-instances#NorthernSpy

:NorthernSpy a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Northern Spy" .
# 
# http://bigtu-wapa-instances#Other

:Other a owl:NamedIndividual , wapa:AppleVariety , wapa:PearVariety ;
	wapa:isVarietyOf :Apple , :Pear ;
	wapa:hasWAPAName "Other" .
# 
# http://bigtu-wapa-instances#OtherReds

:OtherReds a owl:NamedIndividual , wapa:PearVariety ;
	wapa:isVarietyOf :Pear ;
	wapa:hasWAPAName "Other Reds" .
# 
# http://bigtu-wapa-instances#Othernewvarieties

:Othernewvarieties a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Other new varieties" .
# 
# http://bigtu-wapa-instances#Passacrassana

:Passacrassana a owl:NamedIndividual , wapa:PearVariety ;
	wapa:isVarietyOf :Pear ;
	wapa:hasWAPAName "Passacrassana" .
# 
# http://bigtu-wapa-instances#Pear

:Pear a owl:NamedIndividual , wapa:Pear ;
	wapa:hasVariety :AbateF , :Anjou , :Blanquilla , :Bosc , :Conference , :Coscia-Ercollini , :DoyenneduComice , :Durondeau , :Guyot , :Kaiser , :Other , :OtherReds , :Passacrassana , :RedAnjou , :Rocha , :Seckel , :Total , :WilliamsBC ;
	wapa:hasFruitName "Pear" .
# 
# http://bigtu-wapa-instances#Pinova

:Pinova a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Pinova" .
# 
# http://bigtu-wapa-instances#Poland

:Poland a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Poland" .
# 
# http://bigtu-wapa-instances#Portugal

:Portugal a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Portugal" .
# 
# http://bigtu-wapa-instances#RIGreening

:RIGreening a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "RI Greening" .
# 
# http://bigtu-wapa-instances#RedAnjou

:RedAnjou a owl:NamedIndividual , wapa:PearVariety ;
	wapa:isVarietyOf :Pear ;
	wapa:hasWAPAName "Red Anjou" .
# 
# http://bigtu-wapa-instances#RedDelicious

:RedDelicious a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Red Delicious" .
# 
# http://bigtu-wapa-instances#RedJonaprince

:RedJonaprince a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Red Jonaprince" .
# 
# http://bigtu-wapa-instances#ReinetteGriseduCanada

:ReinetteGriseduCanada a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Reinette Grise du Canada" .
# 
# http://bigtu-wapa-instances#Rocha

:Rocha a owl:NamedIndividual , wapa:PearVariety ;
	wapa:isVarietyOf :Pear ;
	wapa:hasWAPAName "Rocha" .
# 
# http://bigtu-wapa-instances#Romania

:Romania a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Romania" .
# 
# http://bigtu-wapa-instances#Rome

:Rome a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Rome" .
# 
# http://bigtu-wapa-instances#Russia

:Russia a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Russia" .
# 
# http://bigtu-wapa-instances#Seckel

:Seckel a owl:NamedIndividual , wapa:PearVariety ;
	wapa:isVarietyOf :Pear ;
	wapa:hasWAPAName "Seckel" .
# 
# http://bigtu-wapa-instances#Serbia

:Serbia a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Serbia" .
# 
# http://bigtu-wapa-instances#Shampion

:Shampion a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Shampion" .
# 
# http://bigtu-wapa-instances#Slovakia

:Slovakia a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Slovakia" .
# 
# http://bigtu-wapa-instances#Slovenia

:Slovenia a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Slovenia" .
# 
# http://bigtu-wapa-instances#SouthAfrica

:SouthAfrica a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :SouthernHemisphere ;
	wapa:hasCountryName "SouthAfrica" .
# 
# http://bigtu-wapa-instances#SouthernHemisphere

:SouthernHemisphere a owl:NamedIndividual , wapa:SouthernHemisphere ;
	wapa:hasHemisphere "Southern Hemisphere" .
# 
# http://bigtu-wapa-instances#Spain

:Spain a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Spain" .
# 
# http://bigtu-wapa-instances#Spartan

:Spartan a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Spartan" .
# 
# http://bigtu-wapa-instances#Stayman

:Stayman a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "Stayman" .
# 
# http://bigtu-wapa-instances#Sweden

:Sweden a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Sweden" .
# 
# http://bigtu-wapa-instances#Switzerland

:Switzerland a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Switzerland" .
# 
# http://bigtu-wapa-instances#Total

:Total a owl:NamedIndividual , wapa:AppleVariety , wapa:PearVariety ;
	wapa:isVarietyOf :Apple , :Pear ;
	wapa:hasWAPAName "Total" .
# 
# http://bigtu-wapa-instances#Turkey

:Turkey a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Turkey" .
# 
# http://bigtu-wapa-instances#UK

:UK a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "UK" .
# 
# http://bigtu-wapa-instances#USA

:USA a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "USA" .
# 
# http://bigtu-wapa-instances#Ukraine

:Ukraine a owl:NamedIndividual , wapa:Country ;
	wapa:isInHemisphere :NorthernHemisphere ;
	wapa:hasCountryName "Ukraine" .
# 
# http://bigtu-wapa-instances#WilliamsBC

:WilliamsBC a owl:NamedIndividual , wapa:PearVariety ;
	wapa:isVarietyOf :Pear ;
	wapa:hasWAPAName "Williams BC" .
# 
# http://bigtu-wapa-instances#York

:York a owl:NamedIndividual , wapa:AppleVariety ;
	wapa:isVarietyOf :Apple ;
	wapa:hasWAPAName "York" .
# 
# 
# 
# #################################################################
# #
# #    Annotations
# #
# #################################################################
# 
# 

<http://bigtu-wapa> owl:versionInfo "Created with TopBraid Composer" .
# 

wapa:kiloton rdfs:label "kiloton" .
# 

wapa:ton rdfs:label "ton" .
# 
# 
# 
# #################################################################
# #
# #    Rules
# #
# #################################################################
# 
# 

:s a <http://www.w3.org/2003/11/swrl#Variable> .

:u a <http://www.w3.org/2003/11/swrl#Variable> .

:s1 a <http://www.w3.org/2003/11/swrl#Variable> .

:q1 a <http://www.w3.org/2003/11/swrl#Variable> .

:date1 a <http://www.w3.org/2003/11/swrl#Variable> .

:y a <http://www.w3.org/2003/11/swrl#Variable> .

:m1 a <http://www.w3.org/2003/11/swrl#Variable> .

:d1 a <http://www.w3.org/2003/11/swrl#Variable> .

:t1 a <http://www.w3.org/2003/11/swrl#Variable> .

:v a <http://www.w3.org/2003/11/swrl#Variable> .

:co a <http://www.w3.org/2003/11/swrl#Variable> .

:s2 a <http://www.w3.org/2003/11/swrl#Variable> .

:q2 a <http://www.w3.org/2003/11/swrl#Variable> .

:date2 a <http://www.w3.org/2003/11/swrl#Variable> .

:m2 a <http://www.w3.org/2003/11/swrl#Variable> .

:d2 a <http://www.w3.org/2003/11/swrl#Variable> .

:t2 a <http://www.w3.org/2003/11/swrl#Variable> .

:moved a <http://www.w3.org/2003/11/swrl#Variable> .

:c a <http://www.w3.org/2003/11/swrl#Variable> .

_:genid32 <http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled> "true"^^xsd:boolean ;
	rdfs:comment ""^^xsd:string ;
	rdfs:label "Add unit to actual stock"^^xsd:string ;
	a <http://www.w3.org/2003/11/swrl#Imp> ;
	<http://www.w3.org/2003/11/swrl#body> _:genid35 .

_:genid35 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid36 .

_:genid36 a <http://www.w3.org/2003/11/swrl#ClassAtom> ;
	<http://www.w3.org/2003/11/swrl#classPredicate> wapa:ActualStock ;
	<http://www.w3.org/2003/11/swrl#argument1> :s .

_:genid35 rdf:rest _:genid33 .

_:genid33 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid190 .

_:genid190 a <http://www.w3.org/2003/11/swrl#ClassAtom> ;
	<http://www.w3.org/2003/11/swrl#classPredicate> wapa:ton ;
	<http://www.w3.org/2003/11/swrl#argument1> :u .

_:genid33 rdf:rest rdf:nil .

_:genid32 <http://www.w3.org/2003/11/swrl#head> _:genid37 .

_:genid37 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid193 .

_:genid193 a <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ;
	<http://www.w3.org/2003/11/swrl#propertyPredicate> wapa:isMeasuredIn ;
	<http://www.w3.org/2003/11/swrl#argument1> :s ;
	<http://www.w3.org/2003/11/swrl#argument2> :u .

_:genid37 rdf:rest rdf:nil .

_:genid39 <http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled> "true"^^xsd:boolean ;
	rdfs:comment ""^^xsd:string ;
	rdfs:label "Calculate moved stock per month"^^xsd:string ;
	a <http://www.w3.org/2003/11/swrl#Imp> ;
	<http://www.w3.org/2003/11/swrl#body> _:genid88 .

_:genid88 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid89 .

_:genid89 a <http://www.w3.org/2003/11/swrl#ClassAtom> ;
	<http://www.w3.org/2003/11/swrl#classPredicate> wapa:ActualStock ;
	<http://www.w3.org/2003/11/swrl#argument1> :s1 .

_:genid88 rdf:rest _:genid86 .

_:genid86 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid87 .

_:genid87 a <http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom> ;
	<http://www.w3.org/2003/11/swrl#propertyPredicate> wapa:hasQuantityValue ;
	<http://www.w3.org/2003/11/swrl#argument1> :s1 ;
	<http://www.w3.org/2003/11/swrl#argument2> :q1 .

_:genid86 rdf:rest _:genid84 .

_:genid84 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid85 .

_:genid85 a <http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom> ;
	<http://www.w3.org/2003/11/swrl#propertyPredicate> wapa:hasStockYearMonth ;
	<http://www.w3.org/2003/11/swrl#argument1> :s1 ;
	<http://www.w3.org/2003/11/swrl#argument2> :date1 .

_:genid84 rdf:rest _:genid77 .

_:genid77 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid78 .

_:genid78 a <http://www.w3.org/2003/11/swrl#BuiltinAtom> ;
	<http://www.w3.org/2003/11/swrl#builtin> <http://www.w3.org/2003/11/swrlb#date> .

<http://www.w3.org/2003/11/swrlb#date> a <http://www.w3.org/2003/11/swrl#Builtin> .

_:genid78 <http://www.w3.org/2003/11/swrl#arguments> _:genid83 .

_:genid83 a rdf:List ;
	rdf:first :date1 ;
	rdf:rest _:genid82 .

_:genid82 a rdf:List ;
	rdf:first :y ;
	rdf:rest _:genid81 .

_:genid81 a rdf:List ;
	rdf:first :m1 ;
	rdf:rest _:genid80 .

_:genid80 a rdf:List ;
	rdf:first :d1 ;
	rdf:rest _:genid79 .

_:genid79 a rdf:List ;
	rdf:first :t1 ;
	rdf:rest rdf:nil .

_:genid77 rdf:rest _:genid75 .

_:genid75 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid76 .

_:genid76 a <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ;
	<http://www.w3.org/2003/11/swrl#propertyPredicate> wapa:isStockOf ;
	<http://www.w3.org/2003/11/swrl#argument1> :s1 ;
	<http://www.w3.org/2003/11/swrl#argument2> :v .

_:genid75 rdf:rest _:genid73 .

_:genid73 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid74 .

_:genid74 a <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ;
	<http://www.w3.org/2003/11/swrl#propertyPredicate> wapa:isInStockAt ;
	<http://www.w3.org/2003/11/swrl#argument1> :s1 ;
	<http://www.w3.org/2003/11/swrl#argument2> :co .

_:genid73 rdf:rest _:genid71 .

_:genid71 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid72 .

_:genid72 a <http://www.w3.org/2003/11/swrl#ClassAtom> ;
	<http://www.w3.org/2003/11/swrl#classPredicate> wapa:ActualStock ;
	<http://www.w3.org/2003/11/swrl#argument1> :s2 .

_:genid71 rdf:rest _:genid69 .

_:genid69 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid70 .

_:genid70 a <http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom> ;
	<http://www.w3.org/2003/11/swrl#propertyPredicate> wapa:hasQuantityValue ;
	<http://www.w3.org/2003/11/swrl#argument1> :s2 ;
	<http://www.w3.org/2003/11/swrl#argument2> :q2 .

_:genid69 rdf:rest _:genid67 .

_:genid67 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid68 .

_:genid68 a <http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom> ;
	<http://www.w3.org/2003/11/swrl#propertyPredicate> wapa:hasStockYearMonth ;
	<http://www.w3.org/2003/11/swrl#argument1> :s2 ;
	<http://www.w3.org/2003/11/swrl#argument2> :date2 .

_:genid67 rdf:rest _:genid60 .

_:genid60 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid61 .

_:genid61 a <http://www.w3.org/2003/11/swrl#BuiltinAtom> ;
	<http://www.w3.org/2003/11/swrl#builtin> <http://www.w3.org/2003/11/swrlb#date> ;
	<http://www.w3.org/2003/11/swrl#arguments> _:genid66 .

_:genid66 a rdf:List ;
	rdf:first :date2 ;
	rdf:rest _:genid65 .

_:genid65 a rdf:List ;
	rdf:first :y ;
	rdf:rest _:genid64 .

_:genid64 a rdf:List ;
	rdf:first :m2 ;
	rdf:rest _:genid63 .

_:genid63 a rdf:List ;
	rdf:first :d2 ;
	rdf:rest _:genid62 .

_:genid62 a rdf:List ;
	rdf:first :t2 ;
	rdf:rest rdf:nil .

_:genid60 rdf:rest _:genid58 .

_:genid58 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid59 .

_:genid59 a <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ;
	<http://www.w3.org/2003/11/swrl#propertyPredicate> wapa:isStockOf ;
	<http://www.w3.org/2003/11/swrl#argument1> :s2 ;
	<http://www.w3.org/2003/11/swrl#argument2> :v .

_:genid58 rdf:rest _:genid56 .

_:genid56 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid57 .

_:genid57 a <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ;
	<http://www.w3.org/2003/11/swrl#propertyPredicate> wapa:isInStockAt ;
	<http://www.w3.org/2003/11/swrl#argument1> :s2 ;
	<http://www.w3.org/2003/11/swrl#argument2> :co .

_:genid56 rdf:rest _:genid51 .

_:genid51 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid52 .

_:genid52 a <http://www.w3.org/2003/11/swrl#BuiltinAtom> ;
	<http://www.w3.org/2003/11/swrl#builtin> <http://www.w3.org/2003/11/swrlb#subtract> .

<http://www.w3.org/2003/11/swrlb#subtract> a <http://www.w3.org/2003/11/swrl#Builtin> .

_:genid52 <http://www.w3.org/2003/11/swrl#arguments> _:genid55 .

_:genid55 a rdf:List ;
	rdf:first "1"^^xsd:integer ;
	rdf:rest _:genid54 .

_:genid54 a rdf:List ;
	rdf:first :m1 ;
	rdf:rest _:genid53 .

_:genid53 a rdf:List ;
	rdf:first :m2 ;
	rdf:rest rdf:nil .

_:genid51 rdf:rest _:genid46 .

_:genid46 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid47 .

_:genid47 a <http://www.w3.org/2003/11/swrl#BuiltinAtom> ;
	<http://www.w3.org/2003/11/swrl#builtin> <http://www.w3.org/2003/11/swrlb#subtract> ;
	<http://www.w3.org/2003/11/swrl#arguments> _:genid50 .

_:genid50 a rdf:List ;
	rdf:first :moved ;
	rdf:rest _:genid49 .

_:genid49 a rdf:List ;
	rdf:first :q2 ;
	rdf:rest _:genid48 .

_:genid48 a rdf:List ;
	rdf:first :q1 ;
	rdf:rest rdf:nil .

_:genid46 rdf:rest _:genid44 .

_:genid44 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid45 .

_:genid45 a <http://www.w3.org/2003/11/swrl#ClassAtom> ;
	<http://www.w3.org/2003/11/swrl#classPredicate> wapa:MovedStock ;
	<http://www.w3.org/2003/11/swrl#argument1> :c .

_:genid44 rdf:rest _:genid42 .

_:genid42 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid43 .

_:genid43 a <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ;
	<http://www.w3.org/2003/11/swrl#propertyPredicate> wapa:isStockOf ;
	<http://www.w3.org/2003/11/swrl#argument1> :c ;
	<http://www.w3.org/2003/11/swrl#argument2> :v .

_:genid42 rdf:rest _:genid40 .

_:genid40 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid41 .

_:genid41 a <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ;
	<http://www.w3.org/2003/11/swrl#propertyPredicate> wapa:isInStockAt ;
	<http://www.w3.org/2003/11/swrl#argument1> :c ;
	<http://www.w3.org/2003/11/swrl#argument2> :co .

_:genid40 rdf:rest rdf:nil .

_:genid39 <http://www.w3.org/2003/11/swrl#head> _:genid90 .

_:genid90 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid91 .

_:genid91 a <http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom> ;
	<http://www.w3.org/2003/11/swrl#propertyPredicate> wapa:hasQuantityValue ;
	<http://www.w3.org/2003/11/swrl#argument1> :c ;
	<http://www.w3.org/2003/11/swrl#argument2> :moved .

_:genid90 rdf:rest rdf:nil .

_:genid92 <http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled> "true"^^xsd:boolean ;
	rdfs:comment ""^^xsd:string ;
	rdfs:label "Add unit to moved stock"^^xsd:string ;
	a <http://www.w3.org/2003/11/swrl#Imp> ;
	<http://www.w3.org/2003/11/swrl#body> _:genid94 .

_:genid94 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid95 .

_:genid95 a <http://www.w3.org/2003/11/swrl#ClassAtom> ;
	<http://www.w3.org/2003/11/swrl#classPredicate> wapa:MovedStock ;
	<http://www.w3.org/2003/11/swrl#argument1> :s .

_:genid94 rdf:rest _:genid93 .

_:genid93 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid191 .

_:genid191 a <http://www.w3.org/2003/11/swrl#ClassAtom> ;
	<http://www.w3.org/2003/11/swrl#classPredicate> wapa:ton ;
	<http://www.w3.org/2003/11/swrl#argument1> :u .

_:genid93 rdf:rest rdf:nil .

_:genid92 <http://www.w3.org/2003/11/swrl#head> _:genid96 .

_:genid96 a <http://www.w3.org/2003/11/swrl#AtomList> ;
	rdf:first _:genid192 .

_:genid192 a <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ;
	<http://www.w3.org/2003/11/swrl#propertyPredicate> wapa:isMeasuredIn ;
	<http://www.w3.org/2003/11/swrl#argument1> :s ;
	<http://www.w3.org/2003/11/swrl#argument2> :u .

_:genid96 rdf:rest rdf:nil .
# Generated by the OWL API (version 4.2.6.20160910-2108) https://github.com/owlcs/owlapi