| Package | Description |
|---|---|
| org.semanticweb.owlapi.model | |
| org.semanticweb.owlapi.util |
| Modifier and Type | Interface and Description |
|---|---|
interface |
OWLAsymmetricObjectPropertyAxiom
Represents AsymmetricObjectProperty axioms in the OWL 2 specification.
|
interface |
OWLDisjointObjectPropertiesAxiom
Represents DisjointObjectProperties axioms in the OWL 2 specification.
|
interface |
OWLEquivalentObjectPropertiesAxiom
Represents EquivalentObjectProperties axioms in the OWL 2 specification.
|
interface |
OWLFunctionalObjectPropertyAxiom
Represents FunctionalObjectProperty axioms in the OWL 2 specification.
|
interface |
OWLInverseFunctionalObjectPropertyAxiom
Represents InverseFunctionalObjectProperty axioms in the OWL 2 specification.
|
interface |
OWLInverseObjectPropertiesAxiom
Represents an InverseObjectProperties Represents a statement that two properties are
the inverse of each other.
|
interface |
OWLIrreflexiveObjectPropertyAxiom
Represents IrreflexiveObjectProperty axioms in the OWL 2 Specification.
|
interface |
OWLObjectPropertyCharacteristicAxiom |
interface |
OWLObjectPropertyDomainAxiom
Represents
ObjectPropertyDomain axioms in the OWL 2 specification.
|
interface |
OWLObjectPropertyRangeAxiom
Represents
ObjectPropertyRange axioms in the OWL 2 specification.
|
interface |
OWLReflexiveObjectPropertyAxiom
Represents ReflexiveObjectProperty axioms in the OWL 2 specification.
|
interface |
OWLSubObjectPropertyOfAxiom
Represents
SubObjectPropertyOf axioms in the OWL 2 specification.
|
interface |
OWLSubPropertyChainOfAxiom
Represents a
SubObjectPropertyOf axiom in the OWL 2 Specification where the
subproperty is a chain of properties.
|
interface |
OWLSymmetricObjectPropertyAxiom
Represents SymmetricObjectProperty axioms in the OWL 2 specification.
|
interface |
OWLTransitiveObjectPropertyAxiom
Represents a TransitiveObjectProperty axiom in the OWL 2 Specification.
|
| Modifier and Type | Method and Description |
|---|---|
Set<OWLObjectPropertyAxiom> |
OWLOntology.getAxioms(OWLObjectPropertyExpression prop)
Gets the axioms that form the definition/description of an object
property.
|
| Modifier and Type | Class and Description |
|---|---|
class |
InferredObjectPropertyAxiomGenerator<A extends OWLObjectPropertyAxiom> |
Copyright © 2014 The University of Manchester. All Rights Reserved.