Using Adaptive Logics for Expression of Context and Interoperability in DL Ontologies
Information, 2022 Ontologies are logical theories that are used in computer science for describing different items such as web services, agents in multi-agent systems, or domain knowledge.
Thierry Louge +2 more
doaj +1 more source
Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2
Future Internet, 2022 In this paper we study Graphol, a fully graphical language inspired by standard formalisms for conceptual modeling, similar to the UML class diagram and the ER model, but equipped with formal semantics. We formally prove that Graphol is equivalent to OWL
Domenico Lembo +3 more
doaj +1 more source
Ontological analysis in the problems of container applications threat modelling
Informatika, 2023 Objectives. The main purpose of the work is the experimental verification of the method of automatic threat modelling based on the ontological approach using the example of multicomponent container applications presented in the form of data flow diagrams.
A. I. Brazhuk, E. V. Olizarovich
doaj +1 more source
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
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
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
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
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