Results 31 to 40 of about 2,297,669 (248)
On Free Description Logics with Definite Descriptions [PDF]
Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning, 2021 Definite descriptions are phrases of the form ‘the x such that φ’, used to refer to single entities in a context. They are often more meaningful to users than individual names alone, in particular when modelling or querying data over ontologies. We investigate free description logics with both individual names and definite descriptions as terms of the ...
Alessandro Artale +3 more
openaire +6 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
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
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
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
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
SHACL: A Description Logic in Disguise [PDF]
, 2022 SHACL is a W3C-proposed language for expressing structural constraints on RDF graphs. In recent years, SHACL's popularity has risen quickly. This rise in popularity comes with questions related to its place in the semantic web, particularly about its relation to OWL (the de facto standard for expressing ontological information on the web) and ...
Bogaerts, Bart +2 more
openaire +8 more sources
Pointwise circumscription in description logics
, 2022 Circumscription is one of the major approaches to bring non-monotonic (common-sense) reasoning features to first-order logic and related formalisms, and it has already received attention in Description Logics (DLs), with the focus on understanding the ...
Šimkus, Mantas +2 more
core +2 more sources
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs [PDF]
, 2008 Managing uncertainty and/or vagueness is starting to play an important role in Semantic Web representation languages. Our aim is to overview basic concepts on representing uncertain and vague knowledge in current Semantic Web ontology and rule languages (and their combination).
openaire +5 more sources