Algorithms for Instance Retrieval and Realization in Fuzzy Ontologies
Mathematics, 2020 Fuzzy description logics, the formalism behind fuzzy ontologies, are an important mathematical method with applications in many artificial intelligence scenarios. This paper proposes the first specific algorithms to solve two reasoning tasks with respect
Ignacio Huitzil +2 more
doaj +1 more source
A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic Description Logics
Algorithms, 2021 Logic-based knowledge representation is one of the main building blocks of (logic-based) artificial intelligence. While most successful knowledge representation languages are based on classical logic, realistic intelligent applications need to handle ...
Rafael Peñaloza
doaj +1 more source
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics [PDF]
Logical Methods in Computer Science, 2019 We study rewritability of monadic disjunctive Datalog programs, (the complements of) MMSNP sentences, and ontology-mediated queries (OMQs) based on expressive description logics of the ALC family and on conjunctive queries.
Cristina Feier +2 more
doaj +1 more source
Real-Time Decision-Making Systems: Approaches to Construction [PDF]
Problems of the Regional Energetics, 2022 The purpose of this work is the development of mathematical tools for formalizing decision-making problems in open expert real-time control systems. The goal was achieved by defining and formally describing all the elements of a formal system.
Zakharchenko I. +6 more
doaj +1 more source
Using the Mathematical Apparatus of Cellular Automata to Solve the Problem of Monitoring Critical Infrastructure Objects by Unmanned Aerial Vehicles [PDF]
Problems of the Regional Energetics, 2022 The purpose of this work is the development of mathematical tools for formalizing decision-making problems in open expert real-time control systems. The goal was achieved by defining and formally describing all the elements of a formal system.
Chistov V. +6 more
doaj +1 more source
Belief Revision, Minimal Change and Relaxation: A General Framework based on Satisfaction Systems, and Applications to Description Logics [PDF]
, 2017 Belief revision of knowledge bases represented by a set of sentences in a given logic has been extensively studied but for specific logics, mainly propositional, and also recently Horn and description logics. Here, we propose to generalize this operation
Aiguier, Marc +3 more
core +4 more sources
Description logics for representing Bibliographic Data
Cybrarians Journal, 2016 Description Logics have recently attracted considerable attention, both in representing the concepts of an application domain and in reasoning about them.
Tarik El Malki
doaj +1 more source
Locality and Applications to Subsumption Testing in EL and Some of its Extensions [PDF]
Scientific Annals of Computer Science, 2013 In this paper we show that subsumption problems in the description logics {{mathcal|EL}} and EL+ can be expressed as uniform word problems in classes of semilattices with monotone operators.
V. Sofronie-Stokkermans
doaj +1 more source
An ontology for software component matching [PDF]
, 2007 Matching is a central activity in the discovery and assembly of reusable software components. We investigate how ontology technologies can be utilised to support software component development.
Pahl, Claus
core +1 more source
Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual
Journal of Computer Science and Technology, 2017 We present an approach for performing instance checking in possibilistic description logic programming ontologies by accruing arguments that support the membership of individuals to concepts.
Sergio Alejandro Gómez
doaj +1 more source