-
Notifications
You must be signed in to change notification settings - Fork 2
/
atomistic.ttl
162 lines (131 loc) · 12.4 KB
/
atomistic.ttl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
@prefix : <https://w3id.org/emmo/domain/atomistic#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix core: <http://www.w3.org/2004/02/skos/core#> .
@prefix emmo: <http://emmo.info/emmo#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix term: <http://purl.org/dc/terms/> .
@base <https://w3id.org/emmo/domain/atomistic#> .
<https://w3id.org/emmo/domain/atomistic> rdf:type owl:Ontology ;
owl:versionIRI <https://w3id.org/emmo/domain/atomistic/0.0.1> ;
owl:imports <https://w3id.org/emmo/1.0.0-rc2/> ;
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:versionInfo "0.0.1"@en ;
<https://w3id.org/emmo#EMMO_5525a055_dda5_4556_8b91_f0d22fa676cc> "https://creativecommons.org/licenses/by/4.0/legalcode"@en .
#################################################################
# Annotation properties
#################################################################
### https://w3id.org/emmo#EMMO_21ae69b4_235e_479d_8dd8_4f756f694c1b
<https://w3id.org/emmo#EMMO_21ae69b4_235e_479d_8dd8_4f756f694c1b> rdf:type owl:AnnotationProperty .
### https://w3id.org/emmo#EMMO_5525a055_dda5_4556_8b91_f0d22fa676cc
<https://w3id.org/emmo#EMMO_5525a055_dda5_4556_8b91_f0d22fa676cc> rdf:type owl:AnnotationProperty .
### https://w3id.org/emmo#EMMO_de178b12_5d35_4bca_8efa_a4193162571d
<https://w3id.org/emmo#EMMO_de178b12_5d35_4bca_8efa_a4193162571d> rdf:type owl:AnnotationProperty .
#################################################################
# Object Properties
#################################################################
### https://w3id.org/emmo/domain/atomistic#42812fef-145a-56e9-9c18-72bd32214455
<https://w3id.org/emmo/domain/atomistic#42812fef-145a-56e9-9c18-72bd32214455> rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf <https://w3id.org/emmo#EMMO_e1097637_70d2_4895_973f_2396f04fa204> ;
rdfs:domain <https://w3id.org/emmo#EMMO_f6d0c26a_98b6_4cf8_8632_aa259131faaa> ;
core:prefLabel "hasEigenvalue"@en ;
<https://w3id.org/emmo#EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9> "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 ;
<https://w3id.org/emmo#EMMO_21ae69b4_235e_479d_8dd8_4f756f694c1b> "TimeIndependentSchrödingerEquation"@en ;
<https://w3id.org/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 .
### 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 <https://w3id.org/emmo#EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe> ;
owl:someValuesFrom <https://w3id.org/emmo#EMMO_5cbb7bfb_7ab8_4151_8ed1_13a5b7d5caa4>
] ;
rdfs:comment "This is the equation that is solved with density functional theory." ;
core:prefLabel "KohnShamEquation"@en ;
<https://w3id.org/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 .
### https://w3id.org/emmo/domain/atomistic#c4dd4450-cc80-5de4-a8d6-db0651115a2c
:c4dd4450-cc80-5de4-a8d6-db0651115a2c rdf:type owl:Class ;
rdfs:subClassOf <https://w3id.org/emmo#EMMO_27c5d8c6_8af7_4d63_beb1_ec37cd8b3fa3> ,
[ rdf:type owl:Restriction ;
owl:onProperty <https://w3id.org/emmo#EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe> ;
owl:someValuesFrom <https://w3id.org/emmo#EMMO_31ec09ba_1713_42cb_83c7_b38bf6f9ced2>
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <https://w3id.org/emmo#EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe> ;
owl:someValuesFrom :df750ce7-fda1-5e9b-ba32-db96ec170577
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <https://w3id.org/emmo#EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe> ;
owl:someValuesFrom <https://w3id.org/emmo/domain/atomistic#42244404-98d1-582a-8fc0-3cdd2a9b3df6>
] ;
core:prefLabel "SchrodingerEquation"@en ;
<https://w3id.org/emmo#EMMO_21ae69b4_235e_479d_8dd8_4f756f694c1b> "SchrödingerEquation"@en ;
<https://w3id.org/emmo#EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9> """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 ;
<https://w3id.org/emmo#EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d> "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 <https://w3id.org/emmo#EMMO_a66427d1_9932_4363_9ec5_7d91f2bfda1e> ;
core:prefLabel "WaveFunction"@en ;
<https://w3id.org/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 ;
<https://w3id.org/emmo#EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d> "https://en.wikipedia.org/wiki/Wave_function" ;
<https://w3id.org/emmo#EMMO_de178b12_5d35_4bca_8efa_a4193162571d> "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 ;
<https://w3id.org/emmo#EMMO_21ae69b4_235e_479d_8dd8_4f756f694c1b> "TimeDependentSchrödingerEquation"@en ;
<https://w3id.org/emmo#EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9> "The full time-dependent Schrödinger equation."@en .
### https://w3id.org/emmo/domain/atomistic#08fd7117-66ac-5b6d-b65e-34a826675877
<https://w3id.org/emmo/domain/atomistic#08fd7117-66ac-5b6d-b65e-34a826675877> rdf:type owl:Class ;
rdfs:subClassOf <https://w3id.org/emmo#EMMO_f6d0c26a_98b6_4cf8_8632_aa259131faaa> ;
core:prefLabel "PhysicalOperator"@en ;
<https://w3id.org/emmo#EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9> "A mathematical operator with a physical interpretation."@en .
### https://w3id.org/emmo/domain/atomistic#42244404-98d1-582a-8fc0-3cdd2a9b3df6
<https://w3id.org/emmo/domain/atomistic#42244404-98d1-582a-8fc0-3cdd2a9b3df6> rdf:type owl:Class ;
rdfs:subClassOf <https://w3id.org/emmo#EMMO_6f5af708_f825_4feb_a0d1_a8d813d3022b> ,
<https://w3id.org/emmo/domain/atomistic#08fd7117-66ac-5b6d-b65e-34a826675877> ,
[ rdf:type owl:Restriction ;
owl:onProperty <https://w3id.org/emmo/domain/atomistic#42812fef-145a-56e9-9c18-72bd32214455> ;
owl:someValuesFrom <https://w3id.org/emmo#EMMO_31ec09ba_1713_42cb_83c7_b38bf6f9ced2>
] ;
core:prefLabel "Hamiltonian"@en ;
<https://w3id.org/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 .
### https://w3id.org/emmo/domain/atomistic#83a69cf2-00c1-58b8-915b-76cb3549890a
<https://w3id.org/emmo/domain/atomistic#83a69cf2-00c1-58b8-915b-76cb3549890a> rdf:type owl:Class ;
rdfs:subClassOf <https://w3id.org/emmo#EMMO_6eca09be_17e9_445e_abc9_000aa61b7a11> ;
core:prefLabel "DensityFunctionalTheory"@en ;
<https://w3id.org/emmo#EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9> """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