Results 91 to 100 of about 93,434 (314)

DL-ReasonSuite: A Benchmark for Evaluating Description Logic Reasoning in Large Language Models

Applied Sciences
Large language models (LLMs) have shown remarkable progress in general reasoning and understanding, but their ability to perform formal logical reasoning remains under-explored.
Müge Oluçoğlu, Okan Bursa
doaj   +1 more source

Historical Foundation and Practical Guideline for Ferroelectric Switching Kinetic Studies

Advanced Functional Materials, EarlyView.
The P and U pulses in the conventional PUND measurements are not identical because of the interplay between switching current and the measurement circuit components. This circuit effect can lead to a shift in polarization transients and misinterpreted physics in the switching kinetics.
Yi Liang, Pat Kezer, John T. Heron
wiley   +1 more source

Monadic second order logic as the model companion of temporal logic

, 2016
The main focus of this paper is on bisimulation-invariant MSO, and more particularly on giving a novel model-theoretic approach to it. In model theory, a model companion of a theory is a first-order description of the class of models in which all ...
S. van Gool, S. Ghilardi, van Gool, S., Ghilardi, S.   +3 more
core   +1 more source

Well-founded semantics for description logic programs in the semantic web [PDF]

, 2004
. In previous work, towards the integration of rules and ontologies in the Semantic Web, we have proposed a combination of logic programming under the answer set semantics with the description logics SHIF(D) and SHOIN (D), which underly the Web ontology ...
Giovambattista Ianni, Thomas Eiter, Schindlauer, R, Roman Schindlauer, Ianni, G, Schindlauer, Roman, Ianni, Giovambattista, Hans Tompits, Eiter, Thomas, Thomas Lukasiewicz, Lukasiewicz, Thomas, Eiter, T, Tompits, Hans   +12 more
core   +1 more source

Electro‐Steric Ion Confinement in Polyelectrolyte Networks for Robust Nonvolatile Artificial Synapse

Advanced Functional Materials, EarlyView.
Polyelectrolyte stoichiometry governs ion transport and retention in electrolyte‐gated synaptic transistors. A PSS‐rich network creates electro‐steric ion confinement that suppresses ion back‐diffusion and stabilizes channel doping, enabling robust nonvolatile synaptic memory, linear weight updates, and low‐energy operation.
Donghwa Lee, Jinbo Kim, Myeongjin An, Jisoo Park, Junho Sung, Eunsung Hwang, Suhwan Seok, Seong‐Min Bak, Jeonghun Kim, Eunho Lee   +9 more
wiley   +1 more source

Pull‐and‐Push Nanotherapeutic Hydrogels: Scavenging Inflammatory Triggers While Driving Tissue Regeneration in Burn Wounds

Advanced Functional Materials, EarlyView.
A nanounit‐assembled hydrogel employing a “pull‐and‐push” strategy simultaneously scavenges pro‐inflammatory cell‐free DNA (cfDNA) and delivers regenerative therapeutics in response to burn‐induced hyperthermia. By repolarizing macrophages and promoting angiogenesis, this multifunctional platform accelerates burn wound healing, offering a blueprint for
Han‐Sem Kim, Seong‐Jin Shin, Sak Lee, Nandin Mandakhbayar, Ji‐Hye Kang, Da‐Young Kong, Seong‐Doo Hong, Ueon Sang Shin, Hae‐Won Kim, Jung‐Hwan Lee   +9 more
wiley   +1 more source

Equality-friendly well-founded semantics and applications to description logics

, 2012
We tackle the problem of defining a well-founded semantics (WFS) for Datalog rules with existentially quantified variables in their heads and nega- tions in their bodies. In particular, we provide a WFS for the recent Datalog± family of ontology languages,
Lukasiewicz, Thomas, André Hernich, Clemens Kupke, Thomas Lukasiewicz, Gottlob, Georg, Kupke, Clemens, Hernich, Andre, Georg Gottlob   +7 more
core  

Oxidized MoS2‐Based Multifunctional Memristive Hardware for Energy‐Efficient mmWave Signal Processing and In‐Memory Matrix Multiplication

Advanced Functional Materials, EarlyView.
Thermally oxidized MoS2‐based radio‐frequency switches enable a multifunctional platform that unifies broadband RF switching and in‐memory computation. The device achieves a cutoff frequency of 33.2 THz with high energy efficiency and supports hardware‐aware signal processing.
Juho Son, Changwoo Pyo, Sungmoon Park, Yoongi Cho, Seungchan Lee, Myungsoo Kim   +5 more
wiley   +1 more source

Interlayer Expansion of Bulk MoS2 via Top‐Down Organic Pillaring Enables Tunable Li+ Intercalation and Controlled Solvent Co‐Intercalation

Advanced Functional Materials, EarlyView.
Top‐down organic pillaring expands the interlayer spacing of bulk‐sized MoS2 particles while preserving the bulk morphology. Operando X‐ray diffraction and electrochemical dilatometry show that MoS2‐bulk undergoes solvent co‐intercalation in diglyme electrolyte, causing large structural expansion, while pillared, expanded MoS2 suppresses solvent uptake
Jaehoon Choi, Pakornrum Tulaphon, Franz Jacobi, Kyeonghyeon Nam, Jameela Karol, Mete B. Durukan, Christoph Scheurer, Desirée Leistenschneider, Simon Fleischmann   +8 more
wiley   +1 more source

The Usability of Description Logics [PDF]

, 2014
Description Logics have been extensively studied from the viewpoint of decidability and computational tractability. Less attention has been given to their usability and the cognitive difficulties they present, in particular for those who are not specialists in logic.
Warren, Paul, Mulholland, Paul, Collins, Trevor, Motta, Enrico   +3 more
openaire   +1 more source