Results 21 to 30 of about 1,076,775 (291)
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
Strong Faithfulness for ELH Ontology Embeddings [PDF]
Transactions on Graph Data and KnowledgeOntology embedding methods are powerful approaches to represent and reason over structured knowledge in various domains. One advantage of ontology embeddings over knowledge graph embeddings is their ability to capture and impose an underlying schema to ...
Lacerda, Victor +2 more
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
On Construction and Evaluation of Analogical Arguments for Persuasive Reasoning
Applied Artificial Intelligence, 2019 Analogical reasoning is a complex process based on a comparison between two pairs of concepts or states of affairs (aka. the source and the target) for characterizing certain features from one to another.
Teeradaj Racharak +3 more
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
Argumentative Support for Structured HACCP Plans
Advances in Electrical and Computer Engineering, 2010 This research presents an argumentation based decision support system for implementing the Hazard Analysis at Critical Control Points (HACCP) standard in food industry.
GROZA, A., LETIA, I. A.
doaj +1 more source
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