@prefix : . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix rdfs: . @prefix skos: . @prefix dcterms: . @base . rdf:type owl:Ontology ; owl:versionIRI ; owl:imports ; dcterms:abstract "Defines the root of the physicalistic perspective that introduces the concept of real world objects that have a meaning for the ontologist under an applied physics perspective."@en ; dcterms:contributor :AdhamHashibon , :FrancescoZaccarini , :GeorgSchmitz , :GerhardGoldbeck , :JesperFriis ; dcterms:creator :EmanueleGhedini ; dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ; dcterms:publisher ; dcterms:title "Standard model"@en ; 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.1" ; :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" . ################################################################# # Classes ################################################################# ### https://w3id.org/emmo#EMMO_09f0ac34_c349_46b5_acf0_0edeae52cca1 :EMMO_09f0ac34_c349_46b5_acf0_0edeae52cca1 rdf:type owl:Class ; rdfs:subClassOf :EMMO_b295158f_fda4_4124_ab58_d9ea4ccfca5a ; owl:disjointWith :EMMO_0f19d84e_05b4_47c9_a5de_bb2a913d211b ; skos:prefLabel "InteractingSystem"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A causally bonded system is a system in which there are at least two causal paths that are interacting."@en . ### https://w3id.org/emmo#EMMO_0f19d84e_05b4_47c9_a5de_bb2a913d211b :EMMO_0f19d84e_05b4_47c9_a5de_bb2a913d211b rdf:type owl:Class ; rdfs:subClassOf :EMMO_b295158f_fda4_4124_ab58_d9ea4ccfca5a ; skos:altLabel "NonInteractingSystem"@en ; skos:example "A W boson that travels through time and space and decays in a quark and anti-quark, and their evolution after their generation."@en ; skos:prefLabel "ParticlesSystem"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A particles system is a system made of causal paths that are not interacting between each others, or possibly merge and fork."@en ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A particle system is a combination of elementary particles that may include also decays and/or annihilations, without any space-like interaction between elementary particles."@en . ### https://w3id.org/emmo#EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 :EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "DisjointUnionOf: MultiParticlePath, ElementaryParticle" . ### https://w3id.org/emmo#EMMO_1f2bfb9f_ecc6_46a0_9e41_2d6fcbf59e4b :EMMO_1f2bfb9f_ecc6_46a0_9e41_2d6fcbf59e4b rdf:type owl:Class ; rdfs:subClassOf :EMMO_43a4e80d_6ae9_45ed_8cfb_fd0a5339bf87 ; skos:example "The Higgs boson production from two gluons, or a bottom and an anti-bottom quark."@en ; skos:prefLabel "Collapse"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "A collapse is a fundamental interaction between m colliding particles that results in a single outgoing particle (inverse decay) that is expressed as a complete bipartite directed graph K(m,1) with m>1."@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of fundamental systems where the number of input particles is reduced to one."@en . ### https://w3id.org/emmo#EMMO_43a4e80d_6ae9_45ed_8cfb_fd0a5339bf87 :EMMO_43a4e80d_6ae9_45ed_8cfb_fd0a5339bf87 rdf:type owl:Class ; rdfs:subClassOf :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac ; owl:disjointWith :EMMO_b295158f_fda4_4124_ab58_d9ea4ccfca5a ; skos:prefLabel "FundamentalPhysicalSystem"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A fundamental physical process is made of one or more standard particles as input, and one or more standard particles as output, where each input is direct cause of each output. Each fundamental physical phenomena refers to a Feynman diagram, hence is made at least of three standard model particles. This requirement implies that a physical phenomena is either a decay, annihilation, interaction, collapse or creation phenomena (fundamental) or a composition of them (non-fundamental)."""@en ; :EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "DisjointUnionOf: Collapse, Interaction, Decay" ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A causal system that is the representation of a Feynman diagram, where quantum represents the real particles entering and exiting the system."@en ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A fundamental system is expressed as a complete bipartite directed graph K(m,n) of quantums, m being the number of originating quantums, and n being the receiving quantums."@en . ### https://w3id.org/emmo#EMMO_50afa1a9_2c4e_40fd_aa93_0e33511f1f27 :EMMO_50afa1a9_2c4e_40fd_aa93_0e33511f1f27 rdf:type owl:Class ; rdfs:subClassOf :EMMO_43a4e80d_6ae9_45ed_8cfb_fd0a5339bf87 ; skos:example "Electron-electron scattering. Electron-positron annihilation."@en ; skos:prefLabel "Interaction"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A causal interaction is a fundamental causal system that can be represented as a complete bipartite directed graph K(m,n), when m,n>1. This concept covers fundamental particles interactions with 2 or more particles as input and as output."""@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of fundamental systems where two or more input particles interacts, providing an output of other two or more particles."@en . ### https://w3id.org/emmo#EMMO_5e00b1db_48fc_445b_82e8_ab0e2255bf52 :EMMO_5e00b1db_48fc_445b_82e8_ab0e2255bf52 rdf:type owl:Class ; rdfs:subClassOf :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 ; owl:disjointWith :EMMO_7b79b2ac_3cf2_4d3b_8cdc_bcabb59d869e ; skos:prefLabel "MultiParticlePath"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """An multi-particle path is a causal path of quantum entities of different type, following the causal connection between an initial quantum up to the final one, regardless on the fact that causality is passing through elementary particles of different types. For example, a path starting from an elementary photon, then through the electron with which it scatter, and then trough a positron with which the electron collides."""@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A chausal path whose quantum parts belongs to at least two different standard model fundamental types."@en . ### https://w3id.org/emmo#EMMO_730f2e31_ca78_410f_a5e1_4043217a41ab :EMMO_730f2e31_ca78_410f_a5e1_4043217a41ab rdf:type owl:Class ; rdfs:subClassOf :EMMO_820619ca_b23e_4c7a_8543_18a17722abc0 ; skos:prefLabel "ElementaryElectron"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An elementary charged fermionic particle that belongs to the first generation of the lepton particle family."@en . ### https://w3id.org/emmo#EMMO_7b79b2ac_3cf2_4d3b_8cdc_bcabb59d869e :EMMO_7b79b2ac_3cf2_4d3b_8cdc_bcabb59d869e rdf:type owl:Class ; rdfs:subClassOf :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 ; skos:altLabel "SingleParticleChain"@en ; skos:example "An electron. A quark. A photon."@en ; skos:prefLabel "ElementaryParticle"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "An elementary particle is a causal chain of quantum entities of the same type. For example, an elementary electron is a sequence of fundamental electrons only."@en ; :EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "DisjointUnionOf: ElementaryFermion, ElementaryBoson" ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A chausal chain whose quantum parts are of the same standard model fundamental type."@en . [ rdf:type owl:Axiom ; owl:annotatedSource :EMMO_7b79b2ac_3cf2_4d3b_8cdc_bcabb59d869e ; owl:annotatedProperty skos:prefLabel ; owl:annotatedTarget "ElementaryParticle"@en ; :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin elementārius (“elementary”), from elementum (“one of the four elements of antiquity; fundamentals”)."@en ] . ### https://w3id.org/emmo#EMMO_820619ca_b23e_4c7a_8543_18a17722abc0 :EMMO_820619ca_b23e_4c7a_8543_18a17722abc0 rdf:type owl:Class ; rdfs:subClassOf :EMMO_7b79b2ac_3cf2_4d3b_8cdc_bcabb59d869e ; owl:disjointWith :EMMO_cafd0f10_ce85_48b9_9a36_2b0af141ce21 ; skos:prefLabel "ElementaryFermion"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An elementary particle of a fundamental fermionic type."@en . ### https://w3id.org/emmo#EMMO_99a8eece_40bf_4f26_832c_f290ca664767 :EMMO_99a8eece_40bf_4f26_832c_f290ca664767 rdf:type owl:Class ; rdfs:subClassOf :EMMO_820619ca_b23e_4c7a_8543_18a17722abc0 ; skos:prefLabel "ElementaryQuark"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An elementary fermionic particle that is the fundamental constituent of matter."@en . ### https://w3id.org/emmo#EMMO_a9891fff_fa7a_4806_b7bd_786de7358e8d :EMMO_a9891fff_fa7a_4806_b7bd_786de7358e8d rdf:type owl:Class ; rdfs:subClassOf :EMMO_43a4e80d_6ae9_45ed_8cfb_fd0a5339bf87 ; skos:example "The W boson decays, where a single W boson decays in two particles such as electron and electron antineutrino, or quark and antiquark."@en ; skos:prefLabel "Decay"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "A decay is a fundamental process occurring to one particle that is expressed as a complete bipartite directed graph K(1,n) with n>1, being n the number of outgoing particles."@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of fundamental systems where a particle generates two or more other particles."@en . ### https://w3id.org/emmo#EMMO_b295158f_fda4_4124_ab58_d9ea4ccfca5a :EMMO_b295158f_fda4_4124_ab58_d9ea4ccfca5a rdf:type owl:Class ; rdfs:subClassOf :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac ; skos:prefLabel "GenericPhysicalSystem"@en ; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "A generic physical system is everything which is more complex than a scattering interaction, or a decay/annihilation event, which are represented by a single Feynman diagram."@en ; :EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "DisjointUnionOf: InteractingSystem, ParticlesSystem" ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A causal system possessing bonding that can not be represented by a simple Feynman diagram."@en . ### https://w3id.org/emmo#EMMO_c1a6e72c_de7a_48db_8f45_32c0be019291 :EMMO_c1a6e72c_de7a_48db_8f45_32c0be019291 rdf:type owl:Class ; rdfs:subClassOf :EMMO_cafd0f10_ce85_48b9_9a36_2b0af141ce21 ; skos:prefLabel "ElementaryPhoton"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A boson with spin of 1 that carries electromagnetism."@en . ### https://w3id.org/emmo#EMMO_cafd0f10_ce85_48b9_9a36_2b0af141ce21 :EMMO_cafd0f10_ce85_48b9_9a36_2b0af141ce21 rdf:type owl:Class ; rdfs:subClassOf :EMMO_7b79b2ac_3cf2_4d3b_8cdc_bcabb59d869e ; skos:prefLabel "ElementaryBoson"@en ; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An elementary particle of a fundamental bosonic type."@en . ### https://w3id.org/emmo#EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac :EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "DisjointUnionOf: FundamentalPhysicalSystem, GenericPhysicalSystem" . ################################################################# # General axioms ################################################################# [ rdf:type owl:AllDisjointClasses ; owl:members ( :EMMO_1f2bfb9f_ecc6_46a0_9e41_2d6fcbf59e4b :EMMO_50afa1a9_2c4e_40fd_aa93_0e33511f1f27 :EMMO_a9891fff_fa7a_4806_b7bd_786de7358e8d ) ] . ### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi