| Package | Description |
|---|---|
| org.semanticweb.owlapi.model |
| Modifier and Type | Interface and Description |
|---|---|
interface |
OWLDifferentIndividualsAxiom
Represents a DifferentIndividuals axiom in the OWL 2 Specification.
|
interface |
OWLDisjointClassesAxiom
Represents a DisjointClasses
axiom in the OWL 2 Specification.
|
interface |
OWLEquivalentClassesAxiom
Represents an EquivalentClasses axiom in the OWL 2 Specification.
|
interface |
OWLNaryClassAxiom |
interface |
OWLNaryIndividualAxiom |
interface |
OWLSameIndividualAxiom
Represents an
SameIndividual axiom in the OWL 2 Specification.
|
| Modifier and Type | Method and Description |
|---|---|
Set<? extends OWLNaryAxiom> |
OWLNaryAxiom.asPairwiseAxioms()
Gets this axiom as a set of pairwise axioms.
|
Copyright © 2014 The University of Manchester. All Rights Reserved.