equivalent class (P497): Difference between revisions
Jump to navigation
Jump to search
Antaldaniel (talk | contribs) Created claim: equivalent class (P497): https://www.w3.org/TR/2004/REC-owl-semantics-20040210/#owl_equivalentClass |
Antaldaniel (talk | contribs) Added [en] alias: owl:equivalentClass |
||
| aliases / en / 0 | aliases / en / 0 | ||
owl:equivalentClass | |||
Revision as of 07:59, 13 September 2026
A class axiom may contain (multiple) owl:equivalentClass statements. owl:equivalentClass is a built-in property that links a class description to another class description. The meaning of such a class axiom is that the two class descriptions involved have the same class extension (i.e., both class extensions contain exactly the same set of individuals).
- owl:equivalentClass
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | equivalent class |
A class axiom may contain (multiple) owl:equivalentClass statements. owl:equivalentClass is a built-in property that links a class description to another class description. The meaning of such a class axiom is that the two class descriptions involved have the same class extension (i.e., both class extensions contain exactly the same set of individuals). |
|
Data type
URL