equivalent class (P497): Difference between revisions
Jump to navigation
Jump to search
Antaldaniel (talk | contribs) Created a new Property: 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). |
Antaldaniel (talk | contribs) Created claim: equivalent class (P497): https://www.w3.org/TR/2004/REC-owl-semantics-20040210/#owl_equivalentClass |
||
| Property / equivalent class | |||
| Property / equivalent class: https://www.w3.org/TR/2004/REC-owl-semantics-20040210/#owl_equivalentClass / rank | |||
Normal rank | |||
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).
| 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