Results 31 to 40 of about 1,076,775 (291)
A Characterization Theorem for a Modal Description Logic
, 2017 Modal description logics feature modalities that capture dependence of knowledge on parameters such as time, place, or the information state of agents.
Schröder, Lutz, Wild, Paul
core +1 more source
A Rational Entailment for Expressive Description Logics via Description Logic Programs [PDF]
, 2022 Lehmann and Magidor's rational closure is acknowledged as a landmark in the field of non-monotonic logics and it has also been re-formulated in the context of Description Logics (DLs). We show here how to model a rational form of entailment for expressive DLs, such as SROIQ, providing a novel reasoning procedure that compiles a non-monotone DL ...
Casini G, Straccia U
openaire +5 more sources
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
Loop Formulas for Description Logic Programs
, 2010 Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logics, for the Semantic Web.
Brewka +13 more
core +1 more source
IEEE AccessAssembly planning is increasingly becoming a data-driven process where digital representations of assembly contents (ACs) and their dependencies are central.
Marco Bleckmann +3 more
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.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
Ontology-Based Layered Hybrid AI-Driven Knowledge Model for Personalized E-Learning
MathematicsEducation is a complex and multidisciplinary field. Effective personalization in education is grounded in both educational theory and hybrid AI practice.
Tatyana Ivanova
doaj +1 more source