Matching with Respect to General Concept Inclusions in the Description Logic $\mathcal{EL}$

2014 ◽  
pp. 135-146 ◽  
Author(s):  
Franz Baader ◽  
Barbara Morawska
Keyword(s):  
Description Logic ◽  
General Concept

scholarly journals Role-Value Maps and General Concept Inclusions in the Minimal Description Logic with Value Restrictions or Revisiting Old Skeletons in the DL Cupboard

2020 ◽  
Vol 34 (3) ◽  
pp. 291-301
Author(s):  
Franz Baader ◽  
Clément Théron
Keyword(s):  
Description Logic ◽  
Direct Proof ◽  
General Concept ◽  
The Other ◽  
Other Hand ◽  
The One ◽  
Minimal Description ◽  
The Impact

Abstract We investigate the impact that general concept inclusions and role-value maps have on the complexity and decidability of reasoning in the description logic $$\mathcal{FL}_0$$ FL 0 . On the one hand, we give a more direct proof for ExpTime-hardness of subsumption w.r.t. general concept inclusions in $$\mathcal{FL}_0$$ FL 0 . On the other hand, we determine restrictions on role-value maps that ensure decidability of subsumption, but we also show undecidability for the cases where these restrictions are not satisfied.

Optimising fuzzy description logic reasoners with general concept inclusion absorption

2016 ◽  
Vol 292 ◽  
pp. 98-129 ◽  
Author(s):  
Fernando Bobillo ◽  
Umberto Straccia
Keyword(s):  
Description Logic ◽  
General Concept ◽  
Fuzzy Description

scholarly journals Hybrid Unification in the Description Logic EL

10.29007/h59c ◽  
2018 ◽  
Author(s):  
Franz Baader ◽  
Oliver Fernandez Gil ◽  
Barbara Morawska
Keyword(s):  
Description Logic ◽  
Description Logics ◽  
General Concept ◽  
Biomedical Ontologies ◽  
Declarative Semantics ◽  
Np Complete ◽  
Unification Algorithms

Unification in Description Logics (DLs) has been proposed as an inferenceservice that can, for example, be used to detect redundancies in ontologies.For the DL EL, which is used to define several largebiomedical ontologies, unification is NP-complete. However, the unification algorithms for EL developeduntil recently could not deal with ontologies containing general concept inclusions (GCIs).In a series of recent papers we have made some progress towards addressing this problem, but the ontologies thedeveloped unification algorithms can deal with need to satisfy a certain cycle restriction.In the present paper, we follow a different approach. Instead of restricting the input ontologies,we generalize the notion of unifiers to so-called hybrid unifiers. Whereas classical unifiers can be viewed as acyclic TBoxes,hybrid unifiers are cyclic TBoxes, which are interpreted together with the ontology of the input using a hybrid semantics thatcombines fixpoint and declarative semantics. We show that hybrid unification in EL is NP-complete

scholarly journals Matching in the Description Logic FL0 with respect to General TBoxes

10.29007/q74p ◽  
2018 ◽  
Author(s):  
Franz Baader ◽  
Oliver Fernandez Gil ◽  
Pavlos Marantidis
Keyword(s):  
Polynomial Time ◽  
Description Logic ◽  
Description Logics ◽  
General Concept ◽  
Finite Sets ◽  
Matching Algorithm ◽  
Restricted Form ◽  
Matching Concept ◽  
Inference Task

Matching concept descriptions against concept patterns was introduced as a new inference task in Description Logics two decades ago, motivated by applications in the Classic system. Shortly afterwards, a polynomial-time matching algorithm was developed for the DL FL0. However, this algorithm cannot deal with general TBoxes (i.e., finite sets of general concept inclusions). Here we show that matching in FL0 w.r.t. general TBoxes is in ExpTime, which is the best possible complexity for this problem since already subsumption w.r.t. general TBoxes is ExpTime-hard in FL0. We also show that, w.r.t. a restricted form of TBoxes, the complexity of matching in FL0 can be lowered to PSpace.

Fusion and Fission Processes in Exocytosis: Possible Roles for Synexin and Osmotic Lysis in the Two Events

1980 ◽  
Vol 38 ◽  
pp. 594-597
Author(s):  
H.B. Pollard ◽  
C.E. Creutz ◽  
C.J. Pazoles ◽  
J.H. Scott
Keyword(s):  
Small Molecules ◽  
Chromaffin Cells ◽  
Adrenal Glands ◽  
General Concept ◽  
Extracellular Calcium ◽  
Large Protein ◽  
Granule Membrane ◽  
Osmotic Lysis ◽  
Per Se ◽  
Chemical Evidence

Exocytosis is a general concept describing secretion of enzymes, hormones and transmitters that are otherwise sequestered in intracellular granules. Chemical evidence for this concept was first gathered from studies on chromaffin cells in perfused adrenal glands, in which it was found that granule contents, including both large protein and small molecules such as adrenaline and ATP, were released together while the granule membrane was retained in the cell. A number of exhaustive reviews of this early work have been published and are summarized in Reference 1. The critical experiments demonstrating the importance of extracellular calcium for exocytosis per se were also first performed in this system (2,3), further indicating the substantial service given by chromaffin cells to those interested in secretory phenomena over the years.

Ale na razie tu cisza” – fotografie sprzed katastrofy w wybranych zapisach literackich (Stefan Chwin, Ryszard Kapuściński, Wisława Szymborska)

2020 ◽  
pp. 65-80
Author(s):  
Magdalena Strąk
Keyword(s):  
Time Perspective ◽  
Terrorist Attack ◽  
First World War ◽  
General Concept ◽  
Literary Texts ◽  
World War ◽  
The Past ◽  
The First World War ◽  
History Of ◽  
First World

The work aims to show a peculiar perspective of looking at photographs taken on the eve of the broadly understood disaster, which is specified in a slightly different way in each of the literary texts (Stefan Chwin’s autobiographical novel Krótka historia pewnego żartu [The brief history of a certain joke], a poem by Ryszard Kapuściński Na wystawie „Fotografia chłopów polskich do 1944 r.” [At an exhibition “The Polish peasants in photographs to 1944”] and Wisława Szymborska’s Fotografia z 11 września [Photograph from September 11]) – as death in a concentration camp, a general concept of the First World War or a terrorist attack. Upcoming tragic events – of which the photographed people are not yet aware – become for the subsequent recipient an inseparable element of reality contained in the frame. For the later observers, privileged with time perspective, the characters captured in the photograph are already victims of the catastrophe, which in reality was not yet recorded by the camera. It is a work about coexistence of the past and future in the field of photography.

HYDROPONICS IS A NEW PARADIGM AND A WAY OF FODDER PRODUCTION INTENSIFICATION

2020 ◽  
Author(s):  
Vladimir Popov
Keyword(s):  
Economic Efficiency ◽  
General Concept ◽  
New Paradigm ◽  
High Quality ◽  
Organic Product ◽  
Know How ◽  
Green Mass ◽  
Fodder Production ◽  
Adequate Quantity

Hydroponics is a way of intensification and a new paradigm of fodder production: from adaptive plant growing to operated cultivation of green mass of the set property. In a review the precondition of introduction of the alternative high-quality green foods "know-how" in completely controllable conditions are presented. Terms and definitions of the general concept and separate parts of hydroponic forage are given. Hydroponics makes for every day providing animals with the adequate quantity of high-quality forage. The hydroponics of forages allows to cultivate ecologically pure and organic product commercially, within economically defensible expenses. The synergy is shown and examples of zootechnical and economic efficiency are resulted.

A Preview on the Conceptualization of Contemporary Knowledge from Islamic Knowledge Management Perspective

2015 ◽  
Vol 3 (1) ◽  
pp. 44
Author(s):  
Khatijah Othman ◽  
Muhamadul Bakir Yaakub ◽  
Ahmad F. Yousif
Keyword(s):  
Economic Development ◽  
Knowledge Management ◽  
Significant Contribution ◽  
Rapid Development ◽  
General Concept ◽  
Human Engineering ◽  
Islamic Perspective ◽  
Management Perspective ◽  
Traditional Sense ◽  
Philosophy Of Knowledge

The philosophy of knowledge is known as an established discipline both from Islamic perspective and Western viewpoint. Generally, it can be understood as a source of economy, power and prosperity. With the knowledge as a source of provider, the economic development, political power, business transaction and networking; rapid development in telecommunication and technology, with various other developments in human engineering and education plus, etc.‟s; human civilization flourishes.  Focusing on the philosophy of knowledge and comparing its traditional sense with modern practice might lead us to discover some ways in which knowledge should be realized, managed and applied. Obviously, the issue and criteria that determine what constitutes knowledge is indeed crucial. Therefore, this paper highlights general concept of knowledge management from Islamic perspective and its significant contribution to human development. 

VOCABULARY JOURNAL STRATEGY: ONE WAY TO HELP STUDENTS’ VOCABULARY

JURNAL TAHURI ◽  
2020 ◽  
Vol 17 (1) ◽  
pp. 1-7
Author(s):  
Renata. C. G. Viegeleyn Nikijuluw
Keyword(s):  
High School ◽  
Junior High School ◽  
English Proficiency ◽  
Junior High ◽  
General Concept ◽  
Word Knowledge

Abstract: the discussion of this article aims to the use of vocabulary journal strategy in teaching vocabulary for the students of junior high school. The topic discussion will cover the general concept of learning vocabulary, principle of teaching vocabulary, teaching vocabulary in junior high school, and teaching vocabulary using vocabulary journal. Basically vocabulary journal is a strategy to invite students for strengthen their word knowledge and internalize meaning for use throughout their lives. It is a great strategy to help students’ vocabulary as naturally. Furthermore, some experts suggest that vocabulary journal can be applied in high school levels with different treatment depend on students’ needs and their English proficiency.  

STRUKTUR KOMPLEKS DALAM BAHASA INDONESIA ILMIAH DAN MASALAH PENERJEMAHANNYA KE DALAM BAHASA INGGRIS

2018 ◽  
Vol 17 (1) ◽  
Author(s):  
Ni Ketut Mirahayuni ◽  
Susie Chrismalia Garnida ◽  
Mateus Rudi Supsiadji
Keyword(s):  
Complex Structure ◽  
General Concept ◽  
Target Language ◽  
Complex Structures ◽  
Scientific Language ◽  
Logical Relation ◽  
Information Packaging ◽  
Weight Structure ◽  
The Difference ◽  
Target Languages

Abstract. Translating complex structures have always been a challenge for a translator since the structures can be densed with ideas and particular logical relations. The purpose of translation is reproducing texts into another language to make them available to wider readerships. Since language is not merely classification of a set of universal and general concept, that each language articulates or organizes the world differently, the concepts in one language can be radically different from another. One issue in translation is the difference among languages, that the wider gaps between the source and target languages may bring greater problems of transfer of message from the source into the target languages (Culler, 1976). Problematic factors involved in translation include meaning, style, proverbs, idioms and others. A number of translation procedures and strategies have been discussed to solve translation problems. This article presents analysis of complex structures in scientific Indonesian, the problems and effects on translation into English. The study involves data taken from two research article papers in Indonesian to be translated into English. The results of the analysis show seven (7) problems of Indonesian complex structures, whose effect on translation process can be grouped into two: complex structures related to grammar (including: complex structure with incomplete information, run-on sentences, redundancy , sentence elements with inequal semantic relation, and logical relation and choice of conjunctor) and complex structures related to information processing in discourse (including: front-weight- structure and thematic structure with changes of Theme element). Problems related to grammar may be solved with language economy and accuracy while those related to discourse may be solved with understanding information packaging patterns in the target language discourse. Keywords: scientific language, complex structures, translation

Sign in / Sign up

Export Citation Format

Share Document