Package | Description |
---|---|
org.semanticweb.owlapi.model |
Main API classes.
|
uk.ac.manchester.cs.owl.owlapi |
OWL API reference implementation package
|
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 |
---|---|
Set<? extends OWLNaryAxiom<C>> |
OWLNaryAxiom.asPairwiseAxioms()
Gets this axiom as a set of pairwise axioms; if the axiom contains only two operands,
the axiom itself is returned unchanged, including its annotations.
|
Set<? extends OWLNaryAxiom<C>> |
OWLNaryAxiom.splitToAnnotatedPairs()
Splits this axiom to pairs, including annotations.
|
Modifier and Type | Class and Description |
---|---|
class |
OWLDifferentIndividualsAxiomImpl |
class |
OWLDisjointClassesAxiomImpl |
class |
OWLDisjointDataPropertiesAxiomImpl |
class |
OWLDisjointObjectPropertiesAxiomImpl |
class |
OWLEquivalentClassesAxiomImpl |
class |
OWLEquivalentDataPropertiesAxiomImpl |
class |
OWLEquivalentObjectPropertiesAxiomImpl |
class |
OWLInverseObjectPropertiesAxiomImpl |
class |
OWLNaryClassAxiomImpl |
class |
OWLNaryIndividualAxiomImpl |
class |
OWLNaryPropertyAxiomImpl<P extends OWLPropertyExpression> |
class |
OWLSameIndividualAxiomImpl |
Copyright © 2020 The University of Manchester. All rights reserved.