scholarly journals Debugging Classical Ontologies Using Defeasible Reasoning Tools

2021 ◽  
Author(s):  
Simone Coetzer ◽  
Katarina Britz

A successful application of ontologies relies on representing as much accurate and relevant domain knowledge as possible, while maintaining logical consistency. As the successful implementation of a real-world ontology is likely to contain many concepts and intricate relationships between the concepts, it is necessary to follow a methodology for debugging and refining the ontology. Many ontology debugging approaches have been developed to help the knowledge engineer pinpoint the cause of logical inconsistencies and rectify them in a strategic way. We show that existing debugging approaches can lead to unintuitive results, which may lead the knowledge engineer to opt for deleting potentially crucial and nuanced knowledge. We provide a methodological and design foundation for weakening faulty axioms in a strategic way using defeasible reasoning tools. Our methodology draws from Rodler’s interactive ontology debugging approach and extends this approach by creating a methodology to systematically find conflict resolution recommendations. Importantly, our goal is not to convert a classical ontology to a defeasible ontology. Rather, we use the definition of exceptionality of a concept, which is central to the semantics of defeasible description logics, and the associated algorithm to determine the extent of a concept’s exceptionality (their ranking); then, starting with the statements containing the most general concepts (the least exceptional concepts) weakened versions of the original statements are constructed; this is done until all inconsistencies have been resolved.

Author(s):  
Matteo Casu ◽  
Luca Albergante

The notion of identity has been discussed extensively in the past. Leibniz was the first to present this notion in a logically coherent way, using a formulation generally recognized as “Leibniz's Law”. Although some authors criticized this formulation, Leibniz's Law is generally accepted as the definition of identity. This work interprets Leibniz's Law as a limit notion: perfectly reasonable in a <i>God's eye</i> view of reality, but very difficult to use in the real world because of the limitedness of finite agents. To illustrate our approach we use “description logics” to describe the properties of objects, and present an approach to relativize Leibniz's Law. This relativization is further developed in a semantic web context, where the utility of our approach is suggested.


2021 ◽  
pp. 016555152199980
Author(s):  
Yuanyuan Lin ◽  
Chao Huang ◽  
Wei Yao ◽  
Yifei Shao

Attraction recommendation plays an important role in tourism, such as solving information overload problems and recommending proper attractions to users. Currently, most recommendation methods are dedicated to improving the accuracy of recommendations. However, recommendation methods only focusing on accuracy tend to recommend popular items that are often purchased by users, which results in a lack of diversity and low visibility of non-popular items. Hence, many studies have suggested the importance of recommendation diversity and proposed improved methods, but there is room for improvement. First, the definition of diversity for different items requires consideration for domain characteristics. Second, the existing algorithms for improving diversity sacrifice the accuracy of recommendations. Therefore, the article utilises the topic ‘features of attractions’ to define the calculation method of recommendation diversity. We developed a two-stage optimisation model to enhance recommendation diversity while maintaining the accuracy of recommendations. In the first stage, an optimisation model considering topic diversity is proposed to increase recommendation diversity and generate candidate attractions. In the second stage, we propose a minimisation misclassification cost optimisation model to balance recommendation diversity and accuracy. To assess the performance of the proposed method, experiments are conducted with real-world travel data. The results indicate that the proposed two-stage optimisation model can significantly improve the diversity and accuracy of recommendations.


2021 ◽  
Vol 11 (1) ◽  
Author(s):  
Silvia Zaoli ◽  
Piero Mazzarisi ◽  
Fabrizio Lillo

AbstractBetweenness centrality quantifies the importance of a vertex for the information flow in a network. The standard betweenness centrality applies to static single-layer networks, but many real world networks are both dynamic and made of several layers. We propose a definition of betweenness centrality for temporal multiplexes. This definition accounts for the topological and temporal structure and for the duration of paths in the determination of the shortest paths. We propose an algorithm to compute the new metric using a mapping to a static graph. We apply the metric to a dataset of $$\sim 20$$ ∼ 20 k European flights and compare the results with those obtained with static or single-layer metrics. The differences in the airports rankings highlight the importance of considering the temporal multiplex structure and an appropriate distance metric.


2021 ◽  
Vol 54 (2) ◽  
pp. 121-129
Author(s):  
Vera B. Tsarcova ◽  

The article is devoted to one of the problems of foreign language education – the definition of the role of interpretation in preparing students of special (language) directions to participate in the dialogue of cultures. Interpretation is considered as a phenomenon and as a way of comprehending reality, which allows the subjects of the dialogue of cultures to reach mutual understanding. The main characteristic of interpretation, which is necessary for the purposes of foreign language education, is its psychological character. It is determined by the psychology of the author, the psychology of the work, as well as the psychology of the reader-interpreter. It is proved that the interpretation of a work of art, which has universal, historical and personal plans, has huge epistemological and axiological possibilities. They activate the entire educational potential of interperetation (educational, developmental, cognitive, and educational). Russian Russian poet A. A. Fet (1820–1892) uses the poem “Wir saßen am Fischerhaus” by the famous German poet and publicist Heinrich Hein (1797–1856) and the translation of this poem into Russian to illustrate the interpretation technology. The poem is considered as a space of personal meanings of the author. They are the ones that are subject to interpretation and bring the reader-interpreter back from the poet's world to the modern real world. And the real world is full of unexpected cultural facts, closely related to the content of the work of G. Heine, with distant Lapland and the life of modern lapps. Thus, interpretation is presented as an educational strategy. Together with the strategies of contextualization, philologization and argumentation, it ensures the achievement of the main goal of foreign language education – the creation of an individual who can act as a genuine subject of the dialogue of cultures. The article also emphasizes the importance of the teacher as the organizer of the educational process and the subject of the dialogue of cultures.


2021 ◽  
Vol 74 (2) ◽  
pp. 67-71
Author(s):  
Zh.K. Madalieva ◽  

The article discusses in detail the essence and meaning of ritual as a social action. The study of the nature of this phenomenon involves, first of all, the study of various approaches to the definition of the concept of "ritual" and related phenomena. Analyzing the existing definitions, the author comes to the conclusion that "ritual" is a certain set of actions that have symbolic meaning. The symbolism of the ritual is manifested in its connecting role with the world of the sacred, sacred. The article emphasizes that in the consciousness of a person in a traditional society, the sacred world is present in the real world through ritual. As an archaic form of culture, ritual was also a way of regulating and maintaining collective life. The ritual served as a means of integrating and maintaining the integrity of the human community, giving it stability. Therefore, the article focuses on the social functions of the ritual in both public and individual life.


2007 ◽  
Vol 46 (03) ◽  
pp. 332-343 ◽  
Author(s):  
P. Knaup ◽  
E. J. S. Hovenga ◽  
S. Heard ◽  
S. Garde

Summary Objectives: In the field of open electronic health records (EHRs), openEHR as an archetype-based approach is being increasingly recognised. It is the objective of this paper to shortly describe this approach, and to analyse how openEHR archetypes impact on health professionals and semantic interoperability. Methods: Analysis of current approaches to EHR systems, terminology and standards developments. In addition to literature reviews, we organised face-to-face and additional telephone interviews and tele-conferences with members of relevant organisations and committees. Results: The openEHR archetypes approach enables syntactic interoperability and semantic interpretability – both important prerequisites for semantic interoperability. Archetypes enable the formal definition of clinical content by clinicians. To enable comprehensive semantic interoperability, the development and maintenance of archetypes needs to be coordinated internationally and across health professions. Domain knowledge governance comprises a set of processes that enable the creation, development, organisation, sharing, dissemination, use and continuous maintenance of archetypes. It needs to be supported by information technology. Conclusions: To enable EHRs, semantic interoperability is essential. The openEHR archetypes approach enables syntactic interoperability and semantic interpretability. However, without coordinated archetype development and maintenance, ‘rank growth’ of archetypes would jeopardize semantic interoperability. We therefore believe that openEHR archetypes and domain knowledge governance together create the knowledge environment required to adopt EHRs.


Author(s):  
O. Dmytryk

Problem setting. The importance of financial control in the formation of market relations is significantly increasing, because such control contributes to the successful implementation of the financial policy of the state, ensuring the proper formation, distribution (redistribution) and the use of funds accumulated in public funds. In addition, it should be noted that financial control is a means of regulating economic activity. In this context, legal support for financial control is of great importance. Independent financial control is a form of non-governmental financial control that can be exercised by specialized organizations – audit firms or auditors. It is significant that Ukraine recently adopted a law regulating the procedure for auditing and conducting financial audits. It is the Law of Ukraine “On Audit of Financial Reporting and Auditing” № 2258-VIII of December 21. 2017, which came into force on 1 October. 2018. Analysis of recent researches and publications. We emphasize that the study of the concept of “financial control”, the definition of its types, forms and methods, as well as the legal status of the entities that carry it out, were engaged in the following scientists: L. K. Voronova, О. P. Hetmanets, T. A. Zhadan, M. P. Kucheryavenko, P. P. Latkovsky, Yu. A. Mandrychenko, L. A. Savchenko and others. However, changes in the legal regulation of financial control, issues related to the consolidation of the legal status of entities exercising independent financial control need to be examined in detail. Therefore, the purpose of the article is to analyze the legal status of entities exercising independent financial control in Ukraine. Article’s main body. In the article the author reveals the peculiarities of the legal status of the Audit Chamber of Ukraine as a subject of independent financial control in Ukraine. Іt can be stated that the Audit Chamber of Ukraine, which is a professional organization, is a direct participant in the relations related to the organization and implementation of independent financial control, in particular, audit control. Given the compulsory nature of acquiring membership in the AСU, the statutory purpose and activities of this organization, this organization can not be considered public. Conclusions and prospects for the development. It is stated that the legal status of the specified entity is characterized by a certain multidimensionality. In particular, the Audit Chamber of Ukraine is a professional, self-regulatory organization that is authorized to perform public functions and is managed through specially created bodies. The above shows that the current legislation of Ukraine reflects a new approach to the regulation of independent financial control, in particular by defining the powers, rights and duties of the Audit Chamber of Ukraine.


2019 ◽  
Vol 1 (16) ◽  
pp. 124-130
Author(s):  
E.I. Panchenko

The article is written in line with current research, since the problem of studying Ukrainian realities is of unquestionable interest for several reasons. First, understanding the realities will promote bettermutual understanding of different peoples; and secondly, the definition of optimal means of translating the realities is a definite contribution to the general theory of translation. Different types of real-world classifications are proposed, the difficulties associated with the adequate transfer into the translated text of an entire array of cultural information encoded in the realities contained in the origina text are investigated. Basing on the analysis of numerous translations of literary works, Ukrainian researchers (R. Zorivchak, V. Koptilov, O. Kundzich, O. Cherednichenko, etc.) show ways to overcome linguistic obstacles caused by cultural differences. But, as far as we know, the problem of the translation of Ukrainian realities in the works of T. Shevchenko is not yet exhaustively highlighted. The purpose of this article is to analyze the peculiarities of the use of realities in the work of Taras Shevchenko "Katerina" and their translation into English. We have given an ideographic classification of lexical units - Ukrainian realities in fiction and analyzed such means of their translation as calque, renomination, transcription with explanation, the introduction of neologism, the principle of generic-species replacement, which allows  conveying (approximately) the content of the realities by a broader, general meaning, that is, the reception of generalization. The results of our analysis allow us to make an ideographic classification of Ukrainian realities that are used in fiction, as well as to summarize the prevalence of their means of translation. Prospects for further research are seen in the analysis of certain translation failures in the translation of realities and to offer the best options for their translation.


2016 ◽  
Vol 13 (1) ◽  
pp. 287-308 ◽  
Author(s):  
Zhang Tingting ◽  
Liu Xiaoming ◽  
Wang Zhixue ◽  
Dong Qingchao

A number of problems may arise from architectural requirements modeling, including alignment of it with business strategy, model integration and handling the uncertain and vague information. The paper introduces a method for modeling architectural requirements in a way of ontology-based and capability-oriented requirements elicitation. The requirements can be modeled within a three-layer framework. The Capability Meta-concept Framework is provided at the top level. The domain experts can capture the domain knowledge within the framework, forming the domain ontology at the second level. The domain concepts can be used for extending the UML to produce a domain-specific modeling language. A fuzzy UML is introduced to model the vague and uncertain features of the capability requirements. An algorithm is provided to transform the fuzzy UML models into the fuzzy Description Logics ontology for model verification. A case study is given to demonstrate the applicability of the method.


2003 ◽  
Vol 4 (1) ◽  
pp. 94-97 ◽  
Author(s):  
Udo Hahn

This paper reports a large-scale knowledge conversion and curation experiment. Biomedical domain knowledge from a semantically weak and shallow terminological resource, the UMLS, is transformed into a rigorous description logics format. This way, the broad coverage of the UMLS is combined with inference mechanisms for consistency and cycle checking. They are the key to proper cleansing of the knowledge directly imported from the UMLS, as well as subsequent updating, maintenance and refinement of large knowledge repositories. The emerging biomedical knowledge base currently comprises more than 240 000 conceptual entities and hence constitutes one of the largest formal knowledge repositories ever built.


Sign in / Sign up

Export Citation Format

Share Document