diff --git a/thermodynamics.ttl b/thermodynamics.ttl new file mode 100644 index 0000000..fcdf75c --- /dev/null +++ b/thermodynamics.ttl @@ -0,0 +1,94 @@ +@prefix : . +@prefix ex: . +@prefix owl: . +@prefix rdf: . +@prefix xml: . +@prefix xsd: . +@prefix rdfs: . +@base . + + rdf:type owl:Ontology ; + owl:imports . + +################################################################# +# Object Properties +################################################################# + +### https://w3id.org/pmd/co/PMD_0020112 + rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf ; + rdfs:range ; + rdfs:label "consists of"@en . + + +################################################################# +# Classes +################################################################# + +### https://w3id.org/pmd/co/PMD_0020111 + rdf:type owl:Class ; + rdfs:subClassOf ; + rdfs:label "portion of matter"@en . + + +### https://w3id.org/pmd/co/PMD_0020113 + rdf:type owl:Class ; + rdfs:subClassOf [ owl:intersectionOf ( + [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass + ] + ) ; + rdf:type owl:Class + ] ; + owl:disjointWith ; + rdfs:label "Intensive tdp"@en . + + +### https://w3id.org/pmd/co/PMD_0020114 + rdf:type owl:Class ; + rdfs:subClassOf [ owl:intersectionOf ( + [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass [ rdf:type owl:Class ; + owl:unionOf ( + + ) + ] + ] + ) ; + rdf:type owl:Class + ] ; + rdfs:label "Extensive tdp"@en . + + +################################################################# +# Individuals +################################################################# + +### https://www.iwm.fraunhofer.de/ontologies/example/mass +ex:mass rdf:type owl:NamedIndividual , + . + + +### https://www.iwm.fraunhofer.de/ontologies/example/temperature +ex:temperature rdf:type owl:NamedIndividual , + . + + +### https://www.iwm.fraunhofer.de/ontologies/example/portion of steel + rdf:type owl:NamedIndividual , + ; + ex:temperature . + + +### https://www.iwm.fraunhofer.de/ontologies/example/steel sheet + rdf:type owl:NamedIndividual , + ; + ex:mass ; + . + + +### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi