Results 41 to 50 of about 93,434 (314)
Preferential Description Logics [PDF]
, 2007 We extend the Description Logic ALC with a "typicality" operator T that allows us to reason about the prototypical properties and inheritance with exceptions. The resulting logic is called ALC + T. The typicality operator is intended to select the "most normal" or "most typical" instances of a concept. In our framework, knowledge bases may then contain,
Laura Giordano 0001 +3 more
openaire +1 more source
Querying Circumscribed Description Logic Knowledge Bases
, 2023 We summarize our recent work on evaluating (unions of) conjunctive queries on circumscribed versions of description logic ranging from ℒℋℐ via ℰℒ to various versions of DL-Lite [1]
Nolte, Robin +2 more
core +1 more source
Phosphoinositides and inositol phosphates as molecular glues
FEBS Letters, EarlyView.Inositol phosphates (IPs) and phosphoinositides (PIPs) regulate diverse eukaryotic processes. Beyond recruiting signaling proteins or acting as structural cofactors, recent studies suggest they mediate protein–protein interactions as natural molecular glues.
Aleshia Seaton‐Terry +9 more
wiley +1 more source
Description logics as polyadic modal logics
CoRR, 2021 We study extensions of standard description logics to the framework of polyadic modal logic. We promote a natural approach to such logics via general relation algebras that can be used to define operations on relations of all arities. As a concrete system to illustrate our approach, we investigate the polyadic version of ALC extended with relational ...
Jonne Iso-Tuisku, Antti Kuusisto
openaire +2 more sources
An Abstract Tableau Calculus for the Description Logic SHOI Using UnrestrictedBlocking and Rewriting [PDF]
, 2012 This paper presents an abstract tableau calculus for the description logic SHOI. SHOI is the extension of ALC with singleton concepts, role inverse, transitive roles and role inclusion axioms.
Mohammad Khodadadi, Renate A Schmidt +3 more
core
Molecular Oncology, EarlyView.Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson +9 more
wiley +1 more source
Engineering Support for Handling Controller Conflicts in Energy Storage Systems Applications
Energies, 2017 Energy storage systems will play a major role in the decarbonization of future sustainable electric power systems, allowing a high penetration of distributed renewable energy sources and contributing to the distribution network stability and reliability.
Claudia Zanabria +4 more
doaj +1 more source
A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 This paper contains two parts: the description of a real electrical system, with many redundancies, reconfigurations and repairs, then the description of a reliability model of this system, based on the BDMP (Boolean logic Driven Markov Processes ...
Marc Bouissou
doaj +1 more source
SHACL: A Description Logic in Disguise [PDF]
, 2022 SHACL is a W3C-proposed language for expressing structural constraints on RDF graphs. In recent years, SHACL's popularity has risen quickly. This rise in popularity comes with questions related to its place in the semantic web, particularly about its relation to OWL (the de facto standard for expressing ontological information on the web) and ...
Bogaerts, Bart +2 more
openaire +6 more sources
Interpreting the effects of DNA polymerase variants at the structural level
Molecular Oncology, EarlyView.Using MAVISp and molecular dynamics simulations, we analyzed over 60 000 missense variants in POLE and POLD1 from ClinVar, COSMIC, cBioPortal, and saturation mutagenesis. Identified mechanistic indicators, including stability, binding, and long‐range, enable structural interpretation, providing ACMG‐like evidence for possible reclassification of VUS ...
Matteo Arnaudi +7 more
wiley +1 more source