scholarly journals Concept Contraction in the Description Logic EL

2020 ◽  
Author(s):  
Tjitze Rienstra ◽  
Claudia Schon ◽  
Steffen Staab
Keyword(s):  
Description Logic ◽  
Interesting Case ◽  
Contraction Operator ◽  
Representation Theorems

In this paper we study the problem of concept contraction for the description logic EL. Concept contraction is concerned with the following question: Given two concepts C and D (with the interesting case being that D subsumes C) how can we find a generalisation of C that is not subsumed by D but is otherwise as similar as possible to C? We take an AGM-style approach and model this problem using the notion of a concept contraction operator. We consider constructive definitions as well as sets of postulates for concept contraction,and link the two by means of representation theorems.

scholarly journals DL-Lite Contraction and Revision

2016 ◽  
Vol 56 ◽  
pp. 329-378 ◽  
Author(s):  
Zhiqiang Zhuang ◽  
Zhe Wang ◽  
Kewen Wang ◽  
Guilin Qi
Keyword(s):  
Finite Number ◽  
Infinite Number ◽  
Description Logic ◽  
Belief Change ◽  
Knowledge Bases ◽  
Theoretic Approach ◽  
Alternative Semantics ◽  
Representation Theorems ◽  
Standard Description ◽  
Model Based

Two essential tasks in managing description logic knowledge bases are eliminating problematic axioms and incorporating newly formed ones. Such elimination and incorporation are formalised as the operations of contraction and revision in belief change. In this paper, we deal with contraction and revision for the DL-Lite family through a model-theoretic approach. Standard description logic semantics yields an infinite number of models for DL-Lite knowledge bases, thus it is difficult to develop algorithms for contraction and revision that involve DL models. The key to our approach is the introduction of an alternative semantics called type semantics which can replace the standard semantics in characterising the standard inference tasks of DL-Lite. Type semantics has several advantages over the standard one. It is more succinct and importantly, with a finite signature, the semantics always yields a finite number of models. We then define model-based contraction and revision functions for DL-Lite knowledge bases under type semantics and provide representation theorems for them. Finally, the finiteness and succinctness of type semantics allow us to develop tractable algorithms for instantiating the functions.

Abstract #703: Idiopathic Hypoparathyroidism Associated with Deafness; Renal Anomaly: An Interesting Case of HDR (Hypoparathyroidism; Deafness and Renal Anomaly) Syndrome

2017 ◽  
Vol 23 ◽  
pp. 132-133
Author(s):  
Shilpi Singh ◽  
Andrea George ◽  
Arjun Theertham ◽  
Mohsen Zena ◽  
John Christopher Gallagher
Keyword(s):  
Interesting Case ◽  
Renal Anomaly

Three Cases of Joubert Syndrome in a Consanguineous Syrian Family and a Interesting Case of Multinational Collaboration

2021 ◽  
Author(s):  
Davor Petrović ◽  
Vida Čulić ◽  
Zofia Swinderek-Alsayed
Keyword(s):  
Low Income ◽  
Autosomal Recessive ◽  
Autosomal Recessive Disorder ◽  
Joubert Syndrome ◽  
Interesting Case ◽  
Low Income Countries ◽  
Ocular Motor ◽  
Quality Health Care ◽  
Quality Health ◽  
Motor Apraxia

AbstractJoubert syndrome (JS) is a rare congenital, autosomal recessive disorder characterized by a distinctive brain malformation, developmental delay, ocular motor apraxia, breathing abnormalities, and high clinical and genetic heterogeneity. We are reporting three siblings with JS from consanguineous parents in Syria. Two of them had the same homozygous c.2172delA (p.Trp725Glyfs*) AHI1 mutation and the third was diagnosed prenatally with magnetic resonance imaging. This pathogenic variant is very rare and described in only a few cases in the literature. Multinational collaboration could be of benefit for the patients from undeveloped, low-income countries that have a low-quality health care system, especially for the diagnosis of rare diseases.

2018 Fiji Election Results: Patterns of Voting by Provinces, Rural-Urban Localities, and by Candidates

2020 ◽  
Vol 40 (2) ◽  
Author(s):  
Haruo Nakagawa
Keyword(s):  
Political Parties ◽  
Electoral System ◽  
Interesting Case ◽  
The Political ◽  
Quantitative Analyses ◽  
Election Results

Akin to the previous, 2014 event, with no data on voter ethnicity, no exit polls, and few post-election analyses, the 2018 Fiji election results remain something of a mystery despite the fact that there had been a significant swing in voting in favour of Opposition political parties. There have been several studies about the election results, but most of them have been done without much quantitative analyses. This study examines voting patterns of Fiji’s 2018 election by provinces, and rural-urban localities, as well as by candidates, and also compares the 2018 and 2014 elections by spending a substantial time classifying officially released data by polling stations and individual candidates. Some of the data are then further aggregated according to the political parties to which those candidates belonged. The current electoral system in Fiji is a version of a proportional system, but its use is rare and this study will provide an interesting case study of the Open List Proportional System. At the end of the analyses, this study considers possible reasons for the swing in favour of the Opposition.

An Interesting Case of Parapsoriasis

1979 ◽  
Vol 41 (2) ◽  
pp. 268-272
Author(s):  
Midori TOKUYAMA ◽  
Takashi TAKAIWA ◽  
Shinji FUKUSHIRO
Keyword(s):  
Interesting Case

Some Aspects of Identity Politics of Kharkiv Local Authorities After 2013

2018 ◽  
Vol 6 (1) ◽  
pp. 68-81
Author(s):  
Denys Kutsenko
Keyword(s):  
Development Strategy ◽  
Identity Politics ◽  
Central Government ◽  
Research Question ◽  
Interesting Case ◽  
Cultural Development ◽  
Local Authorities ◽  
New Policies ◽  
National Flag ◽  
The City

AbstractThe paper analyzes the transformation of identity politics of Kharkiv local authorities after the Euromaidan, or Revolution of Dignity, the annexation of Crimea, and the War in Donbass. Being the second largest city in Ukraine and becoming the frontline city in 2014, Kharkiv is an interesting case for research on how former pro-Russian local elites treat new policies of the central government in Kyiv, on whether earlier they tried to mobilize their electorate or to provoke political opponents with using soviet symbols, soviet memory, and copying Russian initiatives in the sphere of identity.To answer the research question of this article, an analysis of Kharkiv city and oblast programs and strategies and of communal media were made. Decommunisation, as one of the most important identity projects of Ukrainian central authorities after 2014, was analyzed through publications in Kharkiv’s city-owned media as well as reports from other scholars. Some conclusions are made from the analysis of these documents: Kharkiv development strategy until 2020, Complex program of cultural development in Kharkiv in 2011–2016 (and the same for 2017–2021), The regional program of military and patriotic training and participation of people in measures of defense work in 2015–2017, Program of supporting civil society in 2016–2020 in Kharkiv region and the city mayor’s orders about the celebration of Victory Day (9 May), the Day of the National Flag (23 August), the Day of the City (23 August) and Independence Day (24 August) in 2010–2015.

Toward a Philosophical Approach of the Hermeneutics of the Qur’an

2006 ◽  
Vol 23 (1) ◽  
pp. 15-34
Author(s):  
Aliaa Ibrahim Dakroury
Keyword(s):  
Modern Technology ◽  
Interesting Case ◽  
Philosophical Approach ◽  
True Meaning ◽  
Flow Of Information ◽  
The Relationship

Although claims questioning whether religious sacred books can be “translated” or not have been heard for quite some time, they have increased with the emergence of globalization and the increasing openness and flow of information due to modern technology. In the context of the relationship between hermeneutics and communication, one could argue that interpreting the Qur’an is an interesting case study for many reasons. Among them is the number of debates and discourses that have been raised both for and against its translation. Another reason, perhaps one of the largest barriers according to some religious Muslim groups, is that the Qur’an is fundamentally revealed and written in Arabic, and, therefore, its true meaning cannot be translated into another language. Certain verses, such as “It is a Qur’an in Arabic, without any crookedness (therein): in order that they may guard against evil” (28:39), have been presented to support this argument.

Deciding Query Entailment for Fuzzy Description Logic Knowledge Bases：The f-SH Family

2012 ◽  
Vol 35 (4) ◽  
pp. 767-785
Author(s):  
Jing-Wei CHENG ◽  
Zong-Min MA ◽  
Li YAN ◽  
Fu ZHANG
Keyword(s):  
Description Logic ◽  
Fuzzy Description
Sign in / Sign up

Export Citation Format

Share Document