MD simulation of CoCrFeMnNi HEA thin film deposition on Al(100) using Morse potentials yields a 6.1 nm mixed-phase film whose structure matches experimental data.
Rational Closure in SHIQ
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
We define a notion of rational closure for the logic SHIQ, which does not enjoys the finite model property, building on the notion of rational closure introduced by Lehmann and Magidor in [23]. We provide a semantic characterization of rational closure in SHIQ in terms of a preferential semantics, based on a finite rank characterization of minimal models. We show that the rational closure of a TBox can be computed in EXPTIME using entailment in SHIQ.
fields
cond-mat.mtrl-sci 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Molecular dynamic simulation of multicomponent CoCrFeNiMn high-entropy alloy thin film deposition
MD simulation of CoCrFeMnNi HEA thin film deposition on Al(100) using Morse potentials yields a 6.1 nm mixed-phase film whose structure matches experimental data.