標(biāo)題: Titlebook: Non-Standard Inferences in Description Logics; From Foundations and Ralf Küsters Book 2001 Springer-Verlag Berlin Heidelberg 2001 AI Logics [打印本頁] 作者: 大腦 時(shí)間: 2025-3-21 19:40
書目名稱Non-Standard Inferences in Description Logics影響因子(影響力)
書目名稱Non-Standard Inferences in Description Logics影響因子(影響力)學(xué)科排名
書目名稱Non-Standard Inferences in Description Logics網(wǎng)絡(luò)公開度
書目名稱Non-Standard Inferences in Description Logics網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Non-Standard Inferences in Description Logics被引頻次
書目名稱Non-Standard Inferences in Description Logics被引頻次學(xué)科排名
書目名稱Non-Standard Inferences in Description Logics年度引用
書目名稱Non-Standard Inferences in Description Logics年度引用學(xué)科排名
書目名稱Non-Standard Inferences in Description Logics讀者反饋
書目名稱Non-Standard Inferences in Description Logics讀者反饋學(xué)科排名
作者: WITH 時(shí)間: 2025-3-21 22:28 作者: 喃喃而言 時(shí)間: 2025-3-22 01:43 作者: 無聊點(diǎn)好 時(shí)間: 2025-3-22 04:33 作者: BRAND 時(shí)間: 2025-3-22 12:00 作者: 凹槽 時(shí)間: 2025-3-22 14:55
Introduction,tors provided by the DL. On the other hand, unlike some of their predecessor formalisms, DLs are equipped with a formal logic-based semantics, which is usually defined in a model-theoretic way; for some DLs it can also be declared by translating concept descriptions into first-order formulae.作者: glowing 時(shí)間: 2025-3-22 18:07
Description Logics,algorithms have been integrated into DL-systems. In what follows, we briefly review this key branch of research in DLs before, in the next chapter, nonstandard inferences are presented (see, for instance, [DLNN97, BS00] for a more detailed description of standard inferences and the underlying techniques to solve them).作者: 繼而發(fā)生 時(shí)間: 2025-3-22 22:54 作者: Enrage 時(shí)間: 2025-3-23 01:44 作者: EXUDE 時(shí)間: 2025-3-23 08:58
0302-9743 of knowledge bases and computing subconcept/superconcept hierarchies are the main feature of DL systems. Intensive research during the last fifteen years has led to highly optimized systems that allow to reason about knowledge bases efficiently. However, applications often require additional non-st作者: jabber 時(shí)間: 2025-3-23 12:10 作者: Hyperopia 時(shí)間: 2025-3-23 15:50 作者: 抱負(fù) 時(shí)間: 2025-3-23 21:22
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/n/image/667032.jpg作者: 縫紉 時(shí)間: 2025-3-24 02:04 作者: homocysteine 時(shí)間: 2025-3-24 03:53
LCS and MSC,In Section 3.1.4, we have summarized the (new) theoretical results on the lcs and the msc. The purpose of this chapter is to provide proofs for the DLs . (Section 5.1) and . . (Section 5.2). The lcs in . has been investigated in a thesis by Molitor [Mol00]. In Section 6.3, we therefore cite the results on ALE without proofs.作者: Synchronism 時(shí)間: 2025-3-24 09:29
Matching,In this chapter, the results on matching already summarized in Section 3.2.5 are proved. As in the previous two chapters, this is done in three separate sections containing proofs for . ., and . (as well as sublanguages thereof).作者: JIBE 時(shí)間: 2025-3-24 12:01 作者: sphincter 時(shí)間: 2025-3-24 18:37
978-3-540-42397-3Springer-Verlag Berlin Heidelberg 2001作者: Shuttle 時(shí)間: 2025-3-24 20:57
Non-Standard Inferences in Description Logics978-3-540-44613-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 無力更進(jìn) 時(shí)間: 2025-3-24 23:23 作者: GUMP 時(shí)間: 2025-3-25 06:26 作者: 山頂可休息 時(shí)間: 2025-3-25 08:26
four contexts, in this particular ordering, also imply the thesis that the introduction of this notion will only be of operational value if it has been sufficiently anchored both empirically and applicationally..The paradigm chosen is that of the study of literature. Here it can be shown with all c作者: 抗體 時(shí)間: 2025-3-25 14:32 作者: 障礙 時(shí)間: 2025-3-25 17:19
New ETL Process for a Smart Approach of Data Migration from Relational System to MongoDB Systemresent, and planning for the future. To this end, organizations consider them a treasure and are always looking for a veritable way to manage and exploit them. And since the old data management system has some weaknesses compared to Bigdata, and designers have designed systems called NoSQL to overco作者: 同時(shí)發(fā)生 時(shí)間: 2025-3-25 20:55 作者: 付出 時(shí)間: 2025-3-26 04:05
,Introduction: Aim and Outline of the Book Series “Progress in Landslide Research and Technology”,unched on 5 November 2020 by the adoption of 2020 Kyoto Declaration in the end of the launching session of the Kyoto Landslide Commitment 2020. The KLC2020 was signed by 90 worldwide partners. On 3 November 2021, during the 5th World Landslide Forum (WLF5) held in a hybrid mode (onsite, online-virtu作者: craven 時(shí)間: 2025-3-26 05:54
The Montane Vegetation of New Guinea,. Usually the lower zone is dominated by several evergreen oaks bearing simple mesophyll leaves and large acorns. . is the most frequent species and . also is common Above the oak zone, which is now largely cleared for gardens, the forest is either a . beech forest (Plate 5) or a mixed podocarp-broa作者: dandruff 時(shí)間: 2025-3-26 10:16
Das Dilemma von Frauen in Verhandlungen,iscuss the effects of aging on the metabolic response to acute bouts of resistance and endurance exercise and how age-related diseased conditions may further impair this process. Additionally, we describe various lifestyle interventions that improve the metabolic response to exercise.作者: CLEFT 時(shí)間: 2025-3-26 13:19
Mechanical Properties of Sialon Sintered at Different Pressuresion were studied by SEM and EDAX. Although high density was attained for most of the samples, the mechanical properties considerably depended on the details of the HIP process. The results can be explained by the mechanical effect of the applied pressure.作者: hankering 時(shí)間: 2025-3-26 18:08 作者: 鋼盔 時(shí)間: 2025-3-27 00:13
Intelligent Systems and Technologiesttenes Konzept, dessen heuristischer Wert sowie methodologische Potenz jedoch au?er Frage stehen. Der vorliegende Beitrag zeichnet zun?chst grundlegende Traditionslinien der Frame-Forschung nach, deren Basisannahmen die gegenw?rtigen Frame-Ans?tze fundieren, auch wenn nicht immer explizit darauf Bez作者: nutrition 時(shí)間: 2025-3-27 05:07 作者: THE 時(shí)間: 2025-3-27 08:21 作者: foppish 時(shí)間: 2025-3-27 11:19 作者: 親屬 時(shí)間: 2025-3-27 16:53 作者: 現(xiàn)暈光 時(shí)間: 2025-3-27 20:54 作者: 無表情 時(shí)間: 2025-3-28 00:25
The Spectrum of Myocardial Ischemiawith thrombosis has provided a unifying hypothesis for the etiology of acute coronary syndromes .. The concept of myocardial ischemia as a spectrum provides a framework for understanding the pathogenesis, clinical features, treatment, and outcome of patients (Fig. 1).
