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 © 2017 The University of Manchester. All Rights Reserved.