科研之友
微信
新浪微博
Facebook
分享链接
摘要
OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be decidable, up to now there has been no known "practical" decision procedure, that is, a goal-directed procedure that is likely to perform well with realistic ontology derived problems. We present such a decision procedure for SHOIQ, a slightly more expressive logic than SHOIN, extending the well-known algorithm for SHIQ, which is the basis for several highly successful implementations.
- 出版日期2007-10
