|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- 这是用F-LOGIC描述的本体,请问哪些能转换为中文 (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=52270) |
|
-- 作者：gxp -- 发布时间：9/5/2007 9:21:00 PM -- 这是用F-LOGIC描述的本体,请问哪些能转换为中文 这是用F-LOGIC描述的本体,请问哪些能转换为中文?researcher可以转换为研究员"吗? researcher:object. researcher[ familyname String; schoolID School]. phDStudent::Researcher. //phDStudent是Researcher的子类 PostDoc::Researcher. //PostDoc是researcher的一个子类 nenad:phDStudent. //Nenad是phDStudent的一个实例化 School::object[ reearcherID Researcher]. //知识库 AIFB:School. nenad[familyname stojanovic;schoolID AIFB]. ljiljana:PostDoc[familyname stojanovic;schoolID FZI]. //公理 FORALL X,Y X:Researcher[schoolID Y]<->Y:school[researcherID X]. …………….. |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
9,044.922ms |