Results 41 to 50 of about 11,095,469 (278)
Advanced Engineering Materials, EarlyView.A unified research data management framework for heterogeneous materials data is presented. The system integrates multimodal datasets using ontologies and knowledge graphs, enabling interoperability and FAIR (findable, accessible, interoperable, reusable) data principles. By linking data across scales and workflows, it supports reproducible, Artifitial
Doaa Mohamed +6 more
wiley +1 more source
Filters in Strong BI-Algebras and Residuated Pseudo-SBI-Algebras
Mathematics, 2020 The concept of basic implication algebra (BI-algebra) has been proposed to describe general non-classical implicative logics (such as associative or non-associative fuzzy logic, commutative or non-commutative fuzzy logic, quantum logic).
Xiaohong Zhang, Xiangyu Ma, Xuejiao Wang
doaj +1 more source
Advanced Engineering Materials, EarlyView.Building machine‐readable vocabularies for materials science is slow, expert‐driven work. This study benchmarks 13 large language models on two of its first steps: finding candidate terms in engineering articles and deciding where they belong in a class hierarchy.
Thomas Bjarsch +3 more
wiley +1 more source
A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum Logic
International Journal of Mathematics and Mathematical Sciences, 2012 Morphological operators are generalized to lattices as adjunction pairs (Serra, 1984; Ronse, 1990; Heijmans and Ronse, 1990; Heijmans, 1994). In particular, morphology for set lattices is applied to analyze logics through Kripke semantics (Bloch, 2002 ...
Mitsuhiko Fujio
doaj +1 more source
Logical space and the origins of pluralism in logic
Acta Universitatis Carolinae Philosophica et Historica, 2017 The fact that there is a plurality of systems that we call logics makes it requisite to attempt an explanation and thorough evaluation of the role of logic.
Pavel Arazim
doaj +1 more source
Is Transparent Intensional Logic a non-classical logic?
Logic and Logical Philosophy, 2013 It is shown that:(a) classicality is connected with various criteria some of which are fulfilled by TIL while some other are not;(b) some more general characteristic of classicality connects it with philosophical realism whereas (radical) anti-realism is connected with non-classical logics;(c) TIL is highly expressive due to its hyperintensionality ...
openaire +3 more sources
Advanced Engineering Materials, EarlyView.Digitalizing electroplating requires both domain knowledge and interoperability. This work introduces PlatOn, a domain ontology for trivalent chromium plating and coating characterization, and a hybrid pipeline that aligns it to a mid‐level reference ontology by combining eight similarity metrics with language model reasoning. Expert‐validated mappings
Janik Harter +10 more
wiley +1 more source
The use of fuzzy databases and knowledge bases for aiding engineering projects
Budownictwo i Architektura, 2013 The IT tools that are widely used for aiding information and decision-making tasks in engineering activities include classic database systems, and in the case of problems with poorly-recognised structure – systems with knowledge bases.
Janusz Szelka, Zbigniew Wrona
doaj +1 more source
Advanced Engineering Materials, EarlyView.The OntOMat ontology establishes a structured framework for polymer matrix fiber reinforced composite materials, integrating manufacturing processes, characterization methods, and multiscale design through the VDI/VDE 3682 formalized process description standard.
Nicolas Christ +19 more
wiley +1 more source
Variants of multi-relational semantics for propositional non-normal modal logics
, 2014 A number of significant contributions in the last four decades show that non-normal modal logics can be fruitfully employed in several applied fields.
CALARDO, ERICA, ROTOLO, ANTONINO
core +1 more source