- Relationships Instantiation Subsumption
- References
- See also
In knowledge representation, a class is a collection of individuals or objects.[1] A class can be defined either by extension, or by intension, using what is called in some ontology languages like OWL. If we follow the Type–token distinction, the ontology is divided into individuals, who are real worlds objects, or events, and types, or classes, who are sets of real world objects. Class expressions or definitions gives the properties that the individuals must fulfill to be members of the class. Individuals that fulfill the property are called Instances.
Relationships
Instantiation
The instantiation relationship is a relation between objects and classes. We say that an object O, say Harry the eagle is an instance of a class, say Eagle. Harry the eagle has all the properties that we can attribute to an eagle, for example his parents were eagles, he's a bird, he's a meat eater and so on. It's a special kind of is a relationship. It's noted Concept assertion (
) in Description logics, a family of logic based on classes, class assertion [2]
Subsumption
Classes can subsume each other. We say usually that if A and B are classes, and all A instances are also B instances, then B subsumes A, or A is a subclass of B, for example in the OWL Language it's called subclassof.[2]
References
2. ^1 {{cite web|url=http://www.w3.org/TR/owl2-syntax/#Class_Assertions|title=owl2 syntax}}
See also
- Metaclass (Semantic Web)
- Ontology
- Ontology components
- Description logic
- List of South African Open women's singles champions
- List of South African political parties
- List of South African provinces
- List of South African provinces by gross domestic product
- List of South African provinces by gross domestic product per capita
- List of South African provinces by HDI
- List of South African provincial legislatures
- List of South African records in athletics
- List of South African records in swimming
- List of South African Test cricketers
- List of South African Twenty20 International cricketers
- List of South Africa - Swaziland border crossings
- List of South Africa women ODI cricketers
- List of South Africa women Test cricketers
- List of South Africa women Twenty20 International cricketers
- List of South Africa–Swaziland border crossings
- List of South Africa–Zimbabwe border crossings
- List of South American cities by elevation
- List of South American Countries
- List of South American countries
- List of South American countries and dependencies
- List of South American countries and territories
- List of South American countries by GDP per capita
- List of South American countries by GDP PPP
- List of South American countries by population density