Results 21 to 30 of about 71,112 (263)
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
The volume profile method and its theoretical connection with microeconomic theory as the main premise of its application [PDF]
SHS Web of Conferences, 2021 Research background: This article was conceived as a very valuable basis and the result of theoretical research in the field of microeconomics with a specific application.
Chutka Jan
doaj +1 more source
Minimally inconsistent reasoning in Semantic Web. [PDF]
PLoS ONE, 2017 Reasoning with inconsistencies is an important issue for Semantic Web as imperfect information is unavoidable in real applications. For this, different paraconsistent approaches, due to their capacity to draw as nontrivial conclusions by tolerating ...
Xiaowang Zhang
doaj +1 more source
A novel formal logic for formal analysis of timeliness in non-repudiation protocols
Journal of King Saud University: Computer and Information Sciences, 2023 Non-repudiation protocols are aimed at exchanging digital messages and irrefutable receipts between two mistrusting parties over the Internet, which form the cornerstones of modern secure network transactions. Timeliness is a key security property of non-
Ke Yang +3 more
doaj +1 more source
Plausible Description Logic Programs for Stream Reasoning
Future Internet, 2012 Sensor networks are estimated to drive the formation of the future Internet, with stream reasoning responsible for analysing sensor data. Stream reasoning is defined as real time logical reasoning on large, noisy, heterogeneous data streams, aiming to ...
Ioan Alfred Letia, Adrian Groza
doaj +1 more source
The Data Complexity of Description Logic Ontologies [PDF]
Logical Methods in Computer Science, 2017 We analyze the data complexity of ontology-mediated querying where the ontologies are formulated in a description logic (DL) of the ALC family and queries are conjunctive queries, positive existential queries, or acyclic conjunctive queries. Our approach
Carsten Lutz, Frank Wolter
doaj +1 more source
Finiteness of One-Valued Function Classes in Many-Valued Logic
Fractal and Fractional, 2023 This paper addresses the theoretical issues in k-valued logic, which are crucial for developing solutions in various fields of science and technology.
Elmira Yu. Kalimulina
doaj +1 more source
Transforming Fuzzy Description Logics into Classical Description Logics [PDF]
, 2004 In this paper we consider Description Logics (DLs), which are logics for managing structured knowledge, with a well-known fuzzy extension to deal with vague information. While for fuzzy DLs ad-hoc, tableaux-like reasoning procedures have been given in the literature, the topic of this paper is to present a reasoning preserving transformation of fuzzy ...
openaire +3 more sources
Modelling Imprecise Arguments in Description Logic
Advances 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
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