面向矛盾问题的描述逻辑SHOQ扩展

面向矛盾问题的描述逻辑SHOQ扩展

王静王红李剪樊红杰

Extension of contradiction problem-oriented description logic SHOQ

WANG Jing WANG Hong LI Jian FAN Hongjie

计算机应用 . 2014, (4): 1139 -1143 . DOI: 10.11772/j.issn.1001-9081.2014.04.1139