@prefix owl: . @prefix rdf: . @prefix rdfs: . @prefix xml: . @prefix xsd: . @prefix dc: . @prefix dcterms: . @prefix vann: . @prefix artleafs: . @prefix qudt: . @prefix unit: . @prefix bibo: . @prefix dc: . @prefix foaf: . @prefix owl: . @prefix rdfs: . @prefix chebi: . @prefix xsd: . @prefix dbo: . @base . rdf:type owl:Ontology ; dc:creator "Oier Beaskoetxea" ; owl:versionInfo "0.0.1" ; dc:title "Photocatalysis Ontology" ; dc:description "Ontology code created by Chowlk" . ################################################################# # Object Properties ################################################################# ### artleafs:hasPhysicalChemical artleafs:hasPhysicalChemical rdf:type owl:ObjectProperty ; rdfs:label "has physical chemical" . ### artleafs:hasOutput artleafs:hasOutput rdf:type owl:ObjectProperty ; rdfs:label "has output" . ### artleafs:hasMaterialTransformationProcess artleafs:hasMaterialTransformationProcess rdf:type owl:ObjectProperty ; rdfs:label "has material transformation process" . ### artleafs:hasCondition artleafs:hasCondition rdf:type owl:ObjectProperty ; rdfs:label "has condition" . ### artleafs:hasReactionMedium artleafs:hasReactionMedium rdf:type owl:ObjectProperty ; rdfs:label "has reaction medium" . ### artleafs:hasReductant artleafs:hasReductant rdf:type owl:ObjectProperty ; rdfs:label "has reductant" . ### artleafs:hasReactor artleafs:hasReactor rdf:type owl:ObjectProperty ; rdfs:label "has reactor" . ### artleafs:hasLightSource artleafs:hasLightSource rdf:type owl:ObjectProperty ; rdfs:label "has light source" . ### artleafs:hasLamp artleafs:hasLamp rdf:type owl:ObjectProperty ; rdfs:label "has lamp" . ### artleafs:hasCataystSetUp artleafs:hasCataystSetUp rdf:type owl:ObjectProperty ; rdfs:label "has catayst set up" . ### dc:creator dc:creator rdf:type owl:ObjectProperty ; rdfs:label "creator" . ### dc:isPartOf dc:isPartOf rdf:type owl:ObjectProperty ; rdfs:label "is part of" . ### qudt:unit qudt:unit rdf:type owl:ObjectProperty ; rdfs:label "unit" . ### artleafs:hasMass artleafs:hasMass rdf:type owl:ObjectProperty ; rdfs:label "has mass" . ### artleafs:hasChemical artleafs:hasChemical rdf:type owl:ObjectProperty ; rdfs:label "has chemical" . ### artleafs:hasRole artleafs:hasRole rdf:type owl:ObjectProperty ; rdfs:label "has role" . ### artleafs:hasInput artleafs:hasInput rdf:type owl:ObjectProperty ; rdfs:label "has input" . ### artleafs:hasChemical artleafs:hasChemical rdf:type owl:ObjectProperty ; rdfs:label "has chemical" . ### qudt:GM qudt:GM rdf:type owl:ObjectProperty ; rdfs:label "g m" . ### qudt:BAR qudt:BAR rdf:type owl:ObjectProperty ; rdfs:label "b a r" . ### qudt:PER-HR qudt:PER-HR rdf:type owl:ObjectProperty ; rdfs:label "p e r- h r" . ### qudt:HR qudt:HR rdf:type owl:ObjectProperty ; rdfs:label "h r" . ### qudt:M2 qudt:M2 rdf:type owl:ObjectProperty ; rdfs:label "m2" . ### qudt:W qudt:W rdf:type owl:ObjectProperty ; rdfs:label "w" . ### qudt:W-PER-M2 qudt:W-PER-M2 rdf:type owl:ObjectProperty ; rdfs:label "w- p e r- m2" . ### qudt:NanoM qudt:NanoM rdf:type owl:ObjectProperty ; rdfs:label "nano m" . ### qudt:L qudt:L rdf:type owl:ObjectProperty ; rdfs:label "l" . ### artleafs:hasEg artleafs:hasEg rdf:type owl:ObjectProperty ; rdfs:label "has eg" . ### artleafs:hasBET artleafs:hasBET rdf:type owl:ObjectProperty ; rdfs:label "has b e t" . ### qudt:EV qudt:EV rdf:type owl:ObjectProperty ; rdfs:label "e v" . ### qudt:M2-PER-GM qudt:M2-PER-GM rdf:type owl:ObjectProperty ; rdfs:label "m2- p e r- g m" . ### artleafs:hasTemperature artleafs:hasTemperature rdf:type owl:ObjectProperty ; rdfs:label "has temperature" . ### qudt:DEG_C qudt:DEG_C rdf:type owl:ObjectProperty ; rdfs:label "d e g_ c" . ### artleafs:hasPressure artleafs:hasPressure rdf:type owl:ObjectProperty ; rdfs:label "has pressure" . ### artleafs:hasSpaceVelocity artleafs:hasSpaceVelocity rdf:type owl:ObjectProperty ; rdfs:label "has space velocity" . ### artleafs:hasIluminatedArea artleafs:hasIluminatedArea rdf:type owl:ObjectProperty ; rdfs:label "has iluminated area" . ### artleafs:hasIrradiance artleafs:hasIrradiance rdf:type owl:ObjectProperty ; rdfs:label "has irradiance" . ### artleafs:hasPower artleafs:hasPower rdf:type owl:ObjectProperty ; rdfs:label "has power" . ### artleafs:hasVolume artleafs:hasVolume rdf:type owl:ObjectProperty ; rdfs:label "has volume" . ### artleafs:hasReactionTime artleafs:hasReactionTime rdf:type owl:ObjectProperty ; rdfs:label "has reaction time" . ################################################################# # Data Properties ################################################################# ### artleafs:percentage artleafs:percentage rdf:type owl:DatatypeProperty ; rdfs:range xsd:xsd ; rdfs:label "percentage" . ### artleafs:name artleafs:name rdf:type owl:DatatypeProperty ; rdfs:range xsd:xsd ; rdfs:label "name" . ### artleafs:reactionMediumType artleafs:reactionMediumType rdf:type owl:DatatypeProperty ; rdfs:range xsd:xsd ; rdfs:label "reaction medium type" . ### artleafs:PH artleafs:PH rdf:type owl:DatatypeProperty ; rdfs:range xsd:double ; rdfs:label "p h" . ### artleafs:operationMode artleafs:operationMode rdf:type owl:DatatypeProperty ; rdfs:range xsd:xsd ; rdfs:label "operation mode" . ### artleafs:reactorType artleafs:reactorType rdf:type owl:DatatypeProperty ; rdfs:range xsd:xsd ; rdfs:label "reactor type" . ### artleafs:lightSourceType artleafs:lightSourceType rdf:type owl:DatatypeProperty ; rdfs:range xsd:xsd ; rdfs:label "light source type" . ### artleafs:lampType artleafs:lampType rdf:type owl:DatatypeProperty ; rdfs:range xsd:xsd ; rdfs:label "lamp type" . ### bibo:doi bibo:doi rdf:type owl:DatatypeProperty ; rdfs:label "doi" . ### bibo:abstract bibo:abstract rdf:type owl:DatatypeProperty ; rdfs:label "abstract" . ### bibo:volume bibo:volume rdf:type owl:DatatypeProperty ; rdfs:label "volume" . ### dc:title dc:title rdf:type owl:DatatypeProperty ; rdfs:label "title" . ### bibo:issue bibo:issue rdf:type owl:DatatypeProperty ; rdfs:label "issue" . ### dc:date dc:date rdf:type owl:DatatypeProperty ; rdfs:label "date" . ### bibo:pageStart bibo:pageStart rdf:type owl:DatatypeProperty ; rdfs:label "page start" . ### bibo:pageEnd bibo:pageEnd rdf:type owl:DatatypeProperty ; rdfs:label "page end" . ### foaf:mbox foaf:mbox rdf:type owl:DatatypeProperty ; rdfs:label "mbox" . ### dbo:country dbo:country rdf:type owl:DatatypeProperty ; rdfs:label "country" . ### artleafs:setUpType artleafs:setUpType rdf:type owl:DatatypeProperty ; rdfs:range xsd:xsd ; rdfs:label "set up type" . ### chebi:formula chebi:formula rdf:type owl:DatatypeProperty ; rdfs:range xsd:xsd ; rdfs:label "formula" . ### qudt:numericValue qudt:numericValue rdf:type owl:DatatypeProperty ; rdfs:range xsd:xsd ; rdfs:label "numeric value" . ################################################################# # Classes ################################################################# ### artleafs:MaterialTransformationProcess artleafs:MaterialTransformationProcess rdf:type owl:Class ; rdfs:label "Material Transformation Process" ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty artleafs:hasPhysicalChemical ; owl:cardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty artleafs:hasOutput ; owl:minCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty artleafs:hasOutput ; owl:maxCardinality "*"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty artleafs:hasCondition ; owl:cardinality "1"^^xsd:nonNegativeInteger ] . ### artleafs:Input artleafs:Input rdf:type owl:Class ; rdfs:label "Input" ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty artleafs:hasMaterialTransformationProcess ; owl:minCardinality "1"^^xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty artleafs:hasMaterialTransformationProcess ; owl:maxCardinality "*"^^xsd:nonNegativeInteger ] . ### artleafs:Dopant artleafs:Dopant rdf:type owl:Class ; rdfs:label "Dopant" . ### artleafs:Support artleafs:Support rdf:type owl:Class ; rdfs:label "Support" . ### artleafs:Dye artleafs:Dye rdf:type owl:Class ; rdfs:label "Dye" . ### artleafs:Catalyst artleafs:Catalyst rdf:type owl:Class ; rdfs:label "Catalyst" . ### artleafs:ReactionMedium artleafs:ReactionMedium rdf:type owl:Class ; rdfs:label "Reaction Medium" . ### artleafs:Condition artleafs:Condition rdf:type owl:Class ; rdfs:label "Condition" . ### artleafs:Reactor artleafs:Reactor rdf:type owl:Class ; rdfs:label "Reactor" . ### artleafs:Reductant artleafs:Reductant rdf:type owl:Class ; rdfs:label "Reductant" . ### artleafs:LightSource artleafs:LightSource rdf:type owl:Class ; rdfs:label "Light Source" . ### artleafs:Lamp artleafs:Lamp rdf:type owl:Class ; rdfs:label "Lamp" . ### bibo:Article bibo:Article rdf:type owl:Class ; rdfs:label "Article" . ### foaf:Person foaf:Person rdf:type owl:Class ; rdfs:label "Person" . ### bibo:Journal bibo:Journal rdf:type owl:Class ; rdfs:label "Journal" . ### artleafs:Output artleafs:Output rdf:type owl:Class ; rdfs:label "Output" . ### artleafs:Mass artleafs:Mass rdf:type owl:Class ; rdfs:label "Mass" . ### artleafs:CatalystSetUp artleafs:CatalystSetUp rdf:type owl:Class ; rdfs:label "Catalyst Set Up" . ### artleafs:MaterialTransformationRole artleafs:MaterialTransformationRole rdf:type owl:Class ; rdfs:label "Material Transformation Role" . ### artleafs:Co-catalyst artleafs:Co-catalyst rdf:type owl:Class ; rdfs:label "Co-catalyst" . ### qudt:Unit qudt:Unit rdf:type owl:Class ; rdfs:label "Unit" . ### artleafs:Quantity artleafs:Quantity rdf:type owl:Class ; rdfs:label "Quantity" . ### qudt:Unit qudt:Unit rdf:type owl:Class ; rdfs:label "Unit" . ### artleafs:Quantity artleafs:Quantity rdf:type owl:Class ; rdfs:label "Quantity" . ### artleafs:Temperature artleafs:Temperature rdf:type owl:Class ; rdfs:label "Temperature" . ### artleafs:Pressure artleafs:Pressure rdf:type owl:Class ; rdfs:label "Pressure" . ### artleafs:SpaceVelocity artleafs:SpaceVelocity rdf:type owl:Class ; rdfs:label "Space Velocity" . ### artleafs:ReactionTime artleafs:ReactionTime rdf:type owl:Class ; rdfs:label "Reaction Time" . ### artleafs:IluminatedArea artleafs:IluminatedArea rdf:type owl:Class ; rdfs:label "Iluminated Area" . ### artleafs:Power artleafs:Power rdf:type owl:Class ; rdfs:label "Power" . ### artleafs:Irradiance artleafs:Irradiance rdf:type owl:Class ; rdfs:label "Irradiance" . ### artleafs:Wavelength artleafs:Wavelength rdf:type owl:Class ; rdfs:label "Wavelength" . ### artleafs:Volume artleafs:Volume rdf:type owl:Class ; rdfs:label "Volume" . ### artleafs:Eg artleafs:Eg rdf:type owl:Class ; rdfs:label "Eg" . ### artleafs:BET artleafs:BET rdf:type owl:Class ; rdfs:label "B E T" . ### artleafs:PhysicalChemical artleafs:PhysicalChemical rdf:type owl:Class ; rdfs:label "Physical Chemical" ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty artleafs:hasInput ; owl:maxCardinality "*"^^xsd:nonNegativeInteger ] . ################################################################# # Instances ################################################################# ################################################################# # General Axioms #################################################################