Results 51 to 60 of about 3,682,520 (371)

An Approach to Self-Configuration of M2M Services

open access: yesCybernetics 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

Attribute Logic Formula Description of Granule and Its Application to Build Concept Lattice

open access: yesIEEE 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

Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality

open access: yesBulletin 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

ALE Defeasible Description Logic [PDF]

open access: yes, 2006
One of Semantic Web strengths is the ability to address incomplete knowledge. However, at present, it cannot handle incomplete knowledge directly. Also, it cannot handle non-monotonic reasoning.
D. Billington   +6 more
core   +2 more sources

Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics

open access: yesDescription Logics, 2014
Recently several inconsistency-tolerant semantics have been introduced for querying inconsistent description logic knowledge bases. Most of these semantics rely on the notion of a repair, defined as an inclusion-maximal subset of the facts (ABox ...
Meghyn Bienvenu   +2 more
semanticscholar   +1 more source

On the Expressive Power of Sub-Propositional Fragments of Modal Logic [PDF]

open access: yesElectronic 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

Video semantic content analysis framework based on ontology combined MPEG-7 [PDF]

open access: yes, 2007
The rapid increase in the available amount of video data is creating a growing demand for efficient methods for understanding and managing it at the semantic level.
A. Artale   +10 more
core   +1 more source

Modelling Imprecise Arguments in Description Logic

open access: yesAdvances in Electrical and Computer Engineering, 2009
Real arguments are a mixture of fuzzy linguistic variables and ontological knowledge. This paper focuses on modelling imprecise arguments in order to obtain a better interleaving of human and software agents argumentation, which might be proved useful ...
LETIA, I. A., GROZA, A.
doaj   +1 more source

Budowa ontologii na potrzeby oceny jakości serwisów internetowych

open access: yesProblemy 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

The Descriptive Discourse of Ancient Arabic: The case of Abdul Hamid Al- Kateb [PDF]

open access: yesدراسات في اللغة العربيّة وآدابها, 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

Home - About - Disclaimer - Privacy