|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ElkClassAxiom | |
|---|---|
| org.semanticweb.elk.owl.interfaces | |
| Uses of ElkClassAxiom in org.semanticweb.elk.owl.interfaces |
|---|
| Subinterfaces of ElkClassAxiom in org.semanticweb.elk.owl.interfaces | |
|---|---|
interface |
ElkDisjointClassesAxiom
Corresponds to an Disjoint Classes Axiom in the OWL 2 specification. |
interface |
ElkDisjointUnionAxiom
Corresponds to an Disjoint Union of Class Expressions Axiom in the OWL 2 specification. |
interface |
ElkEquivalentClassesAxiom
Corresponds to an Equivalent Class Axiom in the OWL 2 specification. |
interface |
ElkSubClassOfAxiom
Corresponds to a Subclass Axiom in the OWL 2 specification. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||