机构

• 软件研究所 [6]
• 计算技术研究所 [2]
• 数学与系统科学研究院 [2]

采集方式

• OAI收割 [10]

内容类型

• 期刊论文 [9]
• 会议论文 [1]

发表日期

• 2018 [1]
• 2012 [1]
• 2011 [2]
• 2006 [5]
• 2002 [1]

学科主题

• Computer S... [3]

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Matching biomedical ontologies based on formal concept analysis 期刊论文  OAI收割 JOURNAL OF BIOMEDICAL SEMANTICS, 2018, 卷号: 9, 页码: 27 作者:  Zhao, Mengyi;  Zhang, Songmao;  Li, Weizhuo;  Chen, Guowei   |  收藏  |  浏览/下载：48/0  |  提交时间：2018/07/30 Ontology matching  Formal concept analysis  Concept lattice   towards practical abox abduction in large description logic ontologies 期刊论文  OAI收割 International Journal on Semantic Web and Information Systems, 2012, 卷号: 8, 期号: 2, 页码: 1-33 Du Jianfeng; Qi Guilin; Shen Yi-Dong; Pan Jeff Z.   |  收藏  |  浏览/下载：22/0  |  提交时间：2013/09/17 Formal languages  Logic programming  Ontology   semantic operations of multiple soft sets under conflict 期刊论文  OAI收割 Computers and Mathematics with Applications, 2011, 卷号: 62, 期号: 4, 页码: 1923-1939 Jiang Yuncheng; Tang Yong; Chen Qimai; Cao Zhanmao   |  收藏  |  浏览/下载：27/0  |  提交时间：2011/10/10 Data description  Formal languages  Knowledge representation  Ontology  Set theory   extending logic programs with description logic expressions for the semantic web 会议论文  OAI收割 10th International Semantic Web Conference, ISWC 2011, Bonn, Germany, October 23 Shen Yi-Dong; Wang Kewen   |  收藏  |  浏览/下载：28/0  |  提交时间：2013/10/08 Atoms  Data description  Formal languages  Logic programming  Ontology  Semantic Web  Semantics  User interfaces   Modeling and verifying Web services driven by requirements: An ontology-based approach 期刊论文  OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820 作者:  Hou Lishan;  Jin Zhi;  Wu Budan   |  收藏  |  浏览/下载：15/0  |  提交时间：2018/07/30 web service  environment ontology  automatic composition  pi calculus  formal verification   Modeling and verifying Web services driven by requirements: An ontology-based approach 期刊论文  OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820 作者:  Hou Lishan;  Jin Zhi;  Wu Budan   |  收藏  |  浏览/下载：15/0  |  提交时间：2019/12/16 web service  environment ontology  automatic composition  pi calculus  formal verification   modeling and verifying web services driven by requirements: an ontology-based approach 期刊论文  OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820 Hou Lishan; Jin Zhi; Wu Budan   |  收藏  |  浏览/下载：27/0  |  提交时间：2011/07/13 经尿道电切术,女性膀胱颈梗阻web service  environment ontology  automatic composition  pi calculus  formal verification   modeling and verifying web services driven by requirements: an ontology-based approach 期刊论文  OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820 Hou Lishan; Jin Zhi; Wu Budan   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/07/13 经尿道电切术,女性膀胱颈梗阻web service  environment ontology  automatic composition  pi calculus  formal verification   modeling and verifying web services driven by requirements: an ontology-based approach 期刊论文  OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820 Hou Lishan; Jin Zhi; Wu Budan   |  收藏  |  浏览/下载：32/0  |  提交时间：2011/07/13 经尿道电切术,女性膀胱颈梗阻web service  environment ontology  automatic composition  pi calculus  formal verification   Formal ontology: Foundation of domain knowledge sharing and reusing 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2002, 卷号: 17, 期号: 5, 页码: 535-548 作者:  Lu, RQ;  Jin, Z   |  收藏  |  浏览/下载：28/0  |  提交时间：2019/12/16 domain knowledge model  virtual domain model  knowledge sharing and reusing  formal ontology  genetic algorithm