equivalent class (P497): Difference between revisions
Jump to navigation
Jump to search
Antaldaniel (talk | contribs) Added [hu] label: ekvivalens osztály |
Antaldaniel (talk | contribs) Added [hu] aliases: azonos osztály, owl:equivalentClass |
||
| aliases / hu / 0 | aliases / hu / 0 | ||
azonos osztály | |||
| aliases / hu / 1 | aliases / hu / 1 | ||
owl:equivalentClass | |||
Latest 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