4.6.5 Asymmetric properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4.6.6 Reflexive properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4.6.7 Irreflexive properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.7 Property Domains and Ranges . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.8 Describing And Defining Classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
4.8.1 Property Restrictions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4.8.2 Existential Restrictions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.9 Using A Reasoner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.9.1 Invoking The Reasoner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.9.2 Inconsistent Classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.10 Necessary And Sufficient Conditions (Primitive and Defined Classes) . . . . . . . . . . . . 53
4.10.1 Primitive And Defined Classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.11 Automated Classification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.12 Universal Restrictions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
4.13 Automated Classification and Open World Reasoning . . . . . . . . . . . . . . . . . . . . 62
4.13.1 Closure Axioms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.14 Value Partitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
4.14.1 Covering Axioms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.15 Adding Spiciness to Pizza Toppings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
4.16 Cardinality Restrictions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
4.17 Qualified Cardinality Restrictions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
5 Datatype Properties 76
6 More On Open World Reasoning 83
7 Creating Other OWL Constructs In Prot´eg´e 4 89
7.1 Creating Individuals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
7.2 hasValue Restrictions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
2
我的内容管理
收起
我的收益 登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏 
我的下载 
下载帮助 
