نتایج جستجو برای: is a water
تعداد نتایج: 14276791 فیلتر نتایج به سال:
In this paper we present a terminological language which includes defaults, and a deenition of default subsumption based on the notion of skeptical inheritance in default reasoning. Except for the inclusion of defaults the language is limited when compared to most terminological logics. However defaults are a necessary construct in many applications and we suggest that the language presented he...
A method for constructing and maintaining a `semantic index' using a system based on description logics is described. A persistent index into a large number of objects is built by classifying the objects with respect to a set of indexing concepts and storing the resulting relation between object-ids and most speciic indexing concepts on a le. These les can be incre-mentally updated. The index c...
TaxoMap is an alignment tool which aims to discover rich correspondences between concepts (equivalence relations (isEq), subsumption relations (isA) and their inverse (isMoreGnl) or proximity relations (isClose)). It performs an oriented alignment (from a source to a target ontology) and takes into account labels and sub-class descriptions. This new implementation of TaxoMap uses a pattern-base...
The syntax of both SROIQ and OWL 2 allow complex role inclusion axioms where the role composition occurs on the left of the subsumption relation, but not where the role composition occurs on the right. This paper proves that, despite the lack of syntax, SROIQ, and consequently OWL 2, can already express such complex role inclusions. This is shown by proving that complex role inclusion axioms wh...
One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: subtypings A B are interpreted via conversion functions A→B. This paper shows how to extend the method to languages with computational effects, using Moggi’s computational metalanguage.
1.0 overview it seems that grammar plays a crucial role in the area of second and foreign language learning and widely has been acknowledged in grammar research. in other words, teaching grammar is an issue which has attracted much attention to itself, and a lot of teachers argue about the existence of grammar in language teaching and learning. this issue will remind us a famous sentence f...
abstract nowadays, industries cannot play a crucial role in national and international competitions. the tourism industry is no exception. tourism industry development as the most important economic sector and income generation is one of the key challenges of economic development in the world. therefore, countries were successful that take advantage of the capabilities of tourism sector using ...
just as motivation is important in sla research, demotivation constitutes an important factor, too. there are many studies done on demotivation and burnout of teachers. many of these studies have been conducted on one or two aspects of english instruction. consequently, there are few studies which have been done on more than two aspects of english teaching. the aim of this study is to find out ...
purpose a metabolic abnormality such as obesity is a major obstacle in the maintenance of the human health system and causes various chronic diseases including type 2 diabetes, hypertension, cardiovascular diseases, as well as various cancers. this study was designed to summarize the recent scientific knowledge regarding the anti-obesity role of curcumin (diferuloylmethane), which is isolated f...
translation as a comunicative process is always said to be associated with various aspects of meaning loss or gain. subtitling as a mode of translating, due to special discoursal and textual conditions imposed upon it, is believed to be an obvious case of this loss or gain. presenting the spoken sound track of a film in writing and synchronizing the perception of this text by the viewers with...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید