Results 21 to 30 of about 4,114 (268)
An Optimization Strategy for Debugging Incoherent Terminologies in Dynamic Environments
IEEE Access, 2017 Ontologies in real-world applications are typically dynamic entities that are frequently modified when new knowledge needs to be added or when existing knowledge is no longer considered valid. Logical errors inevitably occur when ontologies are modified.
Yu Zhang, Dantong Ouyang, Yuxin Ye
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
Rapid Prototyping of Multi-Functional Battery Energy Storage System Applications
Applied Sciences, 2018 Battery Energy Storage Systems (BESS) are starting to play an important role in today’s power distribution networks. They provide a manifold of services for fulfilling demands and requests from diverse stakeholders, such as distribution system operators,
Claudia Zanabria +3 more
doaj +1 more source
Logics for Conceptual Data Modelling: A Review [PDF]
Transactions on Graph Data and KnowledgeInformation modelling for databases and object-oriented information systems avails of conceptual data modelling languages such as EER and UML Class Diagrams.
Fillottrani, Pablo R., Keet, C. Maria
doaj +1 more source
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
Bisimilarity and refinement for hybrid(ised) logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 The complexity of modern software systems entails the need for reconfiguration mechanisms gov- erning the dynamic evolution of their execution configurations in response to both external stimulus or internal performance measures.
Alexandre Madeira +2 more
doaj +1 more source
Information systems modelling based on graph-theoretic background
Journal of Information and Telecommunication, 2018 The recent tendency in analysis and design of information systems is that the emphasis is placed on the documents that are ubiquitous around information systems and organizations.
B. Molnár, A. Béleczki, A. Benczúr
doaj +1 more source
Interpretations of Prices by Russian Consumers: From Trust in State to Economic Autonomy
Интеракция. Интервью. Интерпретация, 2020 On the data of 63 in-depth interviews conducted in crisis 2014–2017 and post-crisis 2018–2019 and analyzed in the framework of sociological cognitivism and the new economic sociology, the article reconstructs semantic logics being used by Russian ...
Elena Sergeevna Berdysheva
doaj +1 more source
Cut-Simulation and Impredicativity [PDF]
Logical Methods in Computer Science, 2009 We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus for an impredicative logic -- in our case a sequent calculus for classical type ...
Christoph Benzmueller +2 more
doaj +1 more source
Incoherency Problems in a Combination of Description Logics and Rules
Journal of Applied Mathematics, 2014 A paraconsistent semantics has been presented for hybrid MKNF knowledge bases—a combination method for description logics and rules. However, it is invalid when incoherency occurs in the knowledge base. In this paper, we introduce a semi-S5 semantics for
Shasha Huang, Jing Hao, Dang Luo
doaj +1 more source