Results 81 to 90 of about 130,323 (314)
A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics [PDF]
, 2018 In this extended abstract we discuss the relationship between confidentiality-preserving frameworks and inconsistency-tolerant repair and update semantics in Description Logics (DL).
Lembo, Domenico +2 more
core
Photoswitching Conduction in Framework Materials
Advanced Functional Materials, EarlyView.This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez +4 more
wiley +1 more source
The combined approach to ontology-based data access [PDF]
, 2011 The use of ontologies for accessing data is one of the most exciting new applications of description logics in databases and other information systems.
Kontchakov, Roman +4 more
core +5 more sources
Optimizing the computation of overriding
, 2015 We introduce optimization techniques for reasoning in DLN---a recently introduced family of nonmonotonic description logics whose characterizing features appear well-suited to model the applicative examples naturally arising in biomedical domains and ...
BC Grau +17 more
core +1 more source
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
Advanced Functional Materials, EarlyView.This review explores functional and responsive materials for triboelectric nanogenerators (TENGs) in sustainable smart agriculture. It examines how particulate contamination and dirt affect charge transfer and efficiency. Environmental challenges and strategies to enhance durability and responsiveness are outlined, including active functional layers ...
Rafael R. A. Silva +9 more
wiley +1 more source
Unprecedented Spin‐Lifetime of Itinerant Electrons in Natural Graphite Crystals
Advanced Functional Materials, EarlyView.Graphite exhibits extraordinary spintronic potential, with electron spin lifetimes reaching 1,000 ns at room temperature ‐ over 100 times longer than graphene‐based devices. Magnetic resonance spectroscopy reveals strong anisotropy: out‐of‐plane spins live 50 times longer than their in‐plane counterparts.
Bence G. Márkus +5 more
wiley +1 more source
The Complexity of Satisfiability for Sub-Boolean Fragments of ALC [PDF]
, 2010 The standard reasoning problem, concept satisfiability, in the basic description logic ALC is PSPACE-complete, and it is EXPTIME-complete in the presence of unrestricted axioms.
Meier, Arne, Schneider, Thomas
core +1 more source
In Situ Study of Resistive Switching in a Nitride‐Based Memristive Device
Advanced Functional Materials, EarlyView.In situ TEM biasing experiment demonstrates the volatile I‐V characteristic of MIM lamella device. In situ STEM‐EELS Ti L2/L3 ratio maps provide direct evidence of the oxygen vacancies migrations under positive/negative electrical bias, which is critical for revealing the RS mechanism for the MIM lamella device.
Di Zhang +19 more
wiley +1 more source
Reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions
Journal of Computer Science and Technology, 2015 We present a preliminary framework for reasoning with possibilistic description logics ontologies with disjunctive assertions (PoDLoDA ontologies for short).
Sergio Alejandro Gómez
doaj