text: <html>
          <head> <meta charset="UTF-8">
          <style>
          table, th, td {
              border: 1px solid black;
              font-size: 10px;
          }
          </style> </head>
          <body>
          <table frame="hsides" rules="groups" width="100%%">
              [html]<thead><tr><td>Chapter 1 Introduction</td><td>4</td></tr></thead><tbody><tr><td>1.1 Licensing</td><td>4</td></tr><tr><td>1.2 Conventions</td><td>4</td></tr><tr><td>Chapter 2 Requirements and the Protege User Interface</td><td>6</td></tr><tr><td>Chapter 3 What are OWL Ontologies?</td><td>6</td></tr><tr><td>3.1 Components of OWL Ontologies</td><td>6</td></tr><tr><td>3.1. 1 Individuals.</td><td>7</td></tr><tr><td>3.1. 2 Properties</td><td>8</td></tr><tr><td>3.1. 3 Classes</td><td>8</td></tr><tr><td>Chapter 4 Building an OWL Ontology</td><td>10</td></tr><tr><td>4.1 Named Classes</td><td>13</td></tr><tr><td>4.2 Using a Reasoner</td><td>15</td></tr><tr><td>4.4 Using Create Class Hierarchy</td><td>17</td></tr><tr><td>4.5 Create a PizzaTopping Hierarchy</td><td>19</td></tr><tr><td>4.6 OWL Properties</td><td>22</td></tr><tr><td>4.7 Inverse Properties</td><td>23</td></tr><tr><td>4.8 OWL Object Property Characteristics</td><td>24</td></tr><tr><td>4.8. 1 Functional Properties</td><td>24</td></tr><tr><td>4.8. 2 Inverse Functional Properties.</td><td>25</td></tr><tr><td>4.8. 3 Transitive Properties</td><td>25</td></tr><tr><td>4.8. 4 Symmetric and Asymmetric Properties...</td><td>25</td></tr><tr><td>4.8. 5 Reflexive and Irreflexive Properties</td><td>26</td></tr><tr><td>4.8. 6 Reasoners Automatically Enforce Property Characteristics</td><td>26</td></tr><tr><td>4.9 OWL Property Domains and Ranges</td><td>26</td></tr><tr><td>4.10 Describing and Defining Classes</td><td>29</td></tr><tr><td>4.10.1 Property restrictions</td><td>29</td></tr><tr><td>4.10.2 Existential Restrictions</td><td>31</td></tr><tr><td>4.10.3 Creating Subclasses of Pizza</td><td>33</td></tr><tr><td>4.10.4 Detecting a Class that can ’ t Have Members</td><td>37</td></tr><tr><td>4.11 Primitive and Defined Classes ( Necessary and Sufficient Axioms )</td><td>38</td></tr><tr><td>4.12 Universal Restrictions</td><td>41</td></tr><tr><td>4.13 Automated Classification and Open World Reasoning</td><td>42</td></tr></tbody>
          </table> </body> </html>