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 |
OWLDataIntersectionOf
Represents
DataIntersectionOf in the OWL 2 Specification.
|
interface |
OWLDataOneOf
Represents DataOneOf in
the OWL 2 Specification.
|
interface |
OWLDataUnionOf
Represents a
DataUnionOf
data range in the OWL 2 Specification.
|
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 |
OWLDisjointUnionAxiom
Represents a
DisjointUnion axiom 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 |
OWLHasKeyAxiom
Represents a HasKey axiom in the OWL 2
Specification.
|
interface |
OWLInverseObjectPropertiesAxiom
Represents an
InverseObjectProperties axiom in the OWL 2 Specification.
|
interface |
OWLNaryAxiom<C extends OWLObject>
Represents an axiom that contains two or more operands that could also be represented with
multiple pairwise axioms.
|
interface |
OWLNaryBooleanClassExpression |
interface |
OWLNaryClassAxiom |
interface |
OWLNaryDataRange |
interface |
OWLNaryIndividualAxiom |
interface |
OWLNaryPropertyAxiom<P extends OWLPropertyExpression> |
interface |
OWLObjectIntersectionOf
Represents an
ObjectIntersectionOf class expression in the OWL 2 Specification.
|
interface |
OWLObjectOneOf
Represents an
ObjectOneOf class expression in the OWL 2 Specification.
|
interface |
OWLObjectUnionOf
Represents an
ObjectUnionOf class expression in the OWL 2 Specification.
|
interface |
OWLSameIndividualAxiom
Represents an SameIndividual
axiom in the OWL 2 Specification.
|
Modifier and Type | Class and Description |
---|---|
class |
OWLDataIntersectionOfImpl |
class |
OWLDataOneOfImpl |
class |
OWLDataUnionOfImpl |
class |
OWLDifferentIndividualsAxiomImpl |
class |
OWLDisjointClassesAxiomImpl |
class |
OWLDisjointDataPropertiesAxiomImpl |
class |
OWLDisjointObjectPropertiesAxiomImpl |
class |
OWLDisjointUnionAxiomImpl |
class |
OWLEquivalentClassesAxiomImpl |
class |
OWLEquivalentDataPropertiesAxiomImpl |
class |
OWLEquivalentObjectPropertiesAxiomImpl |
class |
OWLHasKeyAxiomImpl |
class |
OWLInverseObjectPropertiesAxiomImpl |
class |
OWLNaryBooleanClassExpressionImpl |
class |
OWLNaryClassAxiomImpl |
class |
OWLNaryDataRangeImpl |
class |
OWLNaryIndividualAxiomImpl |
class |
OWLNaryPropertyAxiomImpl<P extends OWLPropertyExpression> |
class |
OWLObjectIntersectionOfImpl |
class |
OWLObjectOneOfImpl |
class |
OWLObjectUnionOfImpl |
class |
OWLSameIndividualAxiomImpl |
Copyright © 2020 The University of Manchester. All rights reserved.