Titlebook: Non-Standard Inferences in Description Logics; From Foundations and Ralf Küsters Book 2001 Springer-Verlag Berlin Heidelberg 2001 AI Logics

大腦

書目名稱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

喃喃而言

無聊點(diǎn)好

BRAND

凹槽

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

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ā)生

Enrage

EXUDE

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