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

V

validate() - Method in class org.mindswap.pellet.ABox
Validate all the edges in the ABox nodes.
validate(Model) - Method in class org.mindswap.pellet.jena.OWLSpeciesValidator
 
validate() - Method in class org.mindswap.pellet.jena.PelletInfGraph
Test the consistency of the model.
validate() - Method in class org.mindswap.pellet.jena.PelletMetInfGraph
Test the consistency of the model.
VALIDATE_ABOX - Static variable in class org.mindswap.pellet.PelletOptions
Validate ABox structure during completion (Should be used only for debugging purposes).
VALUE - Static variable in class org.mindswap.pellet.utils.ATermUtils
 
valueDatatype(Node, DependencySet) - Static method in class org.mindswap.pellet.Clash
 
valueDatatype(Node, DependencySet, ATermAppl, ATermAppl) - Static method in class org.mindswap.pellet.Clash
 
valueDatatypeExplanation() - Method in class org.mindswap.pellet.Clash
 
VALUEFUN - Static variable in class org.mindswap.pellet.utils.ATermUtils
 
ValueSpace - Interface in org.mindswap.pellet.datatypes
 
VARFUN - Static variable in class org.mindswap.pellet.utils.ATermUtils
This is used to represent variables in queries
Variable - Class in org.mindswap.pellet.rete
 
Variable(String) - Constructor for class org.mindswap.pellet.rete.Variable
Creates a variable.
Variable - Static variable in class org.mindswap.pellet.swrl.OWLRuleVocabulary
 
vars - Variable in class org.mindswap.pellet.rete.Node
 
verifyABox(String, KnowledgeBase) - Method in class org.mindswap.pellet.KRSSLoader
 
verifyTBox(String, KnowledgeBase) - Method in class org.mindswap.pellet.KRSSLoader
 
VersionInfo - Class in org.mindswap.pellet.utils
 
VersionInfo() - Constructor for class org.mindswap.pellet.utils.VersionInfo
 
visit(ATermAppl) - Method in class org.mindswap.pellet.output.ATermBaseVisitor
 
visit(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
Visit a generic term which may be a class expression, individual or a literal.
visit(OWLClass) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLIndividual) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLObjectProperty) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLDataProperty) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLDataValue) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLDataType) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLAnd) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLOr) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLNot) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLEnumeration) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLObjectSomeRestriction) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLObjectAllRestriction) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLObjectValueRestriction) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLObjectCardinalityRestriction) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLDataCardinalityRestriction) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLEquivalentClassesAxiom) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLDisjointClassesAxiom) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLSubClassAxiom) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLEquivalentPropertiesAxiom) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLSubPropertyAxiom) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLDifferentIndividualsAxiom) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLSameIndividualsAxiom) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLAnnotationProperty) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLAnnotationInstance) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLDataEnumeration) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLDataAllRestriction) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLDataSomeRestriction) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLDataValueRestriction) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLFrame) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLOntology) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLFunctionalPropertyAxiom) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLInverseFunctionalPropertyAxiom) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLTransitivePropertyAxiom) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLSymmetricPropertyAxiom) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLInversePropertyAxiom) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLPropertyDomainAxiom) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLObjectPropertyRangeAxiom) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLDataPropertyRangeAxiom) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLObjectPropertyInstance) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLDataPropertyInstance) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visit(OWLIndividualTypeAssertion) - Method in class org.mindswap.pellet.owlapi.PelletVisitor
 
visitAll(ATermAppl) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitAll(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
Visit the 'all' (allValuesFrom restriction) term.
visitAll(ATermAppl) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 
visitAllfuture(ATermAppl) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitAllfuture(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
 
visitAllfuture(ATermAppl) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 
visitAllpast(ATermAppl) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitAllpast(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
 
visitAllpast(ATermAppl) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 
visitAnd(ATermAppl) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitAnd(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
Visit the 'and' (intersectionOf) term.
visitAnd(ATermAppl) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 
visitAt(ATermAppl) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitAt(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
 
visitAt(ATermAppl) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 
visitCard(ATermAppl) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitCard(ATermAppl) - Method in class org.mindswap.pellet.output.ATermBaseVisitor
 
visitCard(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
Visit the 'card' (minCardinality restriction) term.
visitFuture(ATermAppl) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitFuture(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
 
visitFuture(ATermAppl) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 
visitHasValue(ATermAppl) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitHasValue(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
Visit the hasValue restriction term.
visitHasValue(ATermAppl) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 
visitList(ATermList) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitList(ATermList) - Method in class org.mindswap.pellet.output.ATermBaseVisitor
 
visitList(ATermList) - Method in interface org.mindswap.pellet.output.ATermVisitor
Visit the list structure.
visitList(ATermList) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 
visitLiteral(ATermAppl) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitLiteral(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
Visit the literal term.
visitLiteral(ATermAppl) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 
visitMax(ATermAppl) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitMax(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
Visit the 'max' (maxCardinality restriction) term.
visitMax(ATermAppl) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 
visitMin(ATermAppl) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitMin(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
Visit the 'min' (minCardinality restriction) term.
visitMin(ATermAppl) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 
visitNot(ATermAppl) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitNot(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
Visit the 'not' (complementOf) term.
visitNot(ATermAppl) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 
visitOneOf(ATermAppl) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitOneOf(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
Visit the 'oneOf' term.
visitOneOf(ATermAppl) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 
visitOr(ATermAppl) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitOr(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
Visit the 'or' (unionOf) term.
visitOr(ATermAppl) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 
visitPast(ATermAppl) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitPast(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
 
visitPast(ATermAppl) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 
visitSome(ATermAppl) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitSome(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
Visit the 'some' (someValuesFrom restriction) term.
visitSome(ATermAppl) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 
visitSomefuture(ATermAppl) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitSomefuture(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
 
visitSomefuture(ATermAppl) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 
visitSomepast(ATermAppl) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitSomepast(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
 
visitSomepast(ATermAppl) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 
visitSubClass(ATermAppl) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitSubClass(ATermAppl) - Method in class org.mindswap.pellet.output.ATermBaseVisitor
 
visitSubClass(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
 
visitSubClass(ATermAppl) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 
visitTerm(ATermAppl) - Method in class org.mindswap.pellet.output.ATermBaseRenderer
 
visitTerm(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
Visit a primitive term (with no arguments) that stands for a URI.
visitTerm(ATermAppl) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 
visitValue(ATermAppl) - Method in class org.mindswap.pellet.output.ATermAbstractSyntaxRenderer
 
visitValue(ATermAppl) - Method in interface org.mindswap.pellet.output.ATermVisitor
Visit the nominal term.
visitValue(ATermAppl) - Method in class org.mindswap.pellet.owlapi.ATermConverter
 

A B C D E F G H I J K L M N O P Q R S T U V W X
Copyright © 2007-2009 Natalya Keberle. All Rights Reserved.