Results 31 to 40 of about 93,434 (314)
An Approach to Self-Configuration of M2M Services
Cybernetics and Information Technologies, 2017 The increased number of connected devices and Machine-to-Machine (M2M) applications becomes business and technical challenge for network operators. The complexity of connectivity challenge yields for appropriate connectivity management solutions.
Pencheva Evelina
doaj +1 more source
A cookbook for temporal conceptual data modelling with description logic
, 2014 We design temporal description logics suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on DL-Lite logics with three types of concept inclusions (ranging from atomic ...
Ryzhikov, Vladislav +4 more
core +1 more source
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
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
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
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
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs [PDF]
, 2008 Managing uncertainty and/or vagueness is starting to play an important role in Semantic Web representation languages. Our aim is to overview basic concepts on representing uncertain and vague knowledge in current Semantic Web ontology and rule languages (and their combination).
openaire +4 more sources
The ubiquitin‐proteasome system and autophagy as guardians of the cellular proteome
FEBS Letters, EarlyView.This Perspective covers the three principles governing the crosstalk between the ubiquitin‐proteasome system and autophagy in cellular proteostasis: (1) a shared ubiquitin code routing substrates via shuttle factors or autophagy receptors; (2) spatial compartmentalization into phase‐separated degradation hubs and organelle‐specific modules (exemplified
Ivan Dikic
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
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