全国性
发表于 2025-3-28 15:17:31
http://reply.papertrans.cn/19/1834/183306/183306_41.png
我要威胁
发表于 2025-3-28 22:18:20
Logics, their computational complexity. The interest in Description Logics in particular has grown quickly among computer scientist since the announcement of a DL-based language, OWL, as the standard language to describe ontologies on the Web.
dissolution
发表于 2025-3-29 01:50:19
Stephan Wildner,Oliver Koch,Uwe Webertruction for revision in belief sets that doesn’t depend on negation. This construction is characterized by AGM postulates in well behaved logics. Furthermore, it is presented a set of postulates that characterizes this construction in any distributive and compact logic.