大脑
发表于 2025-3-21 19:40:48
书目名称Non-Standard Inferences in Description Logics影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0667032<br><br> <br><br>书目名称Non-Standard Inferences in Description Logics影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0667032<br><br> <br><br>书目名称Non-Standard Inferences in Description Logics网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0667032<br><br> <br><br>书目名称Non-Standard Inferences in Description Logics网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0667032<br><br> <br><br>书目名称Non-Standard Inferences in Description Logics被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0667032<br><br> <br><br>书目名称Non-Standard Inferences in Description Logics被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0667032<br><br> <br><br>书目名称Non-Standard Inferences in Description Logics年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0667032<br><br> <br><br>书目名称Non-Standard Inferences in Description Logics年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0667032<br><br> <br><br>书目名称Non-Standard Inferences in Description Logics读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0667032<br><br> <br><br>书目名称Non-Standard Inferences in Description Logics读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0667032<br><br> <br><br>
WITH
发表于 2025-3-21 22:28:11
http://reply.papertrans.cn/67/6671/667032/667032_2.png
喃喃而言
发表于 2025-3-22 01:43:42
http://reply.papertrans.cn/67/6671/667032/667032_3.png
无聊点好
发表于 2025-3-22 04:33:24
http://reply.papertrans.cn/67/6671/667032/667032_4.png
BRAND
发表于 2025-3-22 12:00:00
http://reply.papertrans.cn/67/6671/667032/667032_5.png
凹槽
发表于 2025-3-22 14:55:06
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
发表于 2025-3-22 18:07:11
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, for a more detailed description of standard inferences and the underlying techniques to solve them).
继而发生
发表于 2025-3-22 22:54:27
http://reply.papertrans.cn/67/6671/667032/667032_8.png
Enrage
发表于 2025-3-23 01:44:49
http://reply.papertrans.cn/67/6671/667032/667032_9.png
EXUDE
发表于 2025-3-23 08:58:40
0302-9743of 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