Results 11 to 20 of about 2,297,669 (248)
Modal Logics are Coalgebraic [PDF]
, 2008 Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts.
Pattinson, Dirk +4 more
core +2 more sources
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
IEEE Intelligent Systems, 2014 This article provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before the syntax and semantics of the DL SROIQ are defined in detail. Additional sections review lightweight DL languages, discuss the relationship to the Web Ontology Language (OWL), and give pointers to ...
Markus Krötzsch +2 more
openaire +2 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
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
Tailoring temporal description logics for reasoning over temporal conceptual models [PDF]
, 2011 Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally extended to design temporal ...
Ryzhikov, Vladislav +8 more
core +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
Knowledge base as the element steering interface of a complex information system [PDF]
Computer Methods in Materials Science, 2006 An idea of supporting a user facing a complex and functionally reach system under the assumption that his knowledge about it is incomplete and imprecise and can be expressed (and accumulated) by him using notions not agreed in meaning is presented in the
Grzegorz Dobrowolski, Edward Nawarecki
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