« | July 2025 | » | 日 | 一 | 二 | 三 | 四 | 五 | 六 | | | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | | | |
| 公告 |
暂无公告... |
Blog信息 |
blog名称: 日志总数:7 评论数量:0 留言数量:0 访问次数:21184 建立时间:2005年9月18日 |

| |
[收藏] -- 作者:orangebench 文章收藏
pascal1977 发表于 2006/1/6 21:11:25 |
本文转载自W3CHINA.ORG讨论区(BBS.W3CHINA.ORG) 原文链接 作者:orangebench 以下为原文:
Java 规则引擎 (JSR-94) 相关资料
--------------------------------------------------------------------------------
|
|
[收藏] -- 作者:jpz6311whu 文章收藏
pascal1977 发表于 2006/1/5 19:05:51 |
本文转载自W3CHINA.ORG讨论区(BBS.W3CHINA.ORG) 原文链接 作者:jpz6311whu 以下为原文:
如果你做的是B/S结构的,可以用javascript实现。 曾经用webFXTree配合ajax实现动态ontology的树型结构,蛮好用的。 如果是C/S,恐怕要找一找java的相关API了,sourceforge里面看看吧
<完> |
|
[语义网学习]描述逻辑手册电子版的第二章中命题2.9证明 原创空间
pascal1977 发表于 2006/1/4 12:32:11 |
证明不一定正确,只是个人理解。未命名.bmp
we associate to a terminology T a dependency graph GT , whose nodes are the name symbols in T . If T contains the axiom A ‘ C, then for every occurrence of the name symbol A0 in C, there is an arc from A to A0 in GT . Arcs are labeled as positive and negative. The arc from A to A0 is positive |
|
« 1 ›
|