From 717bf380d07deda999f33064f2b11f14cff97d2d Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Wed, 25 Sep 2024 09:59:44 +0200 Subject: [PATCH 1/6] Updated all IRIs to w3id --- atomistic.ttl | 25 ++++++++++++------------- 1 file changed, 12 insertions(+), 13 deletions(-) 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 . - From e52a6b0ec2c468859bafc669ae3ff3f9de9d25fd Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Wed, 25 Sep 2024 10:08:01 +0200 Subject: [PATCH 2/6] Updated imports and versionIRI --- atomistic.ttl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/atomistic.ttl b/atomistic.ttl index 75354fe..326eaa6 100644 --- a/atomistic.ttl +++ b/atomistic.ttl @@ -26,8 +26,8 @@ SINTEF email: francesca.l.bleken@sintef.no"""@en, "The EMMO requires FaCT++ reasoner plugin in order to visualize allinferences and class hierarchy (ctrl+R hotkey in Protege)."@en, "This ontology is generated with data from the ASE Python package."@en ; - owl:imports ; - owl:versionIRI ; + owl:imports ; + owl:versionIRI ; owl:versionInfo "0.0.1"@en . a owl:Class ; From 196d8bda12b05c9d72d5856cdbed7144757e1ae8 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Wed, 25 Sep 2024 10:22:09 +0200 Subject: [PATCH 3/6] Corrected more IRIs --- atomistic.ttl | 2 +- catalog-v001.xml | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/atomistic.ttl b/atomistic.ttl index 326eaa6..c1eb360 100644 --- a/atomistic.ttl +++ b/atomistic.ttl @@ -1,6 +1,6 @@ @prefix : . @prefix core: . -@prefix emmo: . +@prefix emmo: . @prefix owl: . @prefix rdf: . @prefix rdfs: . diff --git a/catalog-v001.xml b/catalog-v001.xml index 3c893a8..9a01cc3 100644 --- a/catalog-v001.xml +++ b/catalog-v001.xml @@ -1,7 +1,6 @@ - - + From 1d792913ba84cb32a62ef72eace3cf66febc09e4 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Wed, 25 Sep 2024 10:28:52 +0200 Subject: [PATCH 4/6] update --- atomistic.ttl | 287 ++++++++++++++++++++++++++++++-------------------- 1 file changed, 172 insertions(+), 115 deletions(-) diff --git a/atomistic.ttl b/atomistic.ttl index c1eb360..cb4e119 100644 --- a/atomistic.ttl +++ b/atomistic.ttl @@ -1,132 +1,189 @@ @prefix : . -@prefix core: . -@prefix emmo: . @prefix owl: . @prefix rdf: . -@prefix rdfs: . -@prefix term: . @prefix xml: . @prefix xsd: . +@prefix core: . +@prefix emmo: . +@prefix rdfs: . +@prefix term: . +@base . - 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 ; - term:creator "Francesca L. Bleken"@en, - "Jesper Friis"@en ; - term:publisher "EMMC ASBL"@en ; - term:title "Atomistic"@en ; - rdfs:comment """Contacts: + rdf:type owl:Ontology ; + owl:versionIRI ; + owl:imports ; + 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 ; + term:creator "Francesca L. Bleken"@en , + "Jesper Friis"@en ; + term:publisher "EMMC ASBL"@en ; + term:title "Atomistic"@en ; + rdfs:comment """Contacts: Jesper Friis SINTEF email: jesper.friis@sintef.no Francesca L. Bleken SINTEF -email: francesca.l.bleken@sintef.no"""@en, - "The EMMO requires FaCT++ reasoner plugin in order to visualize allinferences and class hierarchy (ctrl+R hotkey in Protege)."@en, - "This ontology is generated with data from the ASE Python package."@en ; - owl:imports ; - owl:versionIRI ; - owl:versionInfo "0.0.1"@en . - - 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 ; - owl:hasValue "T+1 L-3 M0 I+1 Θ0 N0 J0"^^rdf:PlainLiteral ; - owl:onProperty emmo:EMMO_23b579e1_8088_45b5_9975_064014026c42 ] ; - core:prefLabel "ChargeDensityDimension"@en . - - 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 ; - core:prefLabel "DensityFunctionalTheory"@en . - -:b65fe3b6-8477-5508-a066-2f7edcf25126 a owl:Class ; - emmo:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 """The Schrödinger equation for a fictious "Kohn-Sham" system of -non-interacting electrons that generates the same charge -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 ], - :acaafcb6-b65f-5996-93ed-2f486f5f2b30 ; - core:prefLabel "KohnShamEquation"@en . - -:fac61002-4a3d-5810-a430-ad5dad69c9a0 a owl:Class ; - emmo:EMMO_21ae69b4_235e_479d_8dd8_4f756f694c1b "TimeDependentSchrödingerEquation"@en ; - emmo:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The full time-dependent Schrödinger equation."@en ; - rdfs:subClassOf :c4dd4450-cc80-5de4-a8d6-db0651115a2c ; - core:prefLabel "TimeDependentSchrodingerEquation"@en . - - 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 ; - 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:someValuesFrom emmo:EMMO_31ec09ba_1713_42cb_83c7_b38bf6f9ced2 ], - , - emmo:EMMO_6f5af708_f825_4feb_a0d1_a8d813d3022b ; - core:prefLabel "Hamiltonian"@en . - - 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 ; - 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 ; - emmo:EMMO_de178b12_5d35_4bca_8efa_a4193162571d "T+1 L-3 M0 I+1 Θ0 N0 J0"^^rdf:PlainLiteral ; - emmo:EMMO_e55f2d7c_9893_48cd_b4a4_fdf38253bd20 "http://www.ontology-of-units-of-measure.org/resource/om-2/ElectricChargeDensity"^^rdf:PlainLiteral ; - emmo:EMMO_fe015383_afb3_44a6_ae86_043628697aa2 "https://doi.org/10.1351/goldbook.C00988"^^rdf:PlainLiteral ; - rdfs:subClassOf emmo:EMMO_2946d40b_24a1_47fa_8176_e3f79bb45064 ; - core:prefLabel "ChargeDensity"@en . - -:acaafcb6-b65f-5996-93ed-2f486f5f2b30 a owl:Class ; - emmo:EMMO_21ae69b4_235e_479d_8dd8_4f756f694c1b "TimeIndependentSchrödingerEquation"@en ; - emmo:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 """If the external potential does not depende on time, the Schrödinger -equation can be reduced to this time-independent form."""@en ; - rdfs:subClassOf :c4dd4450-cc80-5de4-a8d6-db0651115a2c ; - core:prefLabel "TimeIndependentSchrodingerEquation"@en . - -:df750ce7-fda1-5e9b-ba32-db96ec170577 a owl:Class ; - emmo:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 """A mathematical description of the quantum state of an isolated -quantum system. A wave function is a function of the degrees -of freedom corresponding to some maximal set of commuting -observables. Once such a representation is chosen, the wave -function can be derived from the quantum state."""@en ; - emmo:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Wave_function"^^rdf:PlainLiteral ; - emmo:EMMO_de178b12_5d35_4bca_8efa_a4193162571d "T0 L0 M0 I0 Θ0 N0 J0"^^rdf:PlainLiteral ; - rdfs:subClassOf emmo:EMMO_a66427d1_9932_4363_9ec5_7d91f2bfda1e ; - core:prefLabel "WaveFunction"@en . - -:c4dd4450-cc80-5de4-a8d6-db0651115a2c a owl:Class ; - emmo:EMMO_21ae69b4_235e_479d_8dd8_4f756f694c1b "SchrödingerEquation"@en ; - emmo:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 """A linear partial differential equation describing the wave +email: francesca.l.bleken@sintef.no"""@en , + "The EMMO requires FaCT++ reasoner plugin in order to visualize allinferences and class hierarchy (ctrl+R hotkey in Protege)."@en , + "This ontology is generated with data from the ASE Python package."@en ; + owl:versionInfo "0.0.1"@en ; + "https://creativecommons.org/licenses/by/4.0/legalcode"@en . + +################################################################# +# Annotation properties +################################################################# + +### https://w3id.org/emmo#EMMO_21ae69b4_235e_479d_8dd8_4f756f694c1b + rdf:type owl:AnnotationProperty . + + +### https://w3id.org/emmo#EMMO_5525a055_dda5_4556_8b91_f0d22fa676cc + rdf:type owl:AnnotationProperty . + + +### https://w3id.org/emmo#EMMO_de178b12_5d35_4bca_8efa_a4193162571d + rdf:type owl:AnnotationProperty . + + +### https://w3id.org/emmo#EMMO_e55f2d7c_9893_48cd_b4a4_fdf38253bd20 + rdf:type owl:AnnotationProperty . + + +################################################################# +# Object Properties +################################################################# + +### https://w3id.org/emmo/domain/atomistic#42812fef-145a-56e9-9c18-72bd32214455 + rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf ; + rdfs:domain ; + core:prefLabel "hasEigenvalue"@en ; + "Relates a mathematical (or physical) operator to its eigenvalue."@en . + + +################################################################# +# Classes +################################################################# + +### https://w3id.org/emmo/domain/atomistic#acaafcb6-b65f-5996-93ed-2f486f5f2b30 +:acaafcb6-b65f-5996-93ed-2f486f5f2b30 rdf:type owl:Class ; + rdfs:subClassOf :c4dd4450-cc80-5de4-a8d6-db0651115a2c ; + core:prefLabel "TimeIndependentSchrodingerEquation"@en ; + "TimeIndependentSchrödingerEquation"@en ; + """If the external potential does not depende on time, the Schrödinger +equation can be reduced to this time-independent form."""@en . + + +### https://w3id.org/emmo/domain/atomistic#b65fe3b6-8477-5508-a066-2f7edcf25126 +:b65fe3b6-8477-5508-a066-2f7edcf25126 rdf:type owl:Class ; + rdfs:subClassOf :acaafcb6-b65f-5996-93ed-2f486f5f2b30 , + [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:someValuesFrom + ] ; + rdfs:comment "This is the equation that is solved with density functional theory." ; + core:prefLabel "KohnShamEquation"@en ; + "The Schrödinger equation for a fictious \"Kohn-Sham\" system of non-interacting electrons that generates the same charge density as the real interacting system."@en . + + +### https://w3id.org/emmo/domain/atomistic#c4dd4450-cc80-5de4-a8d6-db0651115a2c +:c4dd4450-cc80-5de4-a8d6-db0651115a2c rdf:type owl:Class ; + rdfs:subClassOf , + [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:someValuesFrom + ] , + [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:someValuesFrom :df750ce7-fda1-5e9b-ba32-db96ec170577 + ] , + [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:someValuesFrom + ] ; + core:prefLabel "SchrodingerEquation"@en ; + "SchrödingerEquation"@en ; + """A linear partial differential equation describing the wave function of a quantum-mechanical system. The exact form of the Schrödinger equation depends on the physical situation. The most general form is the time-dependent Schrödinger equation."""@en ; - emmo:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Schr%C3%B6dinger_equation"^^rdf:PlainLiteral ; - rdfs:subClassOf [ a owl:Restriction ; - owl:onProperty emmo:EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe ; - owl:someValuesFrom :df750ce7-fda1-5e9b-ba32-db96ec170577 ], - [ a owl:Restriction ; - owl:onProperty emmo:EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe ; - owl:someValuesFrom emmo:EMMO_31ec09ba_1713_42cb_83c7_b38bf6f9ced2 ], - [ a owl:Restriction ; - owl:onProperty emmo:EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe ; - owl:someValuesFrom ], - emmo:EMMO_27c5d8c6_8af7_4d63_beb1_ec37cd8b3fa3 ; - core:prefLabel "SchrodingerEquation"@en . + "https://en.wikipedia.org/wiki/Schr%C3%B6dinger_equation" . + + +### https://w3id.org/emmo/domain/atomistic#df750ce7-fda1-5e9b-ba32-db96ec170577 +:df750ce7-fda1-5e9b-ba32-db96ec170577 rdf:type owl:Class ; + rdfs:subClassOf ; + core:prefLabel "WaveFunction"@en ; + """A mathematical description of the quantum state of an isolated +quantum system. A wave function is a function of the degrees +of freedom corresponding to some maximal set of commuting +observables. Once such a representation is chosen, the wave +function can be derived from the quantum state."""@en ; + "https://en.wikipedia.org/wiki/Wave_function" ; + "T0 L0 M0 I0 Θ0 N0 J0" . + + +### https://w3id.org/emmo/domain/atomistic#fac61002-4a3d-5810-a430-ad5dad69c9a0 +:fac61002-4a3d-5810-a430-ad5dad69c9a0 rdf:type owl:Class ; + rdfs:subClassOf :c4dd4450-cc80-5de4-a8d6-db0651115a2c ; + core:prefLabel "TimeDependentSchrodingerEquation"@en ; + "TimeDependentSchrödingerEquation"@en ; + "The full time-dependent Schrödinger equation."@en . + + +### https://w3id.org/emmo/domain/atomistic#08fd7117-66ac-5b6d-b65e-34a826675877 + rdf:type owl:Class ; + rdfs:subClassOf ; + core:prefLabel "PhysicalOperator"@en ; + "A mathematical operator with a physical interpretation."@en . + + +### https://w3id.org/emmo/domain/atomistic#21c6ff70-4800-555e-b642-74ba2aaeb039 + rdf:type owl:Class ; + owl:equivalentClass [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:hasValue "T+1 L-3 M0 I+1 Θ0 N0 J0" + ] ; + rdfs:subClassOf ; + core:prefLabel "ChargeDensityDimension"@en ; + "Physical dimensionality of charge density."@en . + + +### https://w3id.org/emmo/domain/atomistic#42244404-98d1-582a-8fc0-3cdd2a9b3df6 + rdf:type owl:Class ; + rdfs:subClassOf , + , + [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:someValuesFrom + ] ; + core:prefLabel "Hamiltonian"@en ; + """An operator corresponding to the sum of the kinetic energies plus +the potential energies for all the particles in the system."""@en . + + +### https://w3id.org/emmo/domain/atomistic#513b1e52-5e37-5ba0-b4cc-89369f9b41c5 + rdf:type owl:Class ; + rdfs:subClassOf ; + core:prefLabel "ChargeDensity"@en ; + "http://www.electropedia.org/iev/iev.nsf/display?openform&ievref=121-11-07" ; + "Electric charge per volume."@en ; + "https://en.wikipedia.org/wiki/Charge_density" ; + "T+1 L-3 M0 I+1 Θ0 N0 J0" ; + "http://www.ontology-of-units-of-measure.org/resource/om-2/ElectricChargeDensity" ; + "https://doi.org/10.1351/goldbook.C00988" . + + +### https://w3id.org/emmo/domain/atomistic#83a69cf2-00c1-58b8-915b-76cb3549890a + rdf:type owl:Class ; + rdfs:subClassOf ; + core:prefLabel "DensityFunctionalTheory"@en ; + """An efficient computional method for solving the many-electron +(time-independent) Schrödinger equation."""@en . + + +### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi From ddad409edc8da699fe8f7982f4587f8c722f7ece Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Wed, 25 Sep 2024 10:32:13 +0200 Subject: [PATCH 5/6] Removed ChargeDensity since it is in EMMO now --- atomistic.ttl | 18 +----------------- 1 file changed, 1 insertion(+), 17 deletions(-) diff --git a/atomistic.ttl b/atomistic.ttl index cb4e119..844017d 100644 --- a/atomistic.ttl +++ b/atomistic.ttl @@ -47,10 +47,6 @@ email: francesca.l.bleken@sintef.no"""@en , rdf:type owl:AnnotationProperty . -### https://w3id.org/emmo#EMMO_e55f2d7c_9893_48cd_b4a4_fdf38253bd20 - rdf:type owl:AnnotationProperty . - - ################################################################# # Object Properties ################################################################# @@ -81,7 +77,7 @@ equation can be reduced to this time-independent form."""@en . rdfs:subClassOf :acaafcb6-b65f-5996-93ed-2f486f5f2b30 , [ rdf:type owl:Restriction ; owl:onProperty ; - owl:someValuesFrom + owl:someValuesFrom ] ; rdfs:comment "This is the equation that is solved with density functional theory." ; core:prefLabel "KohnShamEquation"@en ; @@ -166,18 +162,6 @@ function can be derived from the quantum state."""@en ; the potential energies for all the particles in the system."""@en . -### https://w3id.org/emmo/domain/atomistic#513b1e52-5e37-5ba0-b4cc-89369f9b41c5 - rdf:type owl:Class ; - rdfs:subClassOf ; - core:prefLabel "ChargeDensity"@en ; - "http://www.electropedia.org/iev/iev.nsf/display?openform&ievref=121-11-07" ; - "Electric charge per volume."@en ; - "https://en.wikipedia.org/wiki/Charge_density" ; - "T+1 L-3 M0 I+1 Θ0 N0 J0" ; - "http://www.ontology-of-units-of-measure.org/resource/om-2/ElectricChargeDensity" ; - "https://doi.org/10.1351/goldbook.C00988" . - - ### https://w3id.org/emmo/domain/atomistic#83a69cf2-00c1-58b8-915b-76cb3549890a rdf:type owl:Class ; rdfs:subClassOf ; From 883c9c29ad36ed3198151e10d5a46ef525c1302d Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Wed, 25 Sep 2024 10:45:31 +0200 Subject: [PATCH 6/6] Removed ChargeDensityDimension --- atomistic.ttl | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/atomistic.ttl b/atomistic.ttl index 844017d..4203376 100644 --- a/atomistic.ttl +++ b/atomistic.ttl @@ -138,17 +138,6 @@ function can be derived from the quantum state."""@en ; "A mathematical operator with a physical interpretation."@en . -### https://w3id.org/emmo/domain/atomistic#21c6ff70-4800-555e-b642-74ba2aaeb039 - rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty ; - owl:hasValue "T+1 L-3 M0 I+1 Θ0 N0 J0" - ] ; - rdfs:subClassOf ; - core:prefLabel "ChargeDensityDimension"@en ; - "Physical dimensionality of charge density."@en . - - ### https://w3id.org/emmo/domain/atomistic#42244404-98d1-582a-8fc0-3cdd2a9b3df6 rdf:type owl:Class ; rdfs:subClassOf ,