Modifier and Type | Method and Description |
---|---|
void |
KRSSObjectRenderer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) |
void |
KRSS2ObjectRenderer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) |
void |
KRSS2OWLObjectRenderer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
OWLObjectRenderer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
LatexObjectVisitor.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
OWLXMLObjectRenderer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractTranslator.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
static OWLInverseFunctionalObjectPropertyAxiom |
OWLFunctionalSyntaxFactory.InverseFunctionalObjectProperty(OWLObjectPropertyExpression property) |
static OWLInverseFunctionalObjectPropertyAxiom |
OWLFunctionalSyntaxFactory.InverseFunctionalObjectProperty(OWLObjectPropertyExpression property,
Set<OWLAnnotation> a) |
Modifier and Type | Method and Description |
---|---|
void |
DebuggerClassExpressionGenerator.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) |
Modifier and Type | Field and Description |
---|---|
static AxiomType<OWLInverseFunctionalObjectPropertyAxiom> |
AxiomType.INVERSE_FUNCTIONAL_OBJECT_PROPERTY
InverseFunctionalObjectProperty
|
Modifier and Type | Method and Description |
---|---|
OWLInverseFunctionalObjectPropertyAxiom |
OWLInverseFunctionalObjectPropertyAxiom.getAxiomWithoutAnnotations() |
OWLInverseFunctionalObjectPropertyAxiom |
OWLDataFactory.getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property) |
OWLInverseFunctionalObjectPropertyAxiom |
OWLDataFactory.getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property,
Set<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
Set<OWLInverseFunctionalObjectPropertyAxiom> |
OWLOntology.getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLInverseFunctionalObjectPropertyAxiom s contained in
this ontology that make the specified object property inverse functional. |
Modifier and Type | Method and Description |
---|---|
O |
OWLLogicalAxiomVisitorEx.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
visit OWLInverseFunctionalObjectPropertyAxiom type
|
void |
OWLLogicalAxiomVisitor.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
visit OWLInverseFunctionalObjectPropertyAxiom type
|
O |
OWLAxiomVisitorEx.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
visit OWLInverseFunctionalObjectPropertyAxiom type
|
void |
OWLAxiomVisitor.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
visit OWLInverseFunctionalObjectPropertyAxiom type
|
Constructor and Description |
---|
UseOfNonSimplePropertyInInverseFunctionalObjectPropertyAxiom(OWLOntology ontology,
OWLInverseFunctionalObjectPropertyAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
SatisfiabilityReducer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) |
Modifier and Type | Class and Description |
---|---|
class |
OWLInverseFunctionalObjectPropertyAxiomImpl |
Modifier and Type | Method and Description |
---|---|
OWLInverseFunctionalObjectPropertyAxiom |
OWLInverseFunctionalObjectPropertyAxiomImpl.getAnnotatedAxiom(Set<OWLAnnotation> annotations) |
OWLInverseFunctionalObjectPropertyAxiom |
OWLInverseFunctionalObjectPropertyAxiomImpl.getAxiomWithoutAnnotations() |
OWLInverseFunctionalObjectPropertyAxiom |
OWLDataFactoryImpl.getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property) |
OWLInverseFunctionalObjectPropertyAxiom |
OWLDataFactoryImpl.getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property,
Set<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
Set<OWLInverseFunctionalObjectPropertyAxiom> |
OWLOntologyImpl.getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property) |
Internals.Pointer<OWLObjectPropertyExpression,OWLInverseFunctionalObjectPropertyAxiom> |
Internals.getInverseFunctionalPropertyAxiomsByProperty() |
MapPointer<OWLObjectPropertyExpression,OWLInverseFunctionalObjectPropertyAxiom> |
AbstractInternalsImpl.getInverseFunctionalPropertyAxiomsByProperty() |
Modifier and Type | Method and Description |
---|---|
void |
OWLEntityCollectionContainerCollector.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) |
K |
InitVisitorFactory.InitVisitor.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) |
void |
AbstractEntityRegistrationManager.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
ManchesterOWLSyntaxObjectRenderer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
DLSyntaxObjectRenderer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) |
Copyright © 2017 The University of Manchester. All Rights Reserved.