| Package | Description |
|---|---|
| org.semanticweb.owlapi.model |
Main API classes.
|
| 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 |
OWLDisjointDataPropertiesAxiom
Represents a
DisjointDataProperties axiom in the OWL 2 Specification.
|
interface |
OWLDisjointObjectPropertiesAxiom
Represents
DisjointObjectProperties axioms in the OWL 2 specification.
|
interface |
OWLEquivalentClassesAxiom
Represents an
EquivalentClasses axiom in the OWL 2 Specification.
|
interface |
OWLEquivalentDataPropertiesAxiom
Represents an
EquivalentDataProperties axiom in the OWL 2 Specification.
|
interface |
OWLEquivalentObjectPropertiesAxiom
Represents
EquivalentObjectProperties axioms in the OWL 2 specification.
|
interface |
OWLInverseObjectPropertiesAxiom
Represents an
InverseObjectProperties axiom in the OWL 2 Specification.
|
interface |
OWLNaryClassAxiom |
interface |
OWLNaryIndividualAxiom |
interface |
OWLNaryPropertyAxiom<P extends OWLPropertyExpression> |
interface |
OWLSameIndividualAxiom
Represents an SameIndividual
axiom in the OWL 2 Specification.
|
| Modifier and Type | Method and Description |
|---|---|
Collection<? extends OWLNaryAxiom<C>> |
OWLNaryAxiom.asPairwiseAxioms()
Gets this axiom as a set of pairwise axioms.
|
Copyright © 2018 The University of Manchester. All rights reserved.