Results 31 to 40 of about 71,112 (263)
Attribute Logic Formula Description of Granule and Its Application to Build Concept Lattice
IEEE Access, 2020 This paper focus on the granule description based on formal concept analysis. First, we introduce the notion of attribute logic formula in a formal context, and then prove a general granule description theorem by using attribute logic formulas.
Xia Wu, Jialu Zhang, Ruhua Lu
doaj +1 more source
Bulletin of the Section of Logic, 2022 This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time.
Stepan I. Bashmakov, Tatyana Yu. Zvereva
doaj +1 more source
FaCT++ Description Logic Reasoner: System Description [PDF]
, 2006 This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additional support for datatypes, including strings and integers. The system employs a wide range of performance enhancing optimisations, including both standard techniques (such ...
Tsarkov, Dmitry, Horrocks, Ian
openaire +2 more sources
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 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
Budowa ontologii na potrzeby oceny jakości serwisów internetowych
Problemy Zarządzania, 2015 In the paper the conception of integration of websites quality assessment methods was formulated. In this case the authors proposed using ontologies which will be created for those methods. For building ontologies, the Methontology methodology was used.
Paweł Ziemba, Ryszard Budziński
doaj +1 more source
On the Expressive Power of Sub-Propositional Fragments of Modal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical propositional logic, but notable exceptions exist in the domains of description, temporal, and spatial ...
Davide Bresolin +2 more
doaj +1 more source
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
The Descriptive Discourse of Ancient Arabic: The case of Abdul Hamid Al- Kateb [PDF]
دراسات في اللغة العربيّة وآدابها, 2019 This article discusses the descriptive discourse-- the subject and poetic language-- in one of the hunting diaries of Abdul Hamid Al- Kateb. The article is also concerned with the internal scheme of description as well as the specific logic of the ...
Samar Al-Dayyoub
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