Results 21 to 30 of about 3,794 (164)
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
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
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
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
A Rational Entailment for Expressive Description Logics via Description Logic Programs [PDF]
, 2022 Lehmann and Magidor's rational closure is acknowledged as a landmark in the field of non-monotonic logics and it has also been re-formulated in the context of Description Logics (DLs). We show here how to model a rational form of entailment for expressive DLs, such as SROIQ, providing a novel reasoning procedure that compiles a non-monotone DL ...
Casini G, Straccia U
openaire +5 more sources
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
Unification in the Description Logic EL [PDF]
Logical Methods in Computer Science, 2010 The Description Logic EL has recently drawn considerable attention since, on the one hand, important inference problems such as the subsumption problem are polynomial. On the other hand, EL is used to define large biomedical ontologies.
Franz Baader, Barbara Morawska
doaj +1 more source
Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures [PDF]
Logical Methods in Computer ScienceWe introduce the class of tree constraint automata with data values in Z (equipped with the less than relation and equality predicates to constants) and we show that the nonemptiness problem is ExpTime-complete.
Stephane Demri, Karin Quaas
doaj +1 more source