| Line 12 was replaced by line 12 |
| - !!! Sparrow |
| + !!! Sparrow |
| Line 14 was replaced by line 14 |
| - Sparrow, like description logics, represent ontologies using concepts, roles, and individuals. In sparrow, concepts are defined using ''sentences.'' For instance, we can introduce a new concept called 'Vegetarian' using the following sentence. |
| + Sparrow, like description logics, represent ontologies using concepts, roles, and individuals. We desribe each of these below. |
| At line 15 added 4 lines. |
| + !! Concepts |
| + |
| + In sparrow, concepts are defined using ''sentences.'' For instance, we can introduce a new concept called 'Vegetarian' using the following sentence. |
| + |
| Line 23 was replaced by line 27 |
| - concept Animal kind_of Organism |
| + concept Animal kind-of Organism |
| Line 26 was replaced by line 30 |
| - This sentence states that 'Animal' is a subconcept of 'Organism'. In other words, every animal is an organism. The term 'kind_of' is a reserved word (sometimes referred to as "isa"). The sentence is considered an axiom because it is asserting a rule, or relationship, that is assumed to hold between 'Animal' and 'Organism'. Namely, that being an animal implies being an organism. |
| + This sentence states that 'Animal' is a subconcept of 'Organism'. In other words, every animal is an organism. The term 'kind-of' is a reserved word (sometimes referred to as "is-a"). The sentence is considered an axiom because it is asserting a rule, or relationship, that is assumed to hold between 'Animal' and 'Organism'. Namely, that being an animal implies being an organism. |
| Line 33 was replaced by line 37 |
| - concept Animal kind_of Organism |
| + concept Animal kind-of Organism |
| Lines 39-40 were replaced by lines 43-44 |
| - concept Animal kind_of Organism |
| - concept Animal kind_of not Plant |
| + concept Animal kind-of Organism |
| + concept Animal kind-of not Plant |
| Line 46 was replaced by line 50 |
| - concept Animal kind_of Organism and not Plant |
| + concept Animal kind-of Organism and not Plant |
| Line 49 was replaced by lines 53-57 |
| - Here the terms 'and' and 'not' are sparrow reserved words. The sentence states that an animal is an organism but not a plant. |
| + Here the terms 'and' and 'not' are sparrow reserved words. The sentence states that an animal is an organism but not a plant. For convenience, 'and' can be replaced by the term 'but', for example: |
| + |
| + {{{ |
| + concept Animal kind-of Organism but not Plant |
| + }}} |
| Line 54 was replaced by lines 62-68 |
| - CONCEPT animal KIND_OF organism AND NOT plant |
| + CONCEPT animal KIND-OF organism BUT NOT plant |
| + }}} |
| + |
| + Another type of concept axiom that can be expressed in sparrow is equivalence among concepts. For example, consider the following sentence. |
| + |
| + {{{ |
| + concept Human same-as Person |
| Line 57 was replaced by lines 71-76 |
| - !! Concept Equivalence |
| + This sentence asserts that 'Human' and 'Person' denote the same concept. |
| + |
| + |
| + !! Roles |
| + |
| + A more complex example ... |
| At line 58 added 3 lines. |
| + {{{ |
| + concept Macromolecule same-as Molecule that contains at-least 100 Atom |
| + }}} |
| At line 61 added 1 line. |
| + !! Individuals |
| At line 63 added 1 line. |
| + |
| At line 75 added 4 lines. |
| + !!! Sparrow Reserved Wordsf |
| + |
| + ||reserved word||variant |
| + | and | but, that |
