diff --git a/disciplines/materials.ttl b/disciplines/materials.ttl index e6e9e17f..25bebb0a 100644 --- a/disciplines/materials.ttl +++ b/disciplines/materials.ttl @@ -12,17 +12,17 @@ owl:versionIRI ; owl:imports ; dcterms:abstract "The materials module populates the physicalistic perspective with materials subclasses categorised according to modern applied physical sciences."@en ; - dcterms:creator , - , - , + dcterms:creator , , - ; + , + , + ; dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ; dcterms:publisher ; dcterms:title "Materials"@en ; - :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" ; rdfs:comment "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ; - owl:versionInfo "1.0.0-rc1" . + owl:versionInfo "1.0.0-rc1" ; + :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" . ################################################################# # Annotation properties @@ -614,7 +614,14 @@ A single continuum individual can be the whole fluid in a pipe."""@en , ### https://w3id.org/emmo#EMMO_f678173d_f036_4df1_a86b_2894560be617 :EMMO_f678173d_f036_4df1_a86b_2894560be617 rdf:type owl:Class ; - skos:prefLabel "CompositeMaterial"@en . + rdfs:subClassOf [ rdf:type owl:Restriction ; + owl:onProperty :EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846 ; + owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ; + owl:onClass :EMMO_4207e895_8b83_4318_996a_72cfb32acd94 + ] ; + skos:altLabel "Composite"@en ; + skos:prefLabel "CompositeMaterial"@en ; + :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A material that contains two or more constituent materials."@en . ### https://w3id.org/emmo#EMMO_fb27e6d6_159e_48a6_9c29_76dc31d8a860 @@ -622,25 +629,25 @@ A single continuum individual can be the whole fluid in a pipe."""@en , skos:prefLabel "PolymericMaterial"@en . -[ owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger +[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ] . -[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger +[ owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ] . [ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ] . -[ owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger +[ owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ] . [ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ] . -[ owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger +[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ] . -[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger +[ owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ] . ### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi