| Modifier and Type | Method and Description |
|---|---|
static OWLSubPropertyChainOfAxiom |
OWLFunctionalSyntaxFactory.SubPropertyChainOf(List<? extends OWLObjectPropertyExpression> chain,
OWLObjectPropertyExpression superProperty) |
static OWLSubPropertyChainOfAxiom |
OWLFunctionalSyntaxFactory.SubPropertyChainOf(List<? extends OWLObjectPropertyExpression> chain,
OWLObjectPropertyExpression superProperty,
Collection<OWLAnnotation> a) |
| Modifier and Type | Method and Description |
|---|---|
void |
DLSyntaxObjectRenderer.visit(OWLSubPropertyChainOfAxiom axiom) |
| Modifier and Type | Method and Description |
|---|---|
void |
FunctionalSyntaxObjectRenderer.visit(OWLSubPropertyChainOfAxiom axiom) |
| Modifier and Type | Method and Description |
|---|---|
void |
KRSS2ObjectRenderer.visit(OWLSubPropertyChainOfAxiom axiom) |
| Modifier and Type | Method and Description |
|---|---|
void |
LatexObjectVisitor.visit(OWLSubPropertyChainOfAxiom axiom) |
| Modifier and Type | Method and Description |
|---|---|
void |
ManchesterOWLSyntaxObjectRenderer.visit(OWLSubPropertyChainOfAxiom axiom) |
| Modifier and Type | Field and Description |
|---|---|
static AxiomType<OWLSubPropertyChainOfAxiom> |
AxiomType.SUB_PROPERTY_CHAIN_OF
SubPropertyChainOf.
|
| Modifier and Type | Method and Description |
|---|---|
OWLSubPropertyChainOfAxiom |
OWLSubPropertyChainOfAxiom.getAxiomWithoutAnnotations() |
| Modifier and Type | Method and Description |
|---|---|
default O |
OWLLogicalAxiomVisitorEx.visit(OWLSubPropertyChainOfAxiom axiom)
visit OWLSubPropertyChainOfAxiom type
|
default void |
OWLLogicalAxiomVisitor.visit(OWLSubPropertyChainOfAxiom axiom)
visit OWLSubPropertyChainOfAxiom type
|
| Modifier and Type | Method and Description |
|---|---|
default OWLSubPropertyChainOfAxiom |
PropertyChainAxiomProvider.getOWLSubPropertyChainOfAxiom(List<? extends OWLObjectPropertyExpression> chain,
OWLObjectPropertyExpression superProperty) |
OWLSubPropertyChainOfAxiom |
PropertyChainAxiomProvider.getOWLSubPropertyChainOfAxiom(List<? extends OWLObjectPropertyExpression> chain,
OWLObjectPropertyExpression superProperty,
Collection<OWLAnnotation> annotations) |
| Modifier and Type | Method and Description |
|---|---|
void |
OWLXMLObjectRenderer.visit(OWLSubPropertyChainOfAxiom axiom) |
| Constructor and Description |
|---|
LastPropertyInChainNotInImposedRange(OWLOntology ontology,
OWLSubPropertyChainOfAxiom axiom,
OWLObjectPropertyRangeAxiom rangeAxiom) |
UseOfPropertyInChainCausesCycle(OWLOntology ontology,
OWLSubPropertyChainOfAxiom axiom,
OWLObjectPropertyExpression property) |
| Modifier and Type | Method and Description |
|---|---|
void |
AbstractTranslator.visit(OWLSubPropertyChainOfAxiom axiom) |
| Modifier and Type | Method and Description |
|---|---|
OWLSubPropertyChainOfAxiom |
OWLObjectDuplicator.visit(OWLSubPropertyChainOfAxiom axiom) |
OWLSubPropertyChainOfAxiom |
OWLObjectDesharer.visit(OWLSubPropertyChainOfAxiom axiom) |
| Modifier and Type | Method and Description |
|---|---|
void |
StructureWalker.visit(OWLSubPropertyChainOfAxiom axiom) |
void |
SimpleRenderer.visit(OWLSubPropertyChainOfAxiom axiom) |
OWLSubPropertyChainOfAxiom |
OWLObjectDuplicator.visit(OWLSubPropertyChainOfAxiom axiom) |
OWLSubPropertyChainOfAxiom |
OWLObjectDesharer.visit(OWLSubPropertyChainOfAxiom axiom) |
void |
OWLAnnotationPropertyTransformer.visit(OWLSubPropertyChainOfAxiom ax) |
O |
DelegatingObjectVisitorEx.visit(OWLSubPropertyChainOfAxiom axiom) |
void |
DLExpressivityChecker.visit(OWLSubPropertyChainOfAxiom axiom) |
OWLObject |
AxiomSubjectProviderEx.visit(OWLSubPropertyChainOfAxiom axiom) |
| Modifier and Type | Method and Description |
|---|---|
OWLSubPropertyChainOfAxiom |
BuilderPropertyChain.buildObject() |
| Constructor and Description |
|---|
BuilderPropertyChain(OWLSubPropertyChainOfAxiom expected,
OWLDataFactory df)
Builder initialized from an existing object.
|
| Modifier and Type | Method and Description |
|---|---|
void |
SyntacticLocalityChecker.visit(OWLSubPropertyChainOfAxiom axiom) |
void |
SemanticLocalityChecker.visit(OWLSubPropertyChainOfAxiom axiom) |
| Modifier and Type | Class and Description |
|---|---|
class |
OWLSubPropertyChainAxiomImpl |
| Modifier and Type | Method and Description |
|---|---|
OWLSubPropertyChainOfAxiom |
OWLSubPropertyChainAxiomImpl.getAxiomWithoutAnnotations() |
OWLSubPropertyChainOfAxiom |
OWLDataFactoryImpl.getOWLSubPropertyChainOfAxiom(List<? extends OWLObjectPropertyExpression> chain,
OWLObjectPropertyExpression superProperty,
Collection<OWLAnnotation> annotations) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
Internals.addPropertyChainSubPropertyAxioms(OWLSubPropertyChainOfAxiom ax) |
boolean |
Internals.removePropertyChainSubPropertyAxioms(OWLSubPropertyChainOfAxiom ax) |
Copyright © 2017 The University of Manchester. All Rights Reserved.