B C D E G I K M O P R S T V W _

B

BlockWriter - Class in openllet.owlapi.explanation.io.manchester

Description: A convenience class that wraps a PrinWriter instance to provide support for generating nicely aligned attribute.

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

C

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

Clear all the blocks previously defined.

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

Clear all the blocks previously defined.

D

DescriptionSorter - Class in openllet.owlapi.explanation.io.manchester

Copyright: Copyright (c) 2008 Company: Clark & Parsia, LLC.

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

dispose() - Method in class openllet.owlapi.explanation.GlassBoxExplanation

E

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

Ends the _current alignment block.

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

Ends the _current alignment block.

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

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

G

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

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

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

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

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

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

getInconsistencyExplanation() - Method in class openllet.owlapi.explanation.PelletExplanation

getInconsistencyExplanations() - Method in class openllet.owlapi.explanation.PelletExplanation

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

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

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

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

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

getReasoner() - Method in class openllet.owlapi.explanation.GlassBoxExplanation

getReasonerFactory() - Method in class openllet.owlapi.explanation.GlassBoxExplanation

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

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

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

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

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

getUnsatisfiableExplanation(OWLClassExpression) - Method in class openllet.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 openllet.owlapi.explanation.PelletExplanation

Returns all the explanations for the given unsatisfiable class.

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

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

GlassBoxExplanation - Class in openllet.owlapi.explanation

Title: GlassBoxExplanation Description: Implementation of SingleExplanationGenerator interface using the axiom tracing facilities of Pellet.

GlassBoxExplanation(OWLOntology, OpenlletReasonerFactory) - Constructor for class openllet.owlapi.explanation.GlassBoxExplanation

GlassBoxExplanation(OpenlletReasoner) - Constructor for class openllet.owlapi.explanation.GlassBoxExplanation

GlassBoxExplanation(OpenlletReasonerFactory, OpenlletReasoner) - Constructor for class openllet.owlapi.explanation.GlassBoxExplanation

I

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

Print given number of spaces.

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

Returns the _current smart indent value.

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

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

Returns the _current line wrapping value.

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

K

Keyword - Enum in openllet.owlapi.explanation.io.manchester

M

ManchesterSyntaxExplanationRenderer - Class in openllet.owlapi.explanation.io.manchester

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

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

ManchesterSyntaxObjectRenderer - Class in openllet.owlapi.explanation.io.manchester

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

O

openllet.owlapi.explanation - package openllet.owlapi.explanation

openllet.owlapi.explanation.io.manchester - package openllet.owlapi.explanation.io.manchester

openllet.owlapi.explanation.io.rdfxml - package openllet.owlapi.explanation.io.rdfxml

P

PelletExplanation - Class in openllet.owlapi.explanation

PelletExplanation(OWLOntology) - Constructor for class openllet.owlapi.explanation.PelletExplanation

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

PelletExplanation(OpenlletReasoner) - Constructor for class openllet.owlapi.explanation.PelletExplanation

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

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

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

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

R

RDFXMLExplanationRenderer - Class in openllet.owlapi.explanation.io.rdfxml

Title: Description: Copyright: Copyright (c) 2007 Company: Clark & Parsia, LLC.

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

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

Render an explanation without the axiom header.

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

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

S

setSmartIndent(boolean) - Method in class openllet.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 openllet.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

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

Very important initialization step that needs to be called once before a reasoner is created. this function will be called automatically when GlassBoxExplanation is loaded by the class loader.

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

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

setWrapLines(boolean) - Method in class openllet.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 openllet.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

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

Start a new block for alignment.

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

Start a new block for alignment.

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

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

T

TextBlockWriter - Class in openllet.owlapi.explanation.io.manchester

Description: Concrete implementation of BlockWriter for purely textual output like console output.

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

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

Sorts a set of OWLObjects alphabetically based on toString values.

toString() - Method in class openllet.owlapi.explanation.GlassBoxExplanation

V

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

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

values() - Static method in enum openllet.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 openllet.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

W

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

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

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

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

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

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

_

_logger - Static variable in class openllet.owlapi.explanation.GlassBoxExplanation

B C D E G I K M O P R S T V W _