Results 41 to 50 of about 130,323 (314)
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 +5 more
openaire +3 more sources
FEBS Letters, EarlyView.This perspective highlights emerging insights into how the circadian transcription factor CLOCK:BMAL1 regulates chromatin architecture, cooperates with other transcription factors, and coordinates enhancer dynamics. We propose an updated framework for how circadian transcription factors operate within dynamic and multifactorial chromatin landscapes ...
Xinyu Y. Nie, Jerome S. Menet
wiley +1 more source
Rich Counter-Examples for Temporal-Epistemic Logic Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Model checking verifies that a model of a system satisfies a given property, and otherwise produces a counter-example explaining the violation. The verified properties are formally expressed in temporal logics.
Simon Busard, Charles Pecheur
doaj +1 more source
FEBS Letters, EarlyView.This study reveals how the mitochondrial protein Slm35 is regulated in Saccharomyces cerevisiae. The authors identify stress‐responsive DNA elements and two upstream open reading frames (uORFs) in the 5′ untranslated region of SLM35. One uORF restricts translation, and its mutation increases Slm35 protein levels and mitophagy.
Hernán Romo‐Casanueva +5 more
wiley +1 more source
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests [PDF]
Logical Methods in Computer ScienceSHACL is a W3C-proposed schema language for expressing structural constraints on RDF graphs. Recent work on formalizing this language has revealed a striking relationship to description logics.
Bart Bogaerts +2 more
doaj +1 more source
Current Directions in Biomedical Engineering, 2020 In this paper we present results to the problem of an adequate and compact symbolic representation of morphological features of anatomical structures that serve as surgical landmarks for automated assistance in endoscopic surgery using the General Formal
Schäfermeier Ralph +3 more
doaj +1 more source
Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification [PDF]
Logical Methods in Computer Science, 2017 Unification in Description Logics has been introduced as a means to detect redundancies in ontologies. We try to extend the known decidability results for unification in the Description Logic $\mathcal{EL}$ to disunification since negative constraints ...
Franz Baader +2 more
doaj +1 more source
LTL over Description Logic Axioms [PDF]
ACM Transactions on Computational Logic, 2008 Most of the research on temporalized Description Logics (DLs) has concentrated on the case where temporal operators can occur within DL concept descriptions. In this setting, reasoning usually becomes quite hard if rigid roles, i.e., roles whose interpretation does not change over time, are available.
F. Baader, S. Ghilardi, C. Lutz
openaire +4 more sources
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Timed Context-Free Temporal Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The paper is focused on temporal logics for the description of the behaviour of real-time pushdown reactive systems. The paper is motivated to bridge tractable logics specialized for expressing separately dense-time real-time properties and context-free ...
Laura Bozzelli +2 more
doaj +1 more source