Results 41 to 50 of about 1,097,831 (341)
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
Tableaux for Free Logics with Descriptions [PDF]
, 2021 This is a full version of a conference paper that will appear in the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
Andrzej Indrzejczak, Michał Zawidzki
openaire +3 more sources
Bulletin of the Section of Logic, 2022 This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time.
Stepan I. Bashmakov, Tatyana Yu. Zvereva
doaj +1 more source
Description logics as polyadic modal logics [PDF]
arXiv, 2021 We study extensions of standard description logics to the framework of polyadic modal logic. We promote a natural approach to such logics via general relation algebras that can be used to define operations on relations of all arities. As a concrete system to illustrate our approach, we investigate the polyadic version of ALC extended with relational ...
arxiv
Towards a generation-based semantic web authoring tool [PDF]
, 2009 Widespread use of Semantic Web technologies requires interfaces through which knowledge can be viewed and edited without deep understanding of Description Logic and formalisms like OWL and RDF.
Power, Richard
core +3 more sources
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
Monadic Fragments of Intuitionistic Control Logic [PDF]
, 2016 We investigate monadic fragments of Intuitionistic Control Logic (ICL), which is obtained from Intuitionistic Propositional Logic (IPL) by extending language of IPL by a constant distinct from intuitionistic constants.
Glenszczyk, Anna
core +2 more sources
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
Budowa ontologii na potrzeby oceny jakości serwisów internetowych
Problemy Zarządzania, 2015 In the paper the conception of integration of websites quality assessment methods was formulated. In this case the authors proposed using ontologies which will be created for those methods. For building ontologies, the Methontology methodology was used.
Paweł Ziemba, Ryszard Budziński
doaj +1 more source
On the Expressive Power of Sub-Propositional Fragments of Modal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical propositional logic, but notable exceptions exist in the domains of description, temporal, and spatial ...
Davide Bresolin +2 more
doaj +1 more source