| Package | Description |
|---|---|
| org.semanticweb.owlapi.model | |
| org.semanticweb.owlapi.util | |
| uk.ac.manchester.cs.owl.owlapi |
| 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> |
| Modifier and Type | Class and Description |
|---|---|
class |
OWLAsymmetricObjectPropertyAxiomImpl |
class |
OWLDisjointObjectPropertiesAxiomImpl |
class |
OWLEquivalentObjectPropertiesAxiomImpl |
class |
OWLFunctionalObjectPropertyAxiomImpl |
class |
OWLInverseFunctionalObjectPropertyAxiomImpl |
class |
OWLInverseObjectPropertiesAxiomImpl |
class |
OWLIrreflexiveObjectPropertyAxiomImpl |
class |
OWLObjectPropertyCharacteristicAxiomImpl |
class |
OWLObjectPropertyDomainAxiomImpl |
class |
OWLObjectPropertyRangeAxiomImpl |
class |
OWLReflexiveObjectPropertyAxiomImpl |
class |
OWLSubObjectPropertyOfAxiomImpl |
class |
OWLSubPropertyChainAxiomImpl |
class |
OWLSymmetricObjectPropertyAxiomImpl |
class |
OWLTransitiveObjectPropertyAxiomImpl |
| Modifier and Type | Method and Description |
|---|---|
Set<OWLObjectPropertyAxiom> |
OWLOntologyImpl.getAxioms(OWLObjectPropertyExpression prop) |
Copyright © 2014 The University of Manchester. All Rights Reserved.