Models
type: Ontology
imports: top
imports: semiotics
imports: persistence
imports: persholistic
imports: reductionistic
imports: math
imports: metrology
abstract: The models module defines models as semiotic signs that stands for an object by resembling or imitating it, in shape or by sharing a similar logical structure.
contributor: Access Technology (DE)
contributor: Fraunhofer IWM (DE)
contributor: Goldbeck Consulting Ltd (UK)
contributor: SINTEF (NO)
contributor: University of Bologna (IT)
creator: Adham Hashibon
creator: Daniele Toti
creator: Emanuele Ghedini
creator: Georg Schmitz
creator: Gerhard Goldbeck
creator: Jesper Friis
creator: Pierluigi Del Nostro
license: https://creativecommons.org/licenses/by/4.0/legalcode
publisher: EMMC ASBL
comment: Contacts: Gerhard Goldbeck Goldbeck Consulting Ltd (UK) email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it
comment: The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege).
version info: 1.0.0-beta3

hasModel
type: ObjectProperty

Experiment
type: Class
subclass of: Restriction
  some values from: PhysicalPhenomenon
comment: An experiment is a process that is intended to replicate a physical phenomenon in a controlled environment.

PhysicsEquation
type: Class
subclass of: Restriction
subclass of: Restriction
  on property:
    inverse of: hasModel
  some values from: PhysicalPhenomenon
comment: An 'equation' that stands for a 'physical_law' by mathematically defining the relations between physics_quantities.
comment: The Newton's equation of motion. The Schrödinger equation. The Navier-Stokes equation.

PhysicalPhenomenon
type: Class
comment: A 'process' that is recognized by physical sciences and is catogrized accordingly.
comment: While every 'process' in the EMMO involves physical objects, this class is devoted to represent real world objects that express a phenomenon relevant for the ontologist

ContinuumModel
type: Class
subclass of: PhysicsBasedModel
comment: A physics-based model based on a physics equation describing the behaviour of continuum volume.

MesoscopicModel
type: Class
subclass of: PhysicsBasedModel
comment: A physics-based model based on a physics equation describing the behaviour of mesoscopic entities, i.e. a set of bounded atoms like a molecule, bead or nanoparticle.

Theorisation
type: Class
subclass of: Restriction
  some values from: Theory
comment: The 'semiosis' process of interpreting a 'physical' and provide a complec sign, 'theory' that stands for it and explain it to another interpreter.
alternative label: Theorization

ElectronicModel
type: Class
subclass of: PhysicsBasedModel
comment: A physics-based model based on a physics equation describing the behaviour of electrons.
comment: Density functional theory. Hartree-Fock.

AtomisticModel
type: Class
subclass of: PhysicsBasedModel
comment: A physics-based model based on a physics equation describing the behaviour of atoms.

Theory
type: Class
comment: A 'conventional' that stand for a 'physical'.
comment: The 'theory' is e.g. a proposition, a book or a paper whose sub-symbols suggest in the mind of the interpreter an interpretant structure that can represent a 'physical'. It is not an 'icon' (like a math equation), because it has no common resemblance or logical structure with the 'physical'. In Peirce semiotics: legisign-symbol-argument

Model
type: Class
equivalent class: Restriction
  on property:
    inverse of: hasModel
comment: A 'sign' that not only stands for a 'physical' or a 'process', but it is also a simplified representation, aimed to assist calculations for its description or for predictions of its behaviour. A 'model' represents a 'physical' or a 'process' by direct similitude (e.g. small scale replica) or by capturing in a logical framework the relations between its properties (e.g. mathematical model).
comment: A 'model' prediction is always a prediction of the properties of an entity, since an entity is known by an interpreter only through perception.

PhysicalLaw
type: Class
subclass of: NaturalLaw

DataBasedModel
type: Class
subclass of: MathematicalModel
comment: A computational model that uses existing data to create new insight into the behaviour of a system.

PhysicsBasedModel
type: Class
subclass of: MathematicalModel
subclass of: Restriction
  some values from: PhysicsEquation
subclass of: Restriction
  some values from: MaterialRelation
comment: A solvable set of one Physics Equation and one or more Materials Relations.

NaturalLaw
type: Class
subclass of: Theory

MaterialRelation
type: Class
subclass of: Restriction
comment: An 'equation' that stands for a physical assumption specific to a material, and provides an expression for a 'physics_quantity' (the dependent variable) as function of other variables, physics_quantity or data (independent variables).
comment: The Lennard-Jones potential. A force field. An Hamiltonian.
comment: A material_relation can e.g. return a predefined number, return a database query, be an equation that depends on other physics_quantities.

MaterialLaw
type: Class
subclass of: NaturalLaw

MathematicalModel
type: Class
equivalent class: Class
  intersection of: Model
comment: A mathematical model can be defined as a description of a system using mathematical concepts and language to facilitate proper explanation of a system or to study the effects of different components and to make predictions on patterns of behaviour. Abramowitz and Stegun, 1968

AbInitioMolecularDynamics
type: Class
subclass of: MolecularDynamics

AbInitioQuantumMechanicalModel
type: Class
subclass of: SingleParticleSchroedingerModel

ApplicationOfModelsToSimulateProcessesAndDevices
type: Class
subclass of: ContinuumModel

AtomisticPhononBasedModels-BoltzmannTransportEquation
type: Class
subclass of: AtomisticModel

AtomisticSpinModel
type: Class
subclass of: AtomisticModel

ChemistryReaction-kinetic-Model
type: Class
subclass of: ContinuumModel

ClassicalDensityFunctionalTheoryAndDynamicDensityFunctionalTheory
type: Class
subclass of: AtomisticModel

ClassicalMolecularDynamics
type: Class
subclass of: MolecularDynamics

CoarseGrainedMolecularDynamics
type: Class
subclass of: CoarseGrainedMolecularDynamicsAndDissipativeParticleDynamics

CoarseGrainedMolecularDynamicsAndDissipativeParticleDynamics
type: Class
subclass of: MesoscopicModel

CompressibleVsIncompressibleFlow
type: Class
subclass of: FluidMechanics

ContinuumThermodynamicsAndPhaseFieldModel
type: Class
subclass of: ContinuumModel

DeterministicsSpinModel
type: Class
subclass of: AtomisticSpinModel

DissipativeParticleDynamics
type: Class
subclass of: CoarseGrainedMolecularDynamicsAndDissipativeParticleDynamics

Electronics
type: Class
subclass of: Electromagnetism

Electromagnetism
type: Class
subclass of: ContinuumModel

EnvelopeFunctionApproximation
type: Class
subclass of: RepresentationsOfContinuousMedia

FermiGoldenRule-FGR-HoppingModel-ForQuasiParticleTransport
type: Class
subclass of: StatisticalChargeTransportModel

FluidMechanics
type: Class
subclass of: ContinuumModel

HeatFlowAndThermoMechanicalBehaviour
type: Class
subclass of: ContinuumModel

HigherLevelAbInitioModel
type: Class
subclass of: SingleParticleSchroedingerModel

KineticMonteCarloModel
type: Class
subclass of: StatisticalMechanicsAtomisticModel

Kohn-ShamEquation-PseudopotentialsProjectorAugmentedWaves
type: Class
subclass of: KohnShamEquationDensityFunctionalTheory

KohnShamEquationDensityFunctionalTheory
type: Class
subclass of: ElectronicModel

LaminarVsTurbulentFlow
type: Class
subclass of: FluidMechanics

LangevinDynamicMethodForMagneticSpinSystems
type: Class
subclass of: AtomisticSpinModel

Magnetics
type: Class
subclass of: Electromagnetism

ManyBodySchroedingerModel
type: Class
subclass of: SchroedingerEquationBasedModel

MaterialsRelationsForFlows
type: Class
subclass of: FluidMechanics

MaterialsRelationsInSolidMechanics
type: Class
subclass of: SolidMechanics

MesoscopicClassicalDensityFunctionalTheoryAndDynamicDensityFunctionalTheory
type: Class
subclass of: MesoscopicModel

MesoscopicPhononModels-BoltzmannTransportEquation
type: Class
subclass of: MesoscopicModel

MicromagneticModel
type: Class
subclass of: MesoscopicModel

ModelDevelopmentInSolidMechanics
type: Class
subclass of: SolidMechanics

MolecularDynamics
type: Class
subclass of: NewtonsEquationBasedModel

MolecularMechanics
type: Class
subclass of: NewtonsEquationBasedModel

MonteCarloMolecularModel
type: Class
subclass of: StatisticalMechanicsAtomisticModel

NEGF
type: Class
subclass of: ElectronicModel

NewtonianVsNonNewtonianFluidsAndRheology
type: Class
subclass of: FluidMechanics

NewtonsEquationBasedModel
type: Class
subclass of: AtomisticModel

Optics
type: Class
subclass of: Electromagnetism

OtherTimeDependentSchroedingerModel
type: Class
subclass of: QuantumMechanicalTimeDependantSchroedingerModel

PercolationModel
type: Class
subclass of: StatisticalChargeTransportModel

PhaseFieldModel
type: Class
subclass of: ContinuumThermodynamicsAndPhaseFieldModel

PolarisableContinuumApproximation
type: Class
subclass of: RepresentationsOfContinuousMedia

QuantumDynamicMeanFieldTheory
type: Class
subclass of: ElectronicModel

QuantumMechanicalTimeDependantSchroedingerModel
type: Class
subclass of: SchroedingerEquationBasedModel

QuantumMechanics-MolecularMechanics
type: Class
subclass of: MolecularDynamics

RepresentationsOfContinuousMedia
type: Class
subclass of: ElectronicModel

Scales-MicroAndMacroFluidics
type: Class
subclass of: FluidMechanics

SchroedingerEquationBasedModel
type: Class
subclass of: ElectronicModel

SchroedingerEquationWithHartree-FockHamiltonianModel
type: Class
subclass of: SingleParticleSchroedingerModel

SchroedingerEquationWithHubbardHamiltonianModel
type: Class
subclass of: ManyBodySchroedingerModel

SchroedingerEquationWithNearlyFreeElectronHamiltonianModel
type: Class
subclass of: ManyBodySchroedingerModel

SchroedingerWithSemiEmpiricalTightBindingHamiltonianModel
type: Class
subclass of: ManyBodySchroedingerModel

SingleParticleSchroedingerModel
type: Class
subclass of: SchroedingerEquationBasedModel

SolidMechanics
type: Class
subclass of: ContinuumModel

StatisticalChargeTransportModel
type: Class
subclass of: ElectronicModel

StatisticalMechanicsAtomisticModel
type: Class
subclass of: AtomisticModel

StatisticalMechanicsMesoscopicModel
type: Class
subclass of: MesoscopicModel

StatisticalSemiClassicalTransportModelForDriftDiffusion
type: Class
subclass of: StatisticalChargeTransportModel

StatisticalSpinTransportModel
type: Class
subclass of: ElectronicModel

StatisticalTransportModelAtAtomisticLevel
type: Class
subclass of: AtomisticModel

TD-DFT-And-TD-Spin-DFT
type: Class
subclass of: KohnShamEquationDensityFunctionalTheory

Thermodynamics
type: Class
subclass of: ContinuumThermodynamicsAndPhaseFieldModel

ViscousVsInviscidFlow
type: Class
subclass of: FluidMechanics

SchroedingerEquationWith-k-p-EffectiveHamiltonianModel
type: Class
subclass of: ManyBodySchroedingerModel

TheTimeDependentSchroedingerEquationWith-k-p-EffectiveHamiltonianModel
type: Class
subclass of: QuantumMechanicalTimeDependantSchroedingerModel

ContinuumMaterialRelation
type: Class
subclass of: MaterialRelation

KinematicRelation
type: Class
subclass of: ContinuumMaterialRelation

AccelerationVector
type: Class
subclass of: KinematicRelation

DeformationGradient
type: Class
subclass of: KinematicRelation

DisplacementGradient
type: Class
subclass of: KinematicRelation

DistortionTensor
type: Class
subclass of: KinematicRelation

VelocityGradient
type: Class
subclass of: KinematicRelation

VelocityVector
type: Class
subclass of: KinematicRelation

BalanceRelation
type: Class
subclass of: ContinuumMaterialRelation

BalanceOfAngularMomentum
type: Class
subclass of: BalanceRelation

BalanceOfLinearMomentum
type: Class
subclass of: BalanceRelation

BalanceOfMass
type: Class
subclass of: BalanceRelation

BalanceOfEnergy
type: Class
subclass of: BalanceRelation

HeatConductionModel
type: Class
subclass of: ContinuumMaterialRelation

ViscoelasticityModel
type: Class
subclass of: ContinuumMaterialRelation

ViscoplasticityModel
type: Class
subclass of: ContinuumMaterialRelation

PlasticityModel
type: Class
subclass of: ContinuumMaterialRelation

VonMisesPlasticity
type: Class
subclass of: PlasticityModel

ElasticityModel
type: Class
subclass of: ContinuumMaterialRelation

Hyperelasticity
type: Class
subclass of: ElasticityModel

Hypoelasticity
type: Class
subclass of: ElasticityModel

CauchyElasticity
type: Class
subclass of: ElasticityModel