Results 51 to 60 of about 2,714,739 (303)

A Breakdown of System of Systems Needs Using Architecture Frameworks, Ontologies and Description Logic Reasoning

Aerospace, 2021
Aerospace systems are connected with the operational environment and other systems in general. The focus in aerospace product development is consequently shifting from a singular system perspective to a System-of-Systems (SoS) perspective.
Ludvig Knöös Franzén, Ingo Staack, Petter Krus, Christopher Jouannet, Kristian Amadori   +4 more
doaj   +1 more source

NFDI MatWerk Ontology (MWO): A BFO‐Compliant Ontology for Research Data Management in Materials Science and Engineering

Advanced Engineering Materials, EarlyView.
This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi, Ebrahim Norouzi, Kostiantyn Hubaiev, Jörg Waitelonis, Harald Sack   +4 more
wiley   +1 more source

EXTRACTION OF CONCEPT AND CONCEPT RELATION FOR ISLAMIC TERM USING SYNTACTIC PATTERN APPROACH

Asia-Pacific Journal of Information Technology and Multimedia, 2018
Ontology Learning is a semi automation step to learn ontology from text. The identification of a term become a prerequisite for all aspects of Ontology Learning.
Saidah Saad, Ummu Kalsom Latiff
doaj   +1 more source

Automated Synthesis of Tableau Calculi [PDF]

Logical Methods in Computer Science, 2011
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau inference rules that can then be used to reason within the logic. The method
Renate A. Schmidt, Dmitry Tishkovsky
doaj   +1 more source

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases [PDF]

, 2023
Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi   +2 more
openalex   +1 more source

Interaction between Molten Al‐Killed Mn–B Steel and Carbon‐Bonded MgO Refractories Based on Recyclates

Advanced Engineering Materials, EarlyView.
High‐temperature interactions between low‐sulfur Al‐killed Mn–B steel and MgO–C refractories (0 and 50 wt% recyclates) are studied via finger immersion tests (1600 °C). Surface‐active elements influence infiltration. MgO/CaS layer forms, along with spinel and calcium silicate.
Matheus Roberto Bellé, Lukas Neubert, Anton Yehorov, Till M. J. Stadtmüller, Christos G. Aneziris, Olena Volkova   +5 more
wiley   +1 more source

Description Logic Ontology-Supported Part Orientation for Fused Deposition Modelling [PDF]

, 2022
Meifa Huang, Nan Zheng, Yuchu Qin, Zhemin Tang, Han Zhang, Bing Fan, Ling Qin   +6 more
openalex   +1 more source

Synchrotron Radiation for Quantum Technology

Advanced Functional Materials, EarlyView.
Materials and interfaces underpin quantum technologies, with synchrotron and FEL methods key to understanding and optimizing them. Advances span superconducting and semiconducting qubits, 2D materials, and topological systems, where strain, defects, and interfaces govern performance.
Oliver Rader, Sakura Pascarelli, Klaus Attenkofer, Anna A. Makarova, Karsten Holldack, Kai Rossnagel, Kristiaan Temst, George Kourousias, Stefano Carretta, Caterina Biscari, Helmut Dosch   +10 more
wiley   +1 more source

MP-SPILDL: A Massively Parallel Inductive Logic Learner in Description Logic

IEEE Access
This article presents MP-SPILDL, a massively parallel inductive logic learner in Description Logic (DL). MP-SPILDL is a scalable inductive Logic Programming (ILP) algorithm that exploits existing Big Data infrastructure to perform large-scale inductive ...
Eyad Algahtani
doaj   +1 more source

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

Advanced Functional Materials, EarlyView.
An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone, Victoria Clerico, Wooseok Choi, Tommaso Stecconi, Folkert Horst, Laura Bégon‐Lours, Matteo Galetta, Antonio La Porta, Nikhil Garg, Fabien Alibart, Bert Jan Offrein, Valeria Bragaglia   +11 more
wiley   +1 more source