Expressive probabilistic description logics
Artificial Intelligence, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Thomas Lukasiewicz
openaire +4 more sources
Reasoning with rough description logics: An approximate concepts approach. [PDF]
Inf Sci (N Y), 2009 Jiang Y, Wang J, Tang S, Xiao B.
europepmc +2 more sources
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
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 +5 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
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
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
An ontology for software component matching [PDF]
, 2003 The Web is likely to be a central platform for software development in the future. We investigate how Semantic Web technologies, in particular ontologies, can be utilised to support software component development in a Web environment.
Pahl, Claus
core +2 more sources