Results 61 to 70 of about 113,022 (221)

Non-distributive Description Logic

, 2023
Abstract We define LE-$$\mathcal {ALC}$$, a generalization of the description logic $$\mathcal {ALC}$$ based on the propositional logic of general (i.e. not necessarily distributive) lattices, and semantically interpreted on relational structures based on formal contexts from Formal Concept Analysis (FCA).
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna B. Manoorkar, Alessandra Palmigiano, Mattia Panettiere   +5 more
openaire   +3 more sources

Carbon‐Based Flexible Electrode for Efficient Electrochemical Generation of Reactive Chlorine Species in Tumor Therapy

Advanced Healthcare Materials, EarlyView.
A flexible electrode loaded with a carbon nanowire network (CC@C‐NWN) is developed for electrochemically generating reactive chlorine species (RCS) from abundant chloride ions in body fluids for tumor therapy. CC@C‐NWN enhances chlorine evolution, inducing redox dysregulation and synergistic apoptosis‐ferroptosis in tumor cells.
Cuinan Jiang, Zhaoyu Chen, Ruihao Yang, Ziga Luogu, Qian Ren, Hao Hu, Kaixin Wang, Senlin Li, Changlin Deng, Meng Li, Lu Zheng   +10 more
wiley   +1 more source

Computing Horn Rewritings of Description Logics Ontologies

, 2015
We study the problem of rewriting an ontology O1 expressed in a DL L1 into an ontology O2 in a Horn DL L2 such that O1 and O2 are equisatisfiable when extended with an arbitrary dataset.
Grau, Bernardo Cuenca, Kaminski, Mark
core  

Using Description Logics for RDF Constraint Checking and Closed-World Recognition

, 2015
RDF and Description Logics work in an open-world setting where absence of information is not information about absence. Nevertheless, Description Logic axioms can be interpreted in a closed-world setting and in this setting they can be used for both ...
Patel-Schneider, Peter F.
core   +1 more source

Optoelectronic Devices for In‐Sensor Computing

Advanced Materials, EarlyView.
The raw data obtained directly from sensors in the noisy analogue domain is often unstructured, which lacks a predefined format or organization and does not conform to a specific data model. Optoelectronic devices for in‐sensor visual processing can integrate perception, memory, and processing functions in the same physical units, which can compress ...
Qinqi Ren, Chaoyi Zhu, Sijie Ma, Zhaoqing Wang, Jianmin Yan, Tianqing Wan, Weicheng Yan, Yang Chai   +7 more
wiley   +1 more source

On the uniform one-dimensional fragment

, 2016
The uniform one-dimensional fragment of first-order logic, U1, is a recently introduced formalism that extends two-variable logic in a natural way to contexts with relations of all arities.
Kuusisto, Antti
core  

Fuzzy Description Logic Programs [PDF]

, 2008
Description Logic Programs (DLPs), which combine the expressive power of classical description logics and logic programs, are emerging as an important ontology description language paradigm. In this work, we present fuzzy DLPs, which extend DLPs by allowing the representation of vague/imprecise information.
openaire   +5 more sources

An epistemic operator for description logics

Artificial Intelligence, 1998
AbstractDescription logics (also called terminological logics, or concept languages) are fragments of first-order logic that provide a formal account of the basic features of frame-based systems. However, there are aspects of frame-based systems—such as nonmonotonic reasoning and procedural rules—that cannot be characterized in a standard first-order ...
DONINI F. M., LENZERINI, Maurizio, NARDI, Daniele, NUTT W., SCHAERF A.   +4 more
openaire   +4 more sources

Single‐Layer Spin‐Orbit‐Torque Magnetization Switching Due to Spin Berry Curvature Generated by Minute Spontaneous Atomic Displacement in a Weyl Oxide

Advanced Materials, EarlyView.
Single‐layer magnetization switching with a small critical current density of ≈106 A cm−2 is demonstrated. The strong intrinsic spin Hall effect, causing the switching, is induced by the synergy of the inherent spin‐orbit coupling and the spontaneous oxygen octahedral rotation in SrRuO3.The findings highlight the immense potential for realizing ...
Hiroto Horiuchi, Yasufumi Araki, Yuki K. Wakabayashi, Jun'ichi Ieda, Michihiko Yamanouchi, Yukio Sato, Shingo Kaneta‐Takada, Yoshitaka Taniyasu, Hideki Yamamoto, Yoshiharu Krockenberger, Masaaki Tanaka, Shinobu Ohya   +11 more
wiley   +1 more source

Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics [PDF]

, 2011
We study uniform interpolation and forgetting in the description logic ALC. Our main results are model-theoretic characterizations of uniform inter- polants and their existence in terms of bisimula- tions, tight complexity bounds for deciding the ...
Lutz, Carsten, Wolter, Frank
core   +1 more source