diff --git a/atomistic.ttl b/atomistic.ttl index 85e97ef..75354fe 100644 --- a/atomistic.ttl +++ b/atomistic.ttl @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix core: . @prefix emmo: . @prefix owl: . @@ -8,7 +8,7 @@ @prefix xml: . @prefix xsd: . - a owl:Ontology ; + a owl:Ontology ; emmo:EMMO_5525a055_dda5_4556_8b91_f0d22fa676cc "https://creativecommons.org/licenses/by/4.0/legalcode"@en ; term:abstract "An EMMO-based domain ontology for atomistic and electronic modelling.Atomistic is released under the Creative Commons Attribution 4.0 International license (CC BY 4.0)."@en ; term:contributor "SINTEF"@en ; @@ -30,7 +30,7 @@ email: francesca.l.bleken@sintef.no"""@en, owl:versionIRI ; owl:versionInfo "0.0.1"@en . - a owl:Class ; + a owl:Class ; emmo:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Physical dimensionality of charge density."@en ; rdfs:subClassOf emmo:EMMO_9895a1b4_f0a5_4167_ac5e_97db40b8bfcc ; owl:equivalentClass [ a owl:Restriction ; @@ -38,7 +38,7 @@ email: francesca.l.bleken@sintef.no"""@en, owl:onProperty emmo:EMMO_23b579e1_8088_45b5_9975_064014026c42 ] ; core:prefLabel "ChargeDensityDimension"@en . - a owl:Class ; + a owl:Class ; emmo:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 """An efficient computional method for solving the many-electron (time-independent) Schrödinger equation."""@en ; rdfs:subClassOf emmo:EMMO_6eca09be_17e9_445e_abc9_000aa61b7a11 ; @@ -51,7 +51,7 @@ density as the real interacting system."""@en ; rdfs:comment "This is the equation that is solved with density functional theory."^^xsd:string ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty emmo:EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe ; - owl:someValuesFrom ], + owl:someValuesFrom ], :acaafcb6-b65f-5996-93ed-2f486f5f2b30 ; core:prefLabel "KohnShamEquation"@en . @@ -61,28 +61,28 @@ density as the real interacting system."""@en ; rdfs:subClassOf :c4dd4450-cc80-5de4-a8d6-db0651115a2c ; core:prefLabel "TimeDependentSchrodingerEquation"@en . - a owl:Class ; + a owl:Class ; emmo:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A mathematical operator with a physical interpretation."@en ; rdfs:subClassOf emmo:EMMO_f6d0c26a_98b6_4cf8_8632_aa259131faaa ; core:prefLabel "PhysicalOperator"@en . - a owl:Class ; + a owl:Class ; emmo:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 """An operator corresponding to the sum of the kinetic energies plus the potential energies for all the particles in the system."""@en ; rdfs:subClassOf [ a owl:Restriction ; - owl:onProperty ; + owl:onProperty ; owl:someValuesFrom emmo:EMMO_31ec09ba_1713_42cb_83c7_b38bf6f9ced2 ], - , + , emmo:EMMO_6f5af708_f825_4feb_a0d1_a8d813d3022b ; core:prefLabel "Hamiltonian"@en . - a owl:ObjectProperty ; + a owl:ObjectProperty ; emmo:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Relates a mathematical (or physical) operator to its eigenvalue."@en ; rdfs:domain emmo:EMMO_f6d0c26a_98b6_4cf8_8632_aa259131faaa ; rdfs:subPropertyOf emmo:EMMO_e1097637_70d2_4895_973f_2396f04fa204 ; core:prefLabel "hasEigenvalue"@en . - a owl:Class ; + a owl:Class ; emmo:EMMO_50c298c2_55a2_4068_b3ac_4e948c33181f "http://www.electropedia.org/iev/iev.nsf/display?openform&ievref=121-11-07"^^rdf:PlainLiteral ; emmo:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Electric charge per volume."@en ; emmo:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Charge_density"^^xsd:string ; @@ -127,7 +127,6 @@ time-dependent Schrödinger equation."""@en ; owl:someValuesFrom emmo:EMMO_31ec09ba_1713_42cb_83c7_b38bf6f9ced2 ], [ a owl:Restriction ; owl:onProperty emmo:EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe ; - owl:someValuesFrom ], + owl:someValuesFrom ], emmo:EMMO_27c5d8c6_8af7_4d63_beb1_ec37cd8b3fa3 ; core:prefLabel "SchrodingerEquation"@en . -