A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

M

main(String[]) - Static method in class org.mindswap.pellet.utils.NumberUtils

main(String[]) - Static method in class pellet.Pellet

main(String[]) - Static method in class pellet.PelletClassify

main(String[]) - Static method in class pellet.PelletConsistency

main(String[]) - Static method in class pellet.PelletDIG

main(String[]) - Static method in class pellet.PelletEntailment

main(String[]) - Static method in class pellet.PelletExplain

main(String[]) - Static method in class pellet.PelletExtractInferences

main(String[]) - Static method in class pellet.PelletModularity

main(String[]) - Static method in class pellet.PelletQuery

main(String[]) - Static method in class pellet.PelletRealize

main(String[]) - Static method in class pellet.PelletTransTree

main(String[]) - Static method in class pellet.PelletUnsatisfiable

main(String[]) - Static method in class pellet.Pellint

MAINTAIN_COMPLETION_QUEUE - Static variable in class org.mindswap.pellet.PelletOptions

Flag if the completion queue should be maintained through incremental deletions.

mainTimer - Variable in class org.mindswap.pellet.utils.Timers

make() - Method in class com.clarkparsia.pellint.model.LintFactory

makeAllDifferent(ATermList) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeAllValues(ATerm, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeAnd(ATerm, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeAnd(ATermList) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeAnon(int) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeAnonNominal(int) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeAntisymmetric(ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

Deprecated. Use ATermUtils.makeAsymmetric(ATerm)

makeAsymmetric(ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeATerm(RDFNode) - Static method in class org.mindswap.pellet.jena.JenaUtils

makeATerm(Node) - Static method in class org.mindswap.pellet.jena.JenaUtils

makeBnode(String) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeBuiltinAtom(ATermAppl[]) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeCard(ATerm, int, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeComplement(ATerm, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeDifferent(ATerm, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeDisjoint(ATerm, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeDisjointProperties(ATermList) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeDisjointProperty(ATerm, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeDisjoints(ATermList) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeDisplayCard(ATerm, int, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeDisplayMax(ATerm, int, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeDisplayMin(ATerm, int, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeDomain(ATerm, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeEqClasses(ATerm, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeEqProp(ATerm, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeExactCard(ATerm, int, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeExactCard(ATerm, ATermInt, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeFunctional(ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeGraphLiteral(ATermAppl) - Static method in class org.mindswap.pellet.jena.JenaUtils

makeGraphNode(ATermAppl) - Static method in class org.mindswap.pellet.jena.JenaUtils

makeGraphResource(ATermAppl) - Static method in class org.mindswap.pellet.jena.JenaUtils

makeHasValue(ATerm, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeIdentityMap() - Static method in class com.clarkparsia.pellet.utils.CollectionUtils

makeIdentityMap(int) - Static method in class com.clarkparsia.pellet.utils.CollectionUtils

makeIdentityMap(Map<? extends K, ? extends V>) - Static method in class com.clarkparsia.pellet.utils.CollectionUtils

makeIdentitySet() - Static method in class com.clarkparsia.pellet.utils.CollectionUtils

makeIdentitySet(int) - Static method in class com.clarkparsia.pellet.utils.CollectionUtils

makeIdentitySet(Collection<? extends T>) - Static method in class com.clarkparsia.pellet.utils.CollectionUtils

makeInv(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeInverseFunctional(ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeInvProp(ATerm, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeIrreflexive(ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeList() - Static method in class com.clarkparsia.pellet.utils.CollectionUtils

makeList(int) - Static method in class com.clarkparsia.pellet.utils.CollectionUtils

makeList(Collection<? extends T>) - Static method in class com.clarkparsia.pellet.utils.CollectionUtils

makeList() - Static method in class com.clarkparsia.pellint.util.CollectionUtil

makeList(ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeList(ATerm, ATermList) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeList(Collection<ATermAppl>) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeList(ATerm[]) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeLiteral(LiteralLabel) - Static method in class org.mindswap.pellet.jena.JenaUtils

makeLiteral(ATermAppl, Model) - Static method in class org.mindswap.pellet.jena.JenaUtils

makeLiteral(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeMap() - Static method in class com.clarkparsia.pellet.utils.CollectionUtils

makeMap(int) - Static method in class com.clarkparsia.pellet.utils.CollectionUtils

makeMap(Map<? extends K, ? extends V>) - Static method in class com.clarkparsia.pellet.utils.CollectionUtils

makeMap() - Static method in class com.clarkparsia.pellint.util.CollectionUtil

makeMax(ATerm, int, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeMax(ATerm, ATermInt, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeMin(ATerm, int, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeMin(ATerm, ATermInt, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeNormalizedMax(ATermAppl, int, ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeNot(ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeOr(ATermAppl, ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeOr(ATermList) - Static method in class org.mindswap.pellet.utils.ATermUtils

makePlainLiteral(String) - Static method in class org.mindswap.pellet.utils.ATermUtils

makePlainLiteral(String, String) - Static method in class org.mindswap.pellet.utils.ATermUtils

makePropAtom(ATermAppl, ATermAppl, ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeQNameProvider(PrefixMapping) - Static method in class org.mindswap.pellet.jena.JenaUtils

makeRange(ATerm, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeRDFNode(ATermAppl, Model) - Static method in class org.mindswap.pellet.jena.JenaUtils

makeReflexive(ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeResource(ATermAppl, Model) - Static method in class org.mindswap.pellet.jena.JenaUtils

makeRuleAtom(ATermAppl[], ATermAppl[]) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeSame(ATerm, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

Deprecated. Use ATermUtils.makeEqClasses(ATerm, ATerm) (for classes) or ATermUtils.makeSameAs(ATerm, ATerm) (for individuals instead

makeSameAs(ATerm, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeSelf(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeSet() - Static method in class com.clarkparsia.pellet.utils.CollectionUtils

makeSet(int) - Static method in class com.clarkparsia.pellet.utils.CollectionUtils

makeSet(Collection<? extends T>) - Static method in class com.clarkparsia.pellet.utils.CollectionUtils

makeSet() - Static method in class com.clarkparsia.pellint.util.CollectionUtil

makeSimplifiedAnd(Collection<ATermAppl>) - Static method in class org.mindswap.pellet.utils.ATermUtils

Creates a simplified and assuming that all the elements have already been normalized.

makeSomeValues(ATerm, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeSub(ATerm, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeSubProp(ATerm, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeSymmetric(ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeTermAppl(String) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeTermAppl(AFun, ATerm[]) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeTransitive(ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeTypeAtom(ATermAppl, ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeTypedLiteral(String, String) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeValue(ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeVar(String) - Static method in class org.mindswap.pellet.utils.ATermUtils

makeVar(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

MALFORMED_KB_URI - Static variable in class org.mindswap.pellet.dig.DIGErrors

MALFORMED_REQUEST - Static variable in class org.mindswap.pellet.dig.DIGErrors

manager - Static variable in class com.clarkparsia.owlapi.OWL

markDirty() - Method in class com.clarkparsia.pellet.rules.rete.AlphaNode

Mark any dependent beta nodes as 'dirty' (needing to be reprocessed)

markDirty() - Method in class com.clarkparsia.pellet.rules.rete.BetaNode

match(Fact) - Method in class com.clarkparsia.pellet.rules.rete.AlphaIndex

Return a list of matching alpha nodes for a given pattern

match(List<S>) - Method in class com.clarkparsia.pellet.rules.rete.Index

Return all matches to the key.

match(OWLOntology, OWLAxiom) - Method in class com.clarkparsia.pellint.lintpattern.axiom.AxiomLintPattern

Match an OWLAxiom and returns a Lint for the axiom if found.

match(OWLOntology) - Method in class com.clarkparsia.pellint.lintpattern.ontology.EquivalentAndSubclassAxiomPattern

match(OWLOntology) - Method in class com.clarkparsia.pellint.lintpattern.ontology.ExistentialExplosionPattern

match(OWLOntology) - Method in interface com.clarkparsia.pellint.lintpattern.ontology.OntologyLintPattern

Match an OWLOntology and returns a list of Lint for the OWLOntology.

match(OWLOntology) - Method in class com.clarkparsia.pellint.lintpattern.ontology.TooManyDifferentIndividualsPattern

matches - Static variable in class com.clarkparsia.pellet.rules.builtins.StringOperators

matchingFacts(TermTuple, List<Fact>) - Method in class com.clarkparsia.pellet.rules.rete.BetaNode

max(OWLDataPropertyExpression, int) - Static method in class com.clarkparsia.owlapi.OWL

max(OWLDataPropertyExpression, int, OWLDataRange) - Static method in class com.clarkparsia.owlapi.OWL

max(OWLObjectPropertyExpression, int) - Static method in class com.clarkparsia.owlapi.OWL

max(OWLObjectPropertyExpression, int, OWLDescription) - Static method in class com.clarkparsia.owlapi.OWL

max(ATermAppl, int, ATermAppl) - Static method in class com.clarkparsia.pellet.utils.TermFactory

max() - Method in class org.mindswap.pellet.DependencySet

Return the maximum value in this set.

MAX - Static variable in class org.mindswap.pellet.dig.DIGConstants

MAX - Static variable in class org.mindswap.pellet.Node

MAX - Static variable in class org.mindswap.pellet.utils.ATermUtils

Deprecated. Use the corresponding AFun constant instead

max() - Method in class org.mindswap.pellet.utils.GenericIntervalList

max() - Method in class org.mindswap.pellet.utils.intset.AbstractIntSet

max() - Method in class org.mindswap.pellet.utils.intset.ArrayIntSet

Returns the maximum integer in this set.

max() - Method in class org.mindswap.pellet.utils.intset.BitIntSet

max() - Method in interface org.mindswap.pellet.utils.intset.IntSet

Returns the maximum integer in this set.

max() - Method in class org.mindswap.pellet.utils.intset.ShiftedBitIntSet

max() - Method in class org.mindswap.pellet.utils.intset.TreeIntSet

MAX_ANONYMOUS_CACHE - Static variable in class org.mindswap.pellet.PelletOptions

The maximum number of cached pseudo models for anonymous classes.

MaxBranch - Class in org.mindswap.pellet.tableau.branch

MaxBranch(ABox, CompletionStrategy, Individual, Role, int, ATermAppl, List<NodeMerge>, DependencySet) - Constructor for class org.mindswap.pellet.tableau.branch.MaxBranch

maxCardinality(OWLObjectPropertyExpression, int) - Static method in class com.clarkparsia.owlapi.OWL

Deprecated. Use OWL.max(OWLObjectPropertyExpression, int) instead

maxCardinality(OWLObjectPropertyExpression, int, OWLDescription) - Static method in class com.clarkparsia.owlapi.OWL

Deprecated. Use OWL.max(OWLObjectPropertyExpression, int, OWLDescription) instead

maxCardinality(Node, DependencySet) - Static method in class org.mindswap.pellet.Clash

maxCardinality(Node, DependencySet, ATermAppl, int) - Static method in class org.mindswap.pellet.Clash

maxCardinalityExplanation() - Method in class org.mindswap.pellet.Clash

maxExclusive - Static variable in class org.mindswap.pellet.jena.vocabulary.OWL2

MAXFUN - Static variable in class org.mindswap.pellet.utils.ATermUtils

maxInclusive - Static variable in class org.mindswap.pellet.jena.vocabulary.OWL2

maxLength - Static variable in class org.mindswap.pellet.jena.vocabulary.OWL2

mb(long) - Static method in class org.mindswap.pellet.utils.MemUtils

member(ATerm, ATermList) - Static method in class org.mindswap.pellet.utils.ATermUtils

members - Static variable in class org.mindswap.pellet.jena.vocabulary.OWL2

MemUtils - Class in org.mindswap.pellet.utils

A simple class to experiment with your JVM's garbage collector and memory sizes for various data types.

MemUtils() - Constructor for class org.mindswap.pellet.utils.MemUtils

merge(TaxonomyNode<T>, TaxonomyNode<T>) - Method in class org.mindswap.pellet.taxonomy.Taxonomy

mergedAt() - Method in class org.mindswap.pellet.Node

MergeDependency - Class in org.mindswap.pellet.tableau.completion.incremental

A dependency for a node merge

MergeDependency(ATermAppl, ATermAppl) - Constructor for class org.mindswap.pellet.tableau.completion.incremental.MergeDependency

Constructor

mergeTo(Node, Node, DependencySet) - Method in class com.clarkparsia.pellet.rules.ContinuousRulesStrategy

mergeTo(Node, Node, DependencySet) - Method in class org.mindswap.pellet.tableau.completion.CompletionStrategy

Merge node y into z.

MESSAGE - Static variable in class org.mindswap.pellet.dig.DIGConstants

min(OWLDataPropertyExpression, int) - Static method in class com.clarkparsia.owlapi.OWL

min(OWLDataPropertyExpression, int, OWLDataRange) - Static method in class com.clarkparsia.owlapi.OWL

min(OWLObjectPropertyExpression, int) - Static method in class com.clarkparsia.owlapi.OWL

min(OWLObjectPropertyExpression, int, OWLDescription) - Static method in class com.clarkparsia.owlapi.OWL

min(ATermAppl, int, ATermAppl) - Static method in class com.clarkparsia.pellet.utils.TermFactory

MIN - Static variable in class org.mindswap.pellet.dig.DIGConstants

MIN - Static variable in class org.mindswap.pellet.Node

MIN - Static variable in class org.mindswap.pellet.utils.ATermUtils

Deprecated. Use the corresponding AFun constant instead

min() - Method in class org.mindswap.pellet.utils.GenericIntervalList

min() - Method in class org.mindswap.pellet.utils.intset.AbstractIntSet

min() - Method in class org.mindswap.pellet.utils.intset.ArrayIntSet

Returns the minimum integer in this set.

min() - Method in class org.mindswap.pellet.utils.intset.BitIntSet

min() - Method in interface org.mindswap.pellet.utils.intset.IntSet

Returns the minimum integer in this set.

min() - Method in class org.mindswap.pellet.utils.intset.ShiftedBitIntSet

min() - Method in class org.mindswap.pellet.utils.intset.TreeIntSet

minCardinality(OWLObjectPropertyExpression, int) - Static method in class com.clarkparsia.owlapi.OWL

Deprecated. Use OWL.min(OWLObjectPropertyExpression, int) instead

minCardinality(OWLObjectPropertyExpression, int, OWLDescription) - Static method in class com.clarkparsia.owlapi.OWL

Deprecated. Use OWL.min(OWLObjectPropertyExpression, int, OWLDescription) instead

minExclusive - Static variable in class org.mindswap.pellet.jena.vocabulary.OWL2

MINFUN - Static variable in class org.mindswap.pellet.utils.ATermUtils

minimize() - Method in class org.mindswap.pellet.utils.fsm.TransitionGraph

minInclusive - Static variable in class org.mindswap.pellet.jena.vocabulary.OWL2

minLength - Static variable in class org.mindswap.pellet.jena.vocabulary.OWL2

minMax(Node, DependencySet) - Static method in class org.mindswap.pellet.Clash

MISS - Static variable in class org.mindswap.pellet.tableau.completion.EmptySHNStrategy

MISSING_URI - Static variable in class org.mindswap.pellet.dig.DIGErrors

missingDatatype(Node, DependencySet) - Static method in class org.mindswap.pellet.Clash

missingDatatype(Node, DependencySet, ATermAppl, ATermAppl) - Static method in class org.mindswap.pellet.Clash

missingDatatypeExplanation() - Method in class org.mindswap.pellet.Clash

mod - Static variable in class com.clarkparsia.pellet.rules.builtins.NumericOperators

ModelExtractor - Class in org.mindswap.pellet.jena

Extract a Jena model that contains the information Pellet inferred.

ModelExtractor() - Constructor for class org.mindswap.pellet.jena.ModelExtractor

Initialize an empty extractor

ModelExtractor(Model) - Constructor for class org.mindswap.pellet.jena.ModelExtractor

Initialize the extractor with a Jena model that is backed by PelletInfGraph.

ModelExtractor(PelletInfGraph) - Constructor for class org.mindswap.pellet.jena.ModelExtractor

Initialize the extractor with a PelletInfGraph

ModelExtractor(KnowledgeBase) - Constructor for class org.mindswap.pellet.jena.ModelExtractor

Initialize the extractor with a reasoner

ModelExtractor.StatementType - Enum in org.mindswap.pellet.jena

Enumeration of types of statements that can be retrieved

ModularityUtils - Class in com.clarkparsia.modularity

ModularityUtils() - Constructor for class com.clarkparsia.modularity.ModularityUtils

ModuleExtractor - Interface in com.clarkparsia.modularity

Title:

ModuleExtractorFactory - Class in com.clarkparsia.modularity

Title:

ModuleExtractorFactory() - Constructor for class com.clarkparsia.modularity.ModuleExtractorFactory

move(Set<State>, Object) - Method in class org.mindswap.pellet.utils.fsm.TransitionGraph

MultiFilterWrapper - Class in com.clarkparsia.pellet.sparqldl.model

Title:

MultiIterator<T> - Class in org.mindswap.pellet.utils.iterator

Title:

MultiIterator(Iterator<T>) - Constructor for class org.mindswap.pellet.utils.iterator.MultiIterator

MultiIterator(Iterator<T>, Iterator<T>) - Constructor for class org.mindswap.pellet.utils.iterator.MultiIterator

MultiListIterator - Class in org.mindswap.pellet.utils.iterator

MultiListIterator(ATermList) - Constructor for class org.mindswap.pellet.utils.iterator.MultiListIterator

MultiMapUtils - Class in com.clarkparsia.pellet.utils

Title:

MultiMapUtils() - Constructor for class com.clarkparsia.pellet.utils.MultiMapUtils

multiply - Static variable in class com.clarkparsia.pellet.rules.builtins.NumericOperators

MultiQueryResults - Class in com.clarkparsia.pellet.sparqldl.model

Title: Result combining more disjoint query results to prevent generating cross-products.

MultiQueryResults(List<ATermAppl>, List<QueryResult>) - Constructor for class com.clarkparsia.pellet.sparqldl.model.MultiQueryResults

MultiQueryResults - Class in org.mindswap.pellet.query.impl

MultiQueryResults(Query, QueryResults[]) - Constructor for class org.mindswap.pellet.query.impl.MultiQueryResults

MultiValueMap<K,V> - Class in org.mindswap.pellet.utils

Title:

MultiValueMap() - Constructor for class org.mindswap.pellet.utils.MultiValueMap

MultiValueMap(int) - Constructor for class org.mindswap.pellet.utils.MultiValueMap