计算机科学 ›› 2014, Vol. 41 ›› Issue (12): 234-237.doi: 10.11896/j.issn.1002-137X.2014.12.051
卢桂芳,汪璟玢
LU Gui-fang and WANG Jing-bin
摘要: OWL DL(DL即Description Logic)使用类运算式来表示概念。任意复杂的概念可用集合的运算来表示。当前OWL DL的集合运算中只能使用交集、并集和补集,而对于有数量约束的集合运算式,OWL无法进行表示。在OWL DL的基础上对集合基数限制进行扩展,实现数量约束的描述逻辑。在集合基数扩展的基础上提出一种树型分类推理算法(Tree Classify Reasoning Algorithm),并通过人力资源筛选的应用证明此方法的表达灵活性和分类有效性。
[1] Tsarkov D.Horrocks L Optirnised Classification for Taxonomic Knowledge Bases[C]∥Proceedings of the 2005 International Description Logic Workshop(DL 2005).Manchester,UK,2005 [2] 王海龙,马宗民,严丽,等.支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G)[J].计算机学报,2009,2(8):1511-1524 [3] 程经纬,马宗民,严丽,等.模糊描述逻辑知识库查询蕴涵的判定方法[J].计算机学报,2012,35(4):767-785 [4] Stoilos G,Stamou G,Pan J.Fuzzy Extensions of OWL:Logical Properties and Reduction to Fuzzy Description Logics[J].International Journal of Approximate Reasoning,2010,51(6):656-679 [5] Stoilos G,Stamou G.Reasoning with fuzzy extensions of OWL and OWL 2[J].Knowledge and Information Systems,2013,40(1):205-242 [6] Bobillo F,Delgado M,Gómez-Romero J.DeLorean:A reasoner for fuzzy OWL 2[J].Expert Systems with Applications,2012,39:258-272 [7] 李言辉,豫宝文,陆建江,等.支持数量约束的扩展模糊描述逻辑复杂性研究 [J].软件学报,2006,5(17):968-975 [8] 邓志鸿,唐世渭,张铭,等.Ontology研究综述[J].北京大学学报,2002,35(5):730-738 [9] 石莲,孙吉贵.描述逻辑综述[J].计算机科学,2006,33(1):194-197 [10] Tsarkov D,HorrocksI.FaCT++ Description Logic Reasoner:System Description[C]∥Proceedings of the International Joint Conference on Automated Reasoning(IJCAR’06).2006:292-297 [11] Haarslev V,Moller R.Racer:A Core Inference Engine for the Semantic Web Ontology Lanuage(OWL)[C]∥ Proceedings of the International Workshop on Evaluation of Ontology-based Tools.2003:27-36 [12] Sirin E,Parsia B,Grau B,et al.Pellet:A practical OWl-DL reasoned[J].Journal of Web Semantles,2007,5(2):51-53 [13] Guo Y,Pan Z,Heflin J.LUBM:A benchmark for OWLknowledge base systems[J].Journal of Web Semantics,2005,3(2/3):158-182 |
No related articles found! |
|