| 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 58 was replaced by line 62 |
| - CONCEPT animal KIND-OF organism AND NOT plant |
| + CONCEPT animal KIND-OF organism BUT NOT plant |
| At line 60 added 1 line. |
| + Another type of concept axiom that can be expressed in sparrow is equivalence among concepts. For example, consider the following sentence. |
| Line 62 was replaced by lines 67-69 |
| - !! Concept Equivalence |
| + {{{ |
| + concept Human same-as Person |
| + }}} |
| Line 64 was replaced by line 71 |
| - Another type of concept axiom that can be expressed in sparrow is equivalence among concepts. For example, consider the following sentence. |
| + This sentence asserts that 'Human' and 'Person' denote the same concept. |
| At line 65 added 5 lines. |
| + |
| + !! Roles |
| + |
| + A more complex example ... |
| + |
| Line 67 was replaced by line 79 |
| - concept Macromolecule same-as Molecule and consistsOf at-least 100 Atom |
| + concept Macromolecule same-as Molecule that contains at-least 100 Atom |
| At line 71 added 3 lines. |
| + !! Individuals |
| + |
| + |
