A C D E F G I M N O P R S U V

A

accummulateRestrictions(OWLClassExpression, OWLPropertyExpression<?, ?>, Class<? extends OWLRestriction<?, ?, ?>>) - Method in class org.coode.suggestor.util.RestrictionAccumulator

addSanctionRule(FillerSanctionRule) - Method in interface org.coode.suggestor.api.FillerSuggestor

Add a FillerSanctionRule to the end of the rules used for sanctioning

addSanctionRule(PropertySanctionRule) - Method in interface org.coode.suggestor.api.PropertySuggestor

Add a PropertySanctionRule to the end of the rules used for sanctioning

C

CheckSubsSanctionRule - Class in org.coode.suggestor.impl

Looks at the direct subclasses to determine which properties are used as they may be considered distinguishing features.

CheckSubsSanctionRule() - Constructor for class org.coode.suggestor.impl.CheckSubsSanctionRule

CheckSubsSanctionRule - Class in org.coode.suggestor.knowledgeexplorationimpl

Looks at the direct subclasses to determine which properties are used as they may be considered distinguishing features.

CheckSubsSanctionRule() - Constructor for class org.coode.suggestor.knowledgeexplorationimpl.CheckSubsSanctionRule

CheckSubsStructureSanctionRule - Class in org.coode.suggestor.impl

Looks at the direct subclasses to determine which properties are restricted.

CheckSubsStructureSanctionRule() - Constructor for class org.coode.suggestor.impl.CheckSubsStructureSanctionRule

CheckSubsStructureSanctionRule - Class in org.coode.suggestor.knowledgeexplorationimpl

Looks at the direct subclasses to determine which properties are restricted.

CheckSubsStructureSanctionRule() - Constructor for class org.coode.suggestor.knowledgeexplorationimpl.CheckSubsStructureSanctionRule

containsSubclass(Collection<OWLClassExpression>, OWLClassExpression) - Method in class org.coode.suggestor.util.ReasonerHelper

D

DataFillerAccumulator - Class in org.coode.suggestor.util

Get all fillers in restrictions using the given data property.

DataFillerAccumulator(OWLReasoner) - Constructor for class org.coode.suggestor.util.DataFillerAccumulator

E

ExistentialObjectFillerAccumulator - Class in org.coode.suggestor.util

Get all fillers of SomeValueFrom restrictions along the given object property.

ExistentialObjectFillerAccumulator(OWLReasoner) - Constructor for class org.coode.suggestor.util.ExistentialObjectFillerAccumulator

F

FillerSanctionRule - Interface in org.coode.suggestor.api

A pluggable way of determining if a certain filler is "interesting" for a given (class, property) pair

FillerSuggestor - Interface in org.coode.suggestor.api

The FillerSuggestor allows us to explore the relationships between the classes in the ontology.

filterClassExpressions(Set<OWLClassExpression>) - Method in class org.coode.suggestor.util.ReasonerHelper

G

getCandidatePropForRangeSubsumptionCheck(OWLDataRange) - Method in class org.coode.suggestor.util.ReasonerHelper

Find a candidate property for datatype subsumption checking.

getCurrentDataProperties(OWLClassExpression, boolean) - Method in interface org.coode.suggestor.api.PropertySuggestor

getCurrentNamedFillers(OWLClassExpression, OWLObjectPropertyExpression, boolean) - Method in interface org.coode.suggestor.api.FillerSuggestor

getCurrentObjectProperties(OWLClassExpression, boolean) - Method in interface org.coode.suggestor.api.PropertySuggestor

getDatatypesInSignature() - Method in class org.coode.suggestor.util.ReasonerHelper

getEquivalentTypes(OWLDataRange) - Method in class org.coode.suggestor.util.ReasonerHelper

Equivalence between dataranges/types.

getFillerSuggestor() - Method in class org.coode.suggestor.impl.SuggestorFactory

getFillerSuggestor() - Method in class org.coode.suggestor.knowledgeexplorationimpl.SuggestorFactory

getGlobalAssertedRange(OWLObjectPropertyExpression) - Method in class org.coode.suggestor.util.ReasonerHelper

Check the ontologies for range assertions on p and all ancestors of p.

getGlobalAssertedRange(OWLDataProperty) - Method in class org.coode.suggestor.util.ReasonerHelper

Find the asserted ranges on this property and all of its ancestors.

getPossibleDataProperties(OWLClassExpression, OWLDataProperty, boolean) - Method in interface org.coode.suggestor.api.PropertySuggestor

getPossibleNamedFillers(OWLClassExpression, OWLObjectPropertyExpression, OWLClassExpression, boolean) - Method in interface org.coode.suggestor.api.FillerSuggestor

Find subclasses (or descendants) of root for which isPossible() holds.

getPossibleObjectProperties(OWLClassExpression, OWLObjectPropertyExpression, boolean) - Method in interface org.coode.suggestor.api.PropertySuggestor

getPropertySuggestor() - Method in class org.coode.suggestor.impl.SuggestorFactory

getPropertySuggestor() - Method in class org.coode.suggestor.knowledgeexplorationimpl.SuggestorFactory

getReasoner() - Method in interface org.coode.suggestor.api.FillerSuggestor

getReasoner() - Method in interface org.coode.suggestor.api.PropertySuggestor

getReferencedDataProperties() - Method in class org.coode.suggestor.util.ReasonerHelper

getReferencedObjectProperties() - Method in class org.coode.suggestor.util.ReasonerHelper

getRestrictions(OWLClassExpression, OWLPropertyExpression<?, ?>) - Method in class org.coode.suggestor.util.RestrictionAccumulator

getRestrictions(OWLClassExpression, OWLPropertyExpression<?, ?>, Class<T>) - Method in class org.coode.suggestor.util.RestrictionAccumulator

getSanctionedDataProperties(OWLClassExpression, OWLDataProperty, boolean) - Method in interface org.coode.suggestor.api.PropertySuggestor

getSanctionedFillers(OWLClassExpression, OWLObjectPropertyExpression, OWLClassExpression, boolean) - Method in interface org.coode.suggestor.api.FillerSuggestor

Find subclasses (or descendants) of root for which isSanctioned() holds.

getSanctionedObjectProperties(OWLClassExpression, OWLObjectPropertyExpression, boolean) - Method in interface org.coode.suggestor.api.PropertySuggestor

getSubtypes(OWLDataRange) - Method in class org.coode.suggestor.util.ReasonerHelper

Subsumption between dataranges/types.

getVisitor(OWLPropertyExpression<?, ?>, Class<? extends OWLRestriction<?, ?, ?>>) - Method in class org.coode.suggestor.util.DataFillerAccumulator

getVisitor(OWLPropertyExpression<?, ?>, Class<? extends OWLRestriction<?, ?, ?>>) - Method in class org.coode.suggestor.util.ExistentialObjectFillerAccumulator

getVisitor(OWLPropertyExpression<?, ?>, Class<? extends OWLRestriction<?, ?, ?>>) - Method in class org.coode.suggestor.util.NamedEntityFillerAccumulator

getVisitor(OWLPropertyExpression<?, ?>, Class<? extends OWLRestriction<?, ?, ?>>) - Method in class org.coode.suggestor.util.RestrictionAccumulator

I

InRangeFillerSanctionRule - Class in org.coode.suggestor.impl

Checks if the filler is in the asserted range.

InRangeFillerSanctionRule() - Constructor for class org.coode.suggestor.impl.InRangeFillerSanctionRule

IRIMatcher - Class in org.coode.suggestor.impl

IRIMatcher(IRI) - Constructor for class org.coode.suggestor.impl.IRIMatcher

isAncestorOf(OWLClassExpression, OWLClassExpression) - Method in class org.coode.suggestor.util.ReasonerHelper

isCurrent(OWLClassExpression, OWLObjectPropertyExpression, OWLClassExpression) - Method in interface org.coode.suggestor.api.FillerSuggestor

isCurrent(OWLClassExpression, OWLObjectPropertyExpression, OWLClassExpression, boolean) - Method in interface org.coode.suggestor.api.FillerSuggestor

isCurrent(OWLClassExpression, OWLDataProperty, OWLDataRange) - Method in interface org.coode.suggestor.api.FillerSuggestor

isCurrent(OWLClassExpression, OWLDataProperty, OWLDataRange, boolean) - Method in interface org.coode.suggestor.api.FillerSuggestor

isCurrent(OWLClassExpression, OWLObjectPropertyExpression) - Method in interface org.coode.suggestor.api.PropertySuggestor

SubClassOf(c, p some Thing) is entailed

isCurrent(OWLClassExpression, OWLObjectPropertyExpression, boolean) - Method in interface org.coode.suggestor.api.PropertySuggestor

isCurrent(OWLClassExpression, OWLDataProperty) - Method in interface org.coode.suggestor.api.PropertySuggestor

isCurrent(OWLClassExpression, OWLDataProperty, boolean) - Method in interface org.coode.suggestor.api.PropertySuggestor

isDescendantOf(OWLClassExpression, OWLClassExpression) - Method in class org.coode.suggestor.util.ReasonerHelper

isInAssertedRange(OWLObjectPropertyExpression, OWLClassExpression) - Method in class org.coode.suggestor.util.ReasonerHelper

isInAssertedRange(OWLDataProperty, OWLDataRange) - Method in class org.coode.suggestor.util.ReasonerHelper

isLocallyFunctional(OWLClassExpression, OWLObjectPropertyExpression) - Method in class org.coode.suggestor.util.ReasonerHelper

isLocallyFunctional(OWLClassExpression, OWLDataProperty) - Method in class org.coode.suggestor.util.ReasonerHelper

isPossible(OWLClassExpression, OWLObjectPropertyExpression, OWLClassExpression) - Method in interface org.coode.suggestor.api.FillerSuggestor

isPossible(OWLClassExpression, OWLDataProperty, OWLDataRange) - Method in interface org.coode.suggestor.api.FillerSuggestor

isPossible(OWLClassExpression, OWLObjectPropertyExpression) - Method in interface org.coode.suggestor.api.PropertySuggestor

isPossible(OWLClassExpression, OWLDataProperty) - Method in interface org.coode.suggestor.api.PropertySuggestor

isRedundant(OWLClassExpression, OWLObjectPropertyExpression, OWLClassExpression) - Method in interface org.coode.suggestor.api.FillerSuggestor

Roughly speaking, would adding SubClassOf(c, p some f) fail to usefully "specialise" c

isSanctioned(OWLClassExpression, OWLObjectPropertyExpression, OWLClassExpression) - Method in interface org.coode.suggestor.api.FillerSuggestor

isSanctioned(OWLClassExpression, OWLDataProperty, OWLDataRange) - Method in interface org.coode.suggestor.api.FillerSuggestor

isSanctioned(OWLClassExpression, OWLObjectPropertyExpression) - Method in interface org.coode.suggestor.api.PropertySuggestor

Determine if property p is sanctioned for class c by iterating through all of the registered property sanction rules until one is successful or all fail.

isSanctioned(OWLClassExpression, OWLDataProperty) - Method in interface org.coode.suggestor.api.PropertySuggestor

Determine if data property p is sanctioned for class c by iterating through all of the registered property sanction rules until one is successful or all fail.

isSubtype(OWLDataRange, OWLDataRange) - Method in class org.coode.suggestor.util.ReasonerHelper

Subsumption checking between dataranges/types.

M

meetsSanction(OWLClassExpression, OWLObjectPropertyExpression, OWLClassExpression) - Method in interface org.coode.suggestor.api.FillerSanctionRule

meetsSanction(OWLClassExpression, OWLDataProperty, OWLDataRange) - Method in interface org.coode.suggestor.api.FillerSanctionRule

meetsSanction(OWLClassExpression, OWLObjectPropertyExpression) - Method in interface org.coode.suggestor.api.PropertySanctionRule

meetsSanction(OWLClassExpression, OWLDataProperty) - Method in interface org.coode.suggestor.api.PropertySanctionRule

meetsSanction(OWLClassExpression, OWLObjectPropertyExpression) - Method in class org.coode.suggestor.impl.CheckSubsSanctionRule

meetsSanction(OWLClassExpression, OWLDataProperty) - Method in class org.coode.suggestor.impl.CheckSubsSanctionRule

meetsSanction(OWLClassExpression, OWLObjectPropertyExpression) - Method in class org.coode.suggestor.impl.CheckSubsStructureSanctionRule

meetsSanction(OWLClassExpression, OWLDataProperty) - Method in class org.coode.suggestor.impl.CheckSubsStructureSanctionRule

meetsSanction(OWLClassExpression, OWLObjectPropertyExpression, OWLClassExpression) - Method in class org.coode.suggestor.impl.InRangeFillerSanctionRule

meetsSanction(OWLClassExpression, OWLDataProperty, OWLDataRange) - Method in class org.coode.suggestor.impl.InRangeFillerSanctionRule

meetsSanction(OWLClassExpression, OWLObjectPropertyExpression) - Method in class org.coode.suggestor.impl.MinCardinalitySanctionRule

meetsSanction(OWLClassExpression, OWLDataProperty) - Method in class org.coode.suggestor.impl.MinCardinalitySanctionRule

meetsSanction(OWLClassExpression, OWLObjectPropertyExpression) - Method in class org.coode.suggestor.impl.SimpleAnnotationPropertySanctionRule

meetsSanction(OWLClassExpression, OWLDataProperty) - Method in class org.coode.suggestor.impl.SimpleAnnotationPropertySanctionRule

meetsSanction(OWLClassExpression, OWLObjectPropertyExpression) - Method in class org.coode.suggestor.impl.UniversalRestrictionsSanctionRule

meetsSanction(OWLClassExpression, OWLDataProperty) - Method in class org.coode.suggestor.impl.UniversalRestrictionsSanctionRule

meetsSanction(OWLClassExpression, OWLObjectPropertyExpression) - Method in class org.coode.suggestor.knowledgeexplorationimpl.CheckSubsSanctionRule

meetsSanction(OWLClassExpression, OWLDataProperty) - Method in class org.coode.suggestor.knowledgeexplorationimpl.CheckSubsSanctionRule

meetsSanction(OWLClassExpression, OWLObjectPropertyExpression) - Method in class org.coode.suggestor.knowledgeexplorationimpl.CheckSubsStructureSanctionRule

meetsSanction(OWLClassExpression, OWLDataProperty) - Method in class org.coode.suggestor.knowledgeexplorationimpl.CheckSubsStructureSanctionRule

meetsSanction(OWLClassExpression, OWLObjectPropertyExpression) - Method in class org.coode.suggestor.knowledgeexplorationimpl.MinCardinalitySanctionRule

meetsSanction(OWLClassExpression, OWLDataProperty) - Method in class org.coode.suggestor.knowledgeexplorationimpl.MinCardinalitySanctionRule

meetsSanction(OWLClassExpression, OWLObjectPropertyExpression) - Method in class org.coode.suggestor.knowledgeexplorationimpl.SimpleAnnotationPropertySanctionRule

meetsSanction(OWLClassExpression, OWLDataProperty) - Method in class org.coode.suggestor.knowledgeexplorationimpl.SimpleAnnotationPropertySanctionRule

meetsSanction(OWLClassExpression, OWLObjectPropertyExpression) - Method in class org.coode.suggestor.knowledgeexplorationimpl.UniversalRestrictionsSanctionRule

meetsSanction(OWLClassExpression, OWLDataProperty) - Method in class org.coode.suggestor.knowledgeexplorationimpl.UniversalRestrictionsSanctionRule

MinCardinalitySanctionRule - Class in org.coode.suggestor.impl

Check the restrictions on the class for min cardi zeros

MinCardinalitySanctionRule() - Constructor for class org.coode.suggestor.impl.MinCardinalitySanctionRule

MinCardinalitySanctionRule - Class in org.coode.suggestor.knowledgeexplorationimpl

Check the restrictions on the class for min cardi zeros

MinCardinalitySanctionRule() - Constructor for class org.coode.suggestor.knowledgeexplorationimpl.MinCardinalitySanctionRule

N

NamedEntityFillerAccumulator - Class in org.coode.suggestor.util

Includes both named class fillers and individuals

NamedEntityFillerAccumulator(OWLReasoner) - Constructor for class org.coode.suggestor.util.NamedEntityFillerAccumulator

O

org.coode.suggestor.api - package org.coode.suggestor.api

The suggestor is a set of non-standard reasoning queries that support knowledge exploration.

org.coode.suggestor.impl - package org.coode.suggestor.impl

Default implementations of suggestors and several sanction rules.

org.coode.suggestor.knowledgeexplorationimpl - package org.coode.suggestor.knowledgeexplorationimpl

Default implementations of suggestors and several sanction rules.

org.coode.suggestor.util - package org.coode.suggestor.util

Helper methods for reasoner queries and OWL structure traversal.

P

PropertySanctionRule - Interface in org.coode.suggestor.api

A pluggable way of determining if a property is "interesting" for a given class.

PropertySuggestor - Interface in org.coode.suggestor.api

The PropertySuggestor allows us to explore the relationships between the classes and properties in the ontology.

R

r - Variable in class org.coode.suggestor.util.RestrictionAccumulator

ReasonerHelper - Class in org.coode.suggestor.util

Utility methods for common reasoner tasks.

ReasonerHelper(OWLReasoner) - Constructor for class org.coode.suggestor.util.ReasonerHelper

removeSanctionRule(FillerSanctionRule) - Method in interface org.coode.suggestor.api.FillerSuggestor

Remove this FillerSanctionRule from the rules used for sanctioning

removeSanctionRule(PropertySanctionRule) - Method in interface org.coode.suggestor.api.PropertySuggestor

Remove this PropertySanctionRule from the rules used for sanctioning

RestrictionAccumulator - Class in org.coode.suggestor.util

Accumulates all restrictions made on a class and its ancestors along the given property (and its descendants).

RestrictionAccumulator(OWLReasoner) - Constructor for class org.coode.suggestor.util.RestrictionAccumulator

S

setSuggestor(FillerSuggestor) - Method in interface org.coode.suggestor.api.FillerSanctionRule

Called by the suggestor when the rule has been registered (in case the rule requires suggestor methods)

setSuggestor(PropertySuggestor) - Method in interface org.coode.suggestor.api.PropertySanctionRule

Called by the suggestor when the rule has been registered (in case the rule requires suggestor methods)

setSuggestor(PropertySuggestor) - Method in class org.coode.suggestor.impl.CheckSubsSanctionRule

setSuggestor(PropertySuggestor) - Method in class org.coode.suggestor.impl.CheckSubsStructureSanctionRule

setSuggestor(FillerSuggestor) - Method in class org.coode.suggestor.impl.InRangeFillerSanctionRule

setSuggestor(PropertySuggestor) - Method in class org.coode.suggestor.impl.MinCardinalitySanctionRule

setSuggestor(PropertySuggestor) - Method in class org.coode.suggestor.impl.SimpleAnnotationPropertySanctionRule

setSuggestor(PropertySuggestor) - Method in class org.coode.suggestor.impl.UniversalRestrictionsSanctionRule

setSuggestor(PropertySuggestor) - Method in class org.coode.suggestor.knowledgeexplorationimpl.CheckSubsSanctionRule

setSuggestor(PropertySuggestor) - Method in class org.coode.suggestor.knowledgeexplorationimpl.CheckSubsStructureSanctionRule

setSuggestor(PropertySuggestor) - Method in class org.coode.suggestor.knowledgeexplorationimpl.MinCardinalitySanctionRule

setSuggestor(PropertySuggestor) - Method in class org.coode.suggestor.knowledgeexplorationimpl.SimpleAnnotationPropertySanctionRule

setSuggestor(PropertySuggestor) - Method in class org.coode.suggestor.knowledgeexplorationimpl.UniversalRestrictionsSanctionRule

SimpleAnnotationPropertySanctionRule - Class in org.coode.suggestor.impl

Checks the class to see if it has an annotation (specified by the constructor) matching the URI of the property.

SimpleAnnotationPropertySanctionRule(OWLAnnotationProperty, boolean) - Constructor for class org.coode.suggestor.impl.SimpleAnnotationPropertySanctionRule

SimpleAnnotationPropertySanctionRule - Class in org.coode.suggestor.knowledgeexplorationimpl

Checks the class to see if it has an annotation (specified by the constructor) matching the URI of the property.

SimpleAnnotationPropertySanctionRule(OWLAnnotationProperty, boolean) - Constructor for class org.coode.suggestor.knowledgeexplorationimpl.SimpleAnnotationPropertySanctionRule

SuggestorFactory - Class in org.coode.suggestor.impl

Implementation binding.

SuggestorFactory(OWLReasoner) - Constructor for class org.coode.suggestor.impl.SuggestorFactory

SuggestorFactory - Class in org.coode.suggestor.knowledgeexplorationimpl

Implementation binding.

SuggestorFactory(OWLKnowledgeExplorerReasoner) - Constructor for class org.coode.suggestor.knowledgeexplorationimpl.SuggestorFactory

U

UniversalRestrictionsSanctionRule - Class in org.coode.suggestor.impl

Check the restrictions on the class for universals

UniversalRestrictionsSanctionRule() - Constructor for class org.coode.suggestor.impl.UniversalRestrictionsSanctionRule

UniversalRestrictionsSanctionRule - Class in org.coode.suggestor.knowledgeexplorationimpl

Check the restrictions on the class for universals

UniversalRestrictionsSanctionRule() - Constructor for class org.coode.suggestor.knowledgeexplorationimpl.UniversalRestrictionsSanctionRule

V

visit(IRI) - Method in class org.coode.suggestor.impl.IRIMatcher

visit(OWLAnonymousIndividual) - Method in class org.coode.suggestor.impl.IRIMatcher

visit(OWLLiteral) - Method in class org.coode.suggestor.impl.IRIMatcher

A C D E F G I M N O P R S U V