| An Extended Ontology Model and Ontology Checking Based on Description Logics |
| |
| 引用本文： | 王洪伟,蒋馥,吴家春. An Extended Ontology Model and Ontology Checking Based on Description Logics[J]. 上海交通大学学报(英文版), 2004, 9(1): 34-41 |
| |
| 作者姓名： | 王洪伟 蒋馥 吴家春 |
| |
| 作者单位： | SchoolofManagement,ShanghaiJiaotongUniv,Shanghai200052,China |
| |
| 基金项目： | National Natural Science Foundation ofChina(No.70 2 710 3 8) |
| |
| 摘 要： |
|
| 关 键 词： | 逻辑描述 本体论检验 实例检测 条件检测 计算机技术 |
An Extended Ontology Model and Ontology Checking Based on Description Logics |
| |
| WANG Hong-wei ,JIANG Fu,WU Jia-chun. An Extended Ontology Model and Ontology Checking Based on Description Logics[J]. Journal of Shanghai Jiaotong university, 2004, 9(1): 34-41 |
| |
| Authors: | WANG Hong-wei JIANG Fu WU Jia-chun |
| |
| Affiliation: | School of Management,Shanghai Jiaotong Univ.,Shanghai 200052,China;School of Management,Shanghai Jiaotong Univ.,Shanghai 200052,China;School of Management,Shanghai Jiaotong Univ.,Shanghai 200052,China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
