Package | Description |
---|---|
org.obolibrary.macro | |
org.semanticweb.owlapi.apibinding |
Binding package
|
org.semanticweb.owlapi.dlsyntax.renderer | |
org.semanticweb.owlapi.functional.renderer | |
org.semanticweb.owlapi.krss2.renderer | |
org.semanticweb.owlapi.latex.renderer |
LaTeX syntax renderer
|
org.semanticweb.owlapi.manchestersyntax.renderer | |
org.semanticweb.owlapi.model |
Main API classes.
|
org.semanticweb.owlapi.owlxml.renderer | |
org.semanticweb.owlapi.profiles | |
org.semanticweb.owlapi.rdf.model |
RDF model package
|
org.semanticweb.owlapi.util |
Utilities package
|
org.semanticweb.owlapitools.builders | |
uk.ac.manchester.cs.owl.owlapi |
OWL API reference implementation package
|
uk.ac.manchester.cs.owl.owlapi.concurrent |
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
AbstractMacroExpansionVisitor.visit(OWLTransitiveObjectPropertyAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
static OWLTransitiveObjectPropertyAxiom |
OWLFunctionalSyntaxFactory.TransitiveObjectProperty(OWLObjectPropertyExpression property) |
static OWLTransitiveObjectPropertyAxiom |
OWLFunctionalSyntaxFactory.TransitiveObjectProperty(OWLObjectPropertyExpression property,
Set<OWLAnnotation> a) |
Modifier and Type | Method and Description |
---|---|
void |
DLSyntaxObjectRenderer.visit(OWLTransitiveObjectPropertyAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
FunctionalSyntaxObjectRenderer.visit(OWLTransitiveObjectPropertyAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
KRSSObjectRenderer.visit(OWLTransitiveObjectPropertyAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
LatexObjectVisitor.visit(OWLTransitiveObjectPropertyAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
ManchesterOWLSyntaxObjectRenderer.visit(OWLTransitiveObjectPropertyAxiom axiom) |
Modifier and Type | Field and Description |
---|---|
static AxiomType<OWLTransitiveObjectPropertyAxiom> |
AxiomType.TRANSITIVE_OBJECT_PROPERTY
TransitiveObjectProperty
|
Modifier and Type | Method and Description |
---|---|
OWLTransitiveObjectPropertyAxiom |
OWLTransitiveObjectPropertyAxiom.getAxiomWithoutAnnotations() |
OWLTransitiveObjectPropertyAxiom |
OWLDataFactory.getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property) |
OWLTransitiveObjectPropertyAxiom |
OWLDataFactory.getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property,
Set<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
Set<OWLTransitiveObjectPropertyAxiom> |
OWLAxiomIndex.getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLTransitiveObjectPropertyAxiom s contained in this
ontology that make the specified object property transitive. |
Modifier and Type | Method and Description |
---|---|
O |
OWLLogicalAxiomVisitorEx.visit(OWLTransitiveObjectPropertyAxiom axiom)
visit OWLTransitiveObjectPropertyAxiom type
|
void |
OWLLogicalAxiomVisitor.visit(OWLTransitiveObjectPropertyAxiom axiom)
visit OWLTransitiveObjectPropertyAxiom type
|
Modifier and Type | Method and Description |
---|---|
void |
OWLXMLObjectRenderer.visit(OWLTransitiveObjectPropertyAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
ProfileVisitor.visit(OWLTransitiveObjectPropertyAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractTranslator.visit(OWLTransitiveObjectPropertyAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
OWLTransitiveObjectPropertyAxiom |
OWLObjectDesharer.visit(OWLTransitiveObjectPropertyAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
OWLTransitiveObjectPropertyAxiom |
BuilderTransitiveObjectProperty.buildObject() |
Constructor and Description |
---|
BuilderTransitiveObjectProperty(OWLTransitiveObjectPropertyAxiom expected,
OWLDataFactory df)
builder initialized from an existing object
|
Modifier and Type | Class and Description |
---|---|
class |
OWLTransitiveObjectPropertyAxiomImpl |
Modifier and Type | Method and Description |
---|---|
OWLTransitiveObjectPropertyAxiom |
OWLTransitiveObjectPropertyAxiomImpl.getAxiomWithoutAnnotations() |
OWLTransitiveObjectPropertyAxiom |
OWLDataFactoryImpl.getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property) |
OWLTransitiveObjectPropertyAxiom |
OWLDataFactoryImpl.getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property,
Set<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
Set<OWLTransitiveObjectPropertyAxiom> |
OWLAxiomIndexImpl.getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property) |
Modifier and Type | Method and Description |
---|---|
K |
InitVisitorFactory.InitVisitor.visit(OWLTransitiveObjectPropertyAxiom axiom) |
void |
AbstractEntityRegistrationManager.visit(OWLTransitiveObjectPropertyAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
Set<OWLTransitiveObjectPropertyAxiom> |
ConcurrentOWLOntologyImpl.getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression) |
Copyright © 2020 The University of Manchester. All rights reserved.