Difference between revisions of "Class Axioms"
Adminofwiki (Talk | contribs) |
Adminofwiki (Talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | Class Axioms are used to define classes, e.g | + | Class Axioms are used to define classes, e.g. an <owl:class/> defines the existence of a class and is a class axiom, likewise is the ID of the class a class axiom. |
The set of individuals linked to the class is called class extension. | The set of individuals linked to the class is called class extension. | ||
| Line 5: | Line 5: | ||
==SubClassOf axiom== | ==SubClassOf axiom== | ||
| − | It means the class expression is an instance of another | + | It means the class expression is an instance of another class's expression, it is used to display hierarchy. It follows that the set of individuals in the class 1 are a subset of the set of individuals of class 2. |
| − | Due to that | + | Due to that the first class expression which is the subclass of the other is more specific than the other. |
==Equivalent classes axiom== | ==Equivalent classes axiom== | ||
| Line 12: | Line 12: | ||
==Disjoint classes axiom== | ==Disjoint classes axiom== | ||
| − | These axioms state that class expressions are disjoint,thus they have no instances in common. | + | These axioms state that class expressions are disjoint, thus they have no instances in common. |
Revision as of 20:40, 23 June 2016
Class Axioms are used to define classes, e.g. an <owl:class/> defines the existence of a class and is a class axiom, likewise is the ID of the class a class axiom.
The set of individuals linked to the class is called class extension.
SubClassOf axiom
It means the class expression is an instance of another class's expression, it is used to display hierarchy. It follows that the set of individuals in the class 1 are a subset of the set of individuals of class 2. Due to that the first class expression which is the subclass of the other is more specific than the other.
Equivalent classes axiom
Equivalent class axioms state that multiple class expressions are equivalent to each other. Thus these class expressions can be used as synonym, when the meaning of the ontology won't be changed.
Disjoint classes axiom
These axioms state that class expressions are disjoint, thus they have no instances in common.
