B C D E G I K L M N P R S T V W

B

BlockWriter - Class in com.clarkparsia.owlapi.explanation.io.manchester

Title:

BlockWriter(Writer, String) - Constructor for class com.clarkparsia.owlapi.explanation.io.manchester.BlockWriter

C

clearBlocks() - Method in class com.clarkparsia.owlapi.explanation.io.manchester.BlockWriter

Clear all the blocks previously defined.

clearBlocks() - Method in class com.clarkparsia.owlapi.explanation.io.manchester.TextBlockWriter

Clear all the blocks previously defined.

com.clarkparsia.owlapi.explanation - package com.clarkparsia.owlapi.explanation

com.clarkparsia.owlapi.explanation.io.manchester - package com.clarkparsia.owlapi.explanation.io.manchester

com.clarkparsia.owlapi.explanation.io.rdfxml - package com.clarkparsia.owlapi.explanation.io.rdfxml

currentAxiom - Variable in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxExplanationRenderer

D

DescriptionSorter - Class in com.clarkparsia.owlapi.explanation.io.manchester

Title:

DescriptionSorter() - Constructor for class com.clarkparsia.owlapi.explanation.io.manchester.DescriptionSorter

dispose() - Method in class com.clarkparsia.owlapi.explanation.GlassBoxExplanation

dispose() - Method in class com.clarkparsia.owlapi.explanation.PelletExplanation

Disposes additional resources used to generate explanations.

E

endBlock() - Method in class com.clarkparsia.owlapi.explanation.io.manchester.BlockWriter

Ends the current alignment block.

endBlock() - Method in class com.clarkparsia.owlapi.explanation.io.manchester.TextBlockWriter

Ends the current alignment block.

endRendering() - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxExplanationRenderer

endRendering() - Method in class com.clarkparsia.owlapi.explanation.io.rdfxml.RDFXMLExplanationRenderer

endTransaction() - Method in class com.clarkparsia.owlapi.explanation.GlassBoxExplanation

G

getColor() - Method in enum com.clarkparsia.owlapi.explanation.io.manchester.Keyword

getCurrentAxiom() - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxExplanationRenderer

Returns the current axioms being whose explanation is being rendered or null if no axiom has been provided.

getEntailmentExplanation(OWLAxiom) - Method in class com.clarkparsia.owlapi.explanation.PelletExplanation

getEntailmentExplanations(OWLAxiom) - Method in class com.clarkparsia.owlapi.explanation.PelletExplanation

getEntailmentExplanations(OWLAxiom, int) - Method in class com.clarkparsia.owlapi.explanation.PelletExplanation

getExplanation(OWLClassExpression) - Method in class com.clarkparsia.owlapi.explanation.GlassBoxExplanation

getFace() - Method in enum com.clarkparsia.owlapi.explanation.io.manchester.Keyword

getInconsistencyExplanation() - Method in class com.clarkparsia.owlapi.explanation.PelletExplanation

getInconsistencyExplanations() - Method in class com.clarkparsia.owlapi.explanation.PelletExplanation

getInconsistencyExplanations(int) - Method in class com.clarkparsia.owlapi.explanation.PelletExplanation

getInstanceExplanation(OWLIndividual, OWLClassExpression) - Method in class com.clarkparsia.owlapi.explanation.PelletExplanation

getInstanceExplanations(OWLIndividual, OWLClassExpression) - Method in class com.clarkparsia.owlapi.explanation.PelletExplanation

getInstanceExplanations(OWLIndividual, OWLClassExpression, int) - Method in class com.clarkparsia.owlapi.explanation.PelletExplanation

getLabel() - Method in enum com.clarkparsia.owlapi.explanation.io.manchester.Keyword

getReasoner() - Method in class com.clarkparsia.owlapi.explanation.GlassBoxExplanation

getReasonerFactory() - Method in class com.clarkparsia.owlapi.explanation.GlassBoxExplanation

getSize() - Method in enum com.clarkparsia.owlapi.explanation.io.manchester.Keyword

getStyleClass() - Method in enum com.clarkparsia.owlapi.explanation.io.manchester.Keyword

getSubClassExplanation(OWLClassExpression, OWLClassExpression) - Method in class com.clarkparsia.owlapi.explanation.PelletExplanation

getSubClassExplanations(OWLClassExpression, OWLClassExpression) - Method in class com.clarkparsia.owlapi.explanation.PelletExplanation

getSubClassExplanations(OWLClassExpression, OWLClassExpression, int) - Method in class com.clarkparsia.owlapi.explanation.PelletExplanation

getUnsatisfiableExplanation(OWLClassExpression) - Method in class com.clarkparsia.owlapi.explanation.PelletExplanation

Returns a single explanation for an arbitrary class expression, or empty set if the given expression is satisfiable.

getUnsatisfiableExplanations(OWLClassExpression) - Method in class com.clarkparsia.owlapi.explanation.PelletExplanation

Returns all the explanations for the given unsatisfiable class.

getUnsatisfiableExplanations(OWLClassExpression, int) - Method in class com.clarkparsia.owlapi.explanation.PelletExplanation

Return a specified number of explanations for the given unsatisfiable class.

GlassBoxExplanation - Class in com.clarkparsia.owlapi.explanation

Title: GlassBoxExplanation

GlassBoxExplanation(OWLOntology, PelletReasonerFactory) - Constructor for class com.clarkparsia.owlapi.explanation.GlassBoxExplanation

GlassBoxExplanation(PelletReasoner) - Constructor for class com.clarkparsia.owlapi.explanation.GlassBoxExplanation

GlassBoxExplanation(PelletReasonerFactory, PelletReasoner) - Constructor for class com.clarkparsia.owlapi.explanation.GlassBoxExplanation

I

indent(int) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.TextBlockWriter

Print given number of spaces.

isSmartIndent() - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxExplanationRenderer

Returns the current smart indent value.

isSmartIndent() - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

isWrapLines() - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxExplanationRenderer

Returns the current line wrapping value.

isWrapLines() - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

K

Keyword - Enum in com.clarkparsia.owlapi.explanation.io.manchester

L

log - Static variable in class com.clarkparsia.owlapi.explanation.GlassBoxExplanation

M

ManchesterSyntaxExplanationRenderer - Class in com.clarkparsia.owlapi.explanation.io.manchester

An explanation renderer implementation that prints the axioms in the explanation using Manchester syntax.

ManchesterSyntaxExplanationRenderer() - Constructor for class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxExplanationRenderer

ManchesterSyntaxObjectRenderer - Class in com.clarkparsia.owlapi.explanation.io.manchester

ManchesterSyntaxObjectRenderer(BlockWriter) - Constructor for class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

N

newLine - Variable in class com.clarkparsia.owlapi.explanation.io.manchester.BlockWriter

P

pad - Variable in class com.clarkparsia.owlapi.explanation.io.manchester.BlockWriter

PelletExplanation - Class in com.clarkparsia.owlapi.explanation

PelletExplanation(OWLOntology) - Constructor for class com.clarkparsia.owlapi.explanation.PelletExplanation

PelletExplanation(OWLOntology, boolean) - Constructor for class com.clarkparsia.owlapi.explanation.PelletExplanation

PelletExplanation(PelletReasoner) - Constructor for class com.clarkparsia.owlapi.explanation.PelletExplanation

println() - Method in class com.clarkparsia.owlapi.explanation.io.manchester.BlockWriter

println() - Method in class com.clarkparsia.owlapi.explanation.io.manchester.TextBlockWriter

printSpace() - Method in class com.clarkparsia.owlapi.explanation.io.manchester.BlockWriter

printSpace() - Method in class com.clarkparsia.owlapi.explanation.io.manchester.TextBlockWriter

R

RDFXMLExplanationRenderer - Class in com.clarkparsia.owlapi.explanation.io.rdfxml

Title:

RDFXMLExplanationRenderer() - Constructor for class com.clarkparsia.owlapi.explanation.io.rdfxml.RDFXMLExplanationRenderer

render(Set<Set<OWLAxiom>>) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxExplanationRenderer

Render an explanation without the axiom header.

render(OWLAxiom, Set<Set<OWLAxiom>>) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxExplanationRenderer

render(OWLAxiom, Set<Set<OWLAxiom>>) - Method in class com.clarkparsia.owlapi.explanation.io.rdfxml.RDFXMLExplanationRenderer

renderer - Variable in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxExplanationRenderer

renderSingleExplanation(Set<OWLAxiom>) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxExplanationRenderer

S

setCurrentAxiom(OWLAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxExplanationRenderer

setSmartIndent(boolean) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxExplanationRenderer

Sets the smart indent option which will align the elements of intersections and unions in columns when line wrapping is turned on.

setSmartIndent(boolean) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

setup() - Static method in class com.clarkparsia.owlapi.explanation.GlassBoxExplanation

Very important initialization step that needs to be called once before a reasoner is created.

setup() - Static method in class com.clarkparsia.owlapi.explanation.PelletExplanation

Very important initialization step that needs to be called once before a reasoner is created.

setWrapLines(boolean) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxExplanationRenderer

Sets the line wrapping option which will print the elements of intersections and unions into multiple lines.

setWrapLines(boolean) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

shortForm(IRI) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

Return the short form (local name) for a URI identifier

startBlock() - Method in class com.clarkparsia.owlapi.explanation.io.manchester.BlockWriter

Start a new block for alignment.

startBlock() - Method in class com.clarkparsia.owlapi.explanation.io.manchester.TextBlockWriter

Start a new block for alignment.

startNewLine() - Method in class com.clarkparsia.owlapi.explanation.io.manchester.BlockWriter

Do the preprocessing step required at the beginning of each line for alignment;

startNewLine() - Method in class com.clarkparsia.owlapi.explanation.io.manchester.TextBlockWriter

Do the preprocessing step required at the beginning of each line for alignment;

startRendering(Writer) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxExplanationRenderer

startRendering(Writer) - Method in class com.clarkparsia.owlapi.explanation.io.rdfxml.RDFXMLExplanationRenderer

T

TextBlockWriter - Class in com.clarkparsia.owlapi.explanation.io.manchester

Title:

TextBlockWriter(Writer) - Constructor for class com.clarkparsia.owlapi.explanation.io.manchester.TextBlockWriter

toSortedSet(Collection<N>) - Static method in class com.clarkparsia.owlapi.explanation.io.manchester.DescriptionSorter

Sorts a set of OWLObjects alphabetically based on toString values.

toString() - Method in class com.clarkparsia.owlapi.explanation.GlassBoxExplanation

V

valueOf(String) - Static method in enum com.clarkparsia.owlapi.explanation.io.manchester.Keyword

Returns the enum constant of this type with the specified name.

values() - Static method in enum com.clarkparsia.owlapi.explanation.io.manchester.Keyword

Returns an array containing the constants of this enum type, in the order they are declared.

visit(OWLAsymmetricObjectPropertyAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLClass) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLClassAssertionAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLAnnotation) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDataAllValuesFrom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDataComplementOf) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDataExactCardinality) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDataMaxCardinality) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDataMinCardinality) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDataOneOf) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDataProperty) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDataPropertyAssertionAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDataPropertyDomainAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDataPropertyRangeAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLFacetRestriction) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDatatypeRestriction) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDataSomeValuesFrom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLSubDataPropertyOfAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDatatype) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDataHasValue) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDeclarationAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDifferentIndividualsAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDisjointClassesAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDisjointDataPropertiesAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDisjointObjectPropertiesAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDisjointUnionAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLEquivalentClassesAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLEquivalentDataPropertiesAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLEquivalentObjectPropertiesAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLFunctionalDataPropertyAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLFunctionalObjectPropertyAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLAnonymousIndividual) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLNamedIndividual) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLInverseFunctionalObjectPropertyAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLInverseObjectPropertiesAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLIrreflexiveObjectPropertyAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLNegativeDataPropertyAssertionAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLNegativeObjectPropertyAssertionAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLObjectAllValuesFrom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLObjectComplementOf) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLObjectExactCardinality) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLObjectIntersectionOf) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLObjectMaxCardinality) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLObjectMinCardinality) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLObjectOneOf) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLObjectProperty) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLObjectPropertyAssertionAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLSubPropertyChainOfAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLObjectPropertyDomainAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLObjectInverseOf) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLObjectPropertyRangeAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLObjectHasSelf) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLObjectSomeValuesFrom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLSubObjectPropertyOfAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLObjectUnionOf) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLObjectHasValue) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLOntology) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLReflexiveObjectPropertyAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLSameIndividualAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLSubClassOfAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLSymmetricObjectPropertyAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLTransitiveObjectPropertyAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLLiteral) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(SWRLLiteralArgument) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(SWRLIndividualArgument) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(SWRLVariable) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(SWRLBuiltInAtom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(SWRLClassAtom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(SWRLDataRangeAtom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(SWRLDataPropertyAtom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(SWRLDifferentIndividualsAtom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(SWRLObjectPropertyAtom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(SWRLRule) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(SWRLSameIndividualAtom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLHasKeyAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDatatypeDefinitionAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLAnnotationAssertionAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLSubAnnotationPropertyOfAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLAnnotationPropertyDomainAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLAnnotationPropertyRangeAxiom) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDataIntersectionOf) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLDataUnionOf) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(OWLAnnotationProperty) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

visit(IRI) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

W

write(int) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.BlockWriter

write(char[], int, int) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.BlockWriter

write(String, int, int) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.BlockWriter

write(OWLObject) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

write(Keyword) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

write(String) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

write(IRI) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

write(char[], int, int) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.TextBlockWriter

write(int) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.TextBlockWriter

write(String, int, int) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.TextBlockWriter

writeCardinalityRestriction(OWLCardinalityRestriction<?>, Keyword) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

writeCollection(Collection<? extends OWLObject>, String, boolean) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

writeEnumeration(Set<? extends OWLObject>) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

writeKeywordInfix(Keyword, OWLObject, OWLObject) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

writeKeywordPrefix(Keyword, OWLObject) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

writeKeywordPrefix(Keyword, OWLObject, OWLObject) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

writeNaryAxiom(Set<? extends OWLObject>, Keyword, Keyword) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

Render an n-ary axiom with special handling for the binary case.

writeNaryKeyword(Keyword, Set<? extends OWLObject>) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

writeNewLine() - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

writeQuantifiedRestriction(OWLQuantifiedRestriction<?>, Keyword) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

writer - Variable in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxExplanationRenderer

writer - Variable in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

writeRestriction(OWLPropertyExpression, Keyword, Object...) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

writeSpace() - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

writeUnaryPropertyAxiom(OWLUnaryPropertyAxiom<?>, Keyword) - Method in class com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

B C D E G I K L M N P R S T V W