Line 14 was replaced by line 14 |
- Sparrow ontologies, like description-logic ontologies, define concepts, roles, individuals, and properties. |
+ Sparrow ontologies, like description-logic ontologies, define concepts, roles, and individuals. |
Line 18 was replaced by line 18 |
- Concepts in sparrow are defined using ''sentences.'' For instance, we can introduce a new concept called 'vegetarian' into an ontology using the following sentence. |
+ Concepts in sparrow are defined using ''sentences.'' For instance, we can introduce a new concept called 'Vegetarian' into an ontology using the following sentence. |
Line 24 was replaced by line 24 |
- This sentence simply states that the term 'Vegetarian' is a concept. In the above sentence, the term 'concept' is a reserved word. We can give further elaborate concepts using ''concept axioms,'' for example: |
+ This sentence simply states that the term 'Vegetarian' is a concept. In the above sentence, the term 'concept' is a reserved word. Concepts definitions can be further elaborated using ''concept axioms.'' Consider the following sentence. |
Line 30 was replaced by line 30 |
- This sentence states that the term 'Animal' is a sub-concept of the concept 'Organism'. In other words, every animal is an organism. The term 'kind_of' is a reserved word. Both 'Animal' and 'Organism' are asserted as being concepts by this sentence. The sentence is equivalent to the following three sparrow sentences. |
+ This sentence states that the concept 'Animal' is a sub-concept of the concept 'Organism'. In other words, every animal is an organism. The term 'kind_of' is a reserved word (sometimes referred to as "isa"). Both 'Animal' and 'Organism' are asserted as being concepts by this sentence. The sentence is equivalent to the following three sparrow sentences. |
Line 38 was replaced by line 38 |
- Multiple sentences defining the same concept are combined through conjunction (and). For example, the sentences: |
+ Multiple sentences defining the same concept can be combined through conjunction (and). For example, the sentences: |
Removed lines 41-43 |
- concept Organism |
- concept Animal |
- concept Plant |
Line 54 was replaced by line 51 |
- That is, an animal is an organism but not a plant. The terms 'and' and 'not' are sparrow reserved words. |
+ Here, the terms 'and' and 'not' are sparrow reserved words. The sentence states that an animal is an organism but not a plant. |