Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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
V
VAL
- Static variable in class org.mindswap.pellet.dig.
DIGConstants
validate(RDFModel)
- Method in class com.clarkparsia.pellint.rdfxml.
OWLSyntaxChecker
validate()
- Method in class org.mindswap.pellet.
ABox
Validate all the edges in the ABox nodes.
validate()
- Method in class org.mindswap.pellet.jena.
PelletInfGraph
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).
validLiteral(ATermAppl)
- Method in interface com.clarkparsia.pellet.datatypes.
DatatypeReasoner
Check if a typed literal is valid (i.e., it is in the lexical space for its datatype)
validLiteral(ATermAppl)
- Method in class com.clarkparsia.pellet.datatypes.
DatatypeReasonerImpl
value(OWLDataPropertyExpression, OWLConstant)
- Static method in class com.clarkparsia.owlapi.
OWL
value(OWLObjectPropertyExpression, OWLIndividual)
- Static method in class com.clarkparsia.owlapi.
OWL
value(OWLDataPropertyExpression, OWLLiteral)
- Static method in class com.clarkparsia.owlapiv3.
OWL
value(OWLObjectPropertyExpression, OWLIndividual)
- Static method in class com.clarkparsia.owlapiv3.
OWL
value(ATermAppl)
- Static method in class com.clarkparsia.pellet.utils.
TermFactory
VALUE
- Static variable in class org.mindswap.pellet.dig.
DIGConstants
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
valueIterator()
- Method in interface com.clarkparsia.pellet.datatypes.
DataRange
Get a (possibly infinite) iterator over values in the data range.
valueIterator(Collection<ATermAppl>)
- Method in interface com.clarkparsia.pellet.datatypes.
DatatypeReasoner
Get an iterator for the values of a finite datarange
valueIterator(Collection<ATermAppl>)
- Method in class com.clarkparsia.pellet.datatypes.
DatatypeReasonerImpl
valueIterator()
- Method in class com.clarkparsia.pellet.datatypes.
DataValueEnumeration
valueIterator()
- Method in class com.clarkparsia.pellet.datatypes.
DiscreteInterval
valueIterator()
- Method in class com.clarkparsia.pellet.datatypes.
EmptyDataRange
valueIterator()
- Method in class com.clarkparsia.pellet.datatypes.
FloatingPointInterval
valueIterator()
- Method in class com.clarkparsia.pellet.datatypes.
NegatedDataRange
valueIterator()
- Method in class com.clarkparsia.pellet.datatypes.
OWLRealInterval
valueIterator()
- Method in class com.clarkparsia.pellet.datatypes.
RestrictedFloatingPointDatatype
valueIterator()
- Method in class com.clarkparsia.pellet.datatypes.
RestrictedRealDatatype
valueIterator()
- Method in class com.clarkparsia.pellet.datatypes.types.bool.
RestrictedBooleanDatatype
valueIterator()
- Method in class com.clarkparsia.pellet.datatypes.types.datetime.
RestrictedTimelineDatatype
valueIterator()
- Method in class com.clarkparsia.pellet.datatypes.types.duration.
RestrictedDurationDatatype
valueIterator()
- Method in class com.clarkparsia.pellet.datatypes.types.floating.
RestrictedFloatingPointDatatype
valueIterator()
- Method in class com.clarkparsia.pellet.datatypes.types.real.
ContinuousRealInterval
valueIterator()
- Method in class com.clarkparsia.pellet.datatypes.types.real.
RestrictedRealDatatype
valueIterator()
- Method in class com.clarkparsia.pellet.datatypes.types.text.
RestrictedTextDatatype
valueIterator()
- Method in class com.clarkparsia.pellet.datatypes.types.uri.
RestrictedURIDatatype
valueIterator()
- Method in class com.clarkparsia.pellet.datatypes.
UnionDataRange
valueOf(String)
- Static method in enum com.clarkparsia.pellet.datatypes.
Facet.XSD
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum com.clarkparsia.pellet.datatypes.
IntervalRelations
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum com.clarkparsia.pellet.datatypes.
OWLRealInterval.LineType
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in class com.clarkparsia.pellet.datatypes.types.real.
Rational
valueOf(String)
- Static method in enum com.clarkparsia.pellet.sparqldl.engine.
CoreStrategy
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum com.clarkparsia.pellet.sparqldl.jena.
JenaIOUtils.RDFFormatType
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum com.clarkparsia.pellet.sparqldl.jena.
SparqlDLExecutionFactory.QueryEngineType
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum com.clarkparsia.pellet.sparqldl.model.
Query.VarType
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum com.clarkparsia.pellet.sparqldl.model.
QueryPredicate
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum com.clarkparsia.pellet.vocabulary.
BuiltinNamespace
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum org.mindswap.pellet.
Clash.ClashType
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum org.mindswap.pellet.datatypes.
DatatypeFacet
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum org.mindswap.pellet.jena.
BuiltinTerm
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum org.mindswap.pellet.jena.graph.loader.
SimpleProperty
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum org.mindswap.pellet.jena.
ModelExtractor.StatementType
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum org.mindswap.pellet.
KnowledgeBase.AssertionType
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum org.mindswap.pellet.
KnowledgeBase.ChangeType
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum org.mindswap.pellet.
PelletOptions.InstanceRetrievalMethod
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum org.mindswap.pellet.
PelletOptions.MonitorType
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum org.mindswap.pellet.
PelletOptions.OrderedClassification
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum org.mindswap.pellet.
PelletOptions.UndefinedDatatypeHandling
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum org.mindswap.pellet.
PropertyType
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum org.mindswap.pellet.tableau.completion.queue.
NodeSelector
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum org.mindswap.pellet.utils.
DurationFormat
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum org.mindswap.pellet.utils.
KBOperation
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum org.mindswap.pellet.utils.
PartialOrderRelation
Returns the enum constant of this type with the specified name.
valueOf(String)
- Static method in enum pellet.
PelletCmdOptionArg
Returns the enum constant of this type with the specified name.
values()
- Static method in enum com.clarkparsia.pellet.datatypes.
Facet.XSD
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum com.clarkparsia.pellet.datatypes.
IntervalRelations
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum com.clarkparsia.pellet.datatypes.
OWLRealInterval.LineType
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum com.clarkparsia.pellet.sparqldl.engine.
CoreStrategy
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum com.clarkparsia.pellet.sparqldl.jena.
JenaIOUtils.RDFFormatType
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum com.clarkparsia.pellet.sparqldl.jena.
SparqlDLExecutionFactory.QueryEngineType
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum com.clarkparsia.pellet.sparqldl.model.
Query.VarType
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum com.clarkparsia.pellet.sparqldl.model.
QueryPredicate
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum com.clarkparsia.pellet.vocabulary.
BuiltinNamespace
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum org.mindswap.pellet.
Clash.ClashType
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum org.mindswap.pellet.datatypes.
DatatypeFacet
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum org.mindswap.pellet.jena.
BuiltinTerm
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum org.mindswap.pellet.jena.graph.loader.
SimpleProperty
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum org.mindswap.pellet.jena.
ModelExtractor.StatementType
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum org.mindswap.pellet.
KnowledgeBase.AssertionType
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum org.mindswap.pellet.
KnowledgeBase.ChangeType
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum org.mindswap.pellet.
PelletOptions.InstanceRetrievalMethod
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum org.mindswap.pellet.
PelletOptions.MonitorType
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum org.mindswap.pellet.
PelletOptions.OrderedClassification
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum org.mindswap.pellet.
PelletOptions.UndefinedDatatypeHandling
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum org.mindswap.pellet.
PropertyType
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Method in class org.mindswap.pellet.tableau.cache.
ConceptCacheLRU
values()
- Static method in enum org.mindswap.pellet.tableau.completion.queue.
NodeSelector
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum org.mindswap.pellet.utils.
DurationFormat
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum org.mindswap.pellet.utils.
KBOperation
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum org.mindswap.pellet.utils.
PartialOrderRelation
Returns an array containing the constants of this enum type, in the order they are declared.
values()
- Static method in enum pellet.
PelletCmdOptionArg
Returns an array containing the constants of this enum type, in the order they are declared.
ValueSpace
- Interface in
org.mindswap.pellet.datatypes
var(String)
- Static method in class com.clarkparsia.pellet.utils.
TermFactory
Create a variable temr with the given name.
VARBINDING
- Static variable in class com.clarkparsia.pellet.rules.
ContinuousReteTransformer
VARFUN
- Static variable in class org.mindswap.pellet.utils.
ATermUtils
This is used to represent variables in queries
variable(IRI)
- Static method in class com.clarkparsia.owlapiv3.
SWRL
variable(String)
- Static method in class com.clarkparsia.owlapiv3.
SWRL
Variable
- Static variable in class org.mindswap.pellet.jena.vocabulary.
SWRL
VariableBinding
- Class in
com.clarkparsia.pellet.rules
Title: Variable Binding
VariableBinding(ABox)
- Constructor for class com.clarkparsia.pellet.rules.
VariableBinding
VariableBinding(VariableBinding)
- Constructor for class com.clarkparsia.pellet.rules.
VariableBinding
Shallow copies the binding maps.
VariableUtils
- Class in
com.clarkparsia.pellet.rules
Title: Variable Utilities
VariableUtils()
- Constructor for class com.clarkparsia.pellet.rules.
VariableUtils
vars
- Variable in class com.clarkparsia.pellet.rules.rete.
Node
verifyABox(String, KnowledgeBase)
- Method in class org.mindswap.pellet.
KRSSLoader
verifyTBox(String, KnowledgeBase)
- Method in class org.mindswap.pellet.
KRSSLoader
VERSION
- Static variable in class org.mindswap.pellet.dig.
DIGConstants
VersionInfo
- Class in
org.mindswap.pellet.utils
VersionInfo()
- Constructor for class org.mindswap.pellet.utils.
VersionInfo
visit(OWLSubClassOfAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLEquivalentClassesAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLSameIndividualAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLDisjointClassesAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLClassAssertionAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLDeclarationAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLNegativeObjectPropertyAssertionAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLAsymmetricObjectPropertyAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLReflexiveObjectPropertyAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLDataPropertyDomainAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLObjectPropertyDomainAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLEquivalentObjectPropertiesAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLNegativeDataPropertyAssertionAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLDifferentIndividualsAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLDisjointDataPropertiesAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLDisjointObjectPropertiesAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLObjectPropertyRangeAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLObjectPropertyAssertionAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLFunctionalObjectPropertyAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLSubObjectPropertyOfAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLDisjointUnionAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLSymmetricObjectPropertyAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLDataPropertyRangeAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLFunctionalDataPropertyAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLEquivalentDataPropertiesAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLDataPropertyAssertionAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLTransitiveObjectPropertyAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLIrreflexiveObjectPropertyAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLSubDataPropertyOfAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLInverseFunctionalObjectPropertyAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLSubPropertyChainOfAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLInverseObjectPropertiesAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLHasKeyAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLDatatypeDefinitionAxiom)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(SWRLRule)
- Method in class com.clarkparsia.modularity.
EntailmentChecker
visit(OWLSubClassOfAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLNegativeObjectPropertyAssertionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLAsymmetricObjectPropertyAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLReflexiveObjectPropertyAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLDisjointClassesAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLDataPropertyDomainAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLObjectPropertyDomainAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLEquivalentObjectPropertiesAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLNegativeDataPropertyAssertionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLDifferentIndividualsAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLDisjointDataPropertiesAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLDisjointObjectPropertiesAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLObjectPropertyRangeAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLObjectPropertyAssertionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLFunctionalObjectPropertyAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLSubObjectPropertyOfAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLDisjointUnionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLDatatypeDefinitionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLDeclarationAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLSymmetricObjectPropertyAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLDataPropertyRangeAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLFunctionalDataPropertyAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLEquivalentDataPropertiesAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLClassAssertionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLEquivalentClassesAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLDataPropertyAssertionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLTransitiveObjectPropertyAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLIrreflexiveObjectPropertyAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLSubDataPropertyOfAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLInverseFunctionalObjectPropertyAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLHasKeyAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLSameIndividualAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLSubPropertyChainOfAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLInverseObjectPropertiesAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(SWRLRule)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLAnnotationAssertionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLAnnotationPropertyDomainAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLAnnotationPropertyRangeAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLSubAnnotationPropertyOfAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentChecker
visit(OWLClassAssertionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentQueryVisitor
visit(OWLDataPropertyAssertionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentQueryVisitor
visit(OWLDifferentIndividualsAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentQueryVisitor
visit(OWLNegativeDataPropertyAssertionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentQueryVisitor
visit(OWLNegativeObjectPropertyAssertionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentQueryVisitor
visit(OWLObjectPropertyAssertionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentQueryVisitor
visit(OWLSameIndividualAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
EntailmentQueryVisitor
visit(OWLClass)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLAnnotationProperty)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLAnonymousIndividual)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLNamedIndividual)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLObjectProperty)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLObjectInverseOf)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDataProperty)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLLiteral)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDatatype)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLObjectIntersectionOf)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLObjectUnionOf)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLObjectComplementOf)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLObjectOneOf)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLObjectSomeValuesFrom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLObjectAllValuesFrom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLObjectHasValue)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLObjectExactCardinality)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLObjectMaxCardinality)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLObjectMinCardinality)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDataExactCardinality)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDataMaxCardinality)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDataMinCardinality)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLEquivalentClassesAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDisjointClassesAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLSubClassOfAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLEquivalentObjectPropertiesAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLEquivalentDataPropertiesAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDifferentIndividualsAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLSameIndividualAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLHasKeyAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDataOneOf)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDataAllValuesFrom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDataSomeValuesFrom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDataHasValue)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLOntology)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLObjectHasSelf)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDisjointObjectPropertiesAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDisjointDataPropertiesAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLSubPropertyChainOfAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDisjointUnionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDataComplementOf)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDataIntersectionOf)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDatatypeRestriction)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDataUnionOf)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLAsymmetricObjectPropertyAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLReflexiveObjectPropertyAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLFunctionalObjectPropertyAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLNegativeObjectPropertyAssertionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDataPropertyDomainAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLObjectPropertyDomainAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLNegativeDataPropertyAssertionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLObjectPropertyRangeAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLObjectPropertyAssertionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLSubObjectPropertyOfAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDatatypeDefinitionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDeclarationAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLSymmetricObjectPropertyAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDataPropertyRangeAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLFunctionalDataPropertyAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLClassAssertionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLDataPropertyAssertionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLTransitiveObjectPropertyAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLIrreflexiveObjectPropertyAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLSubDataPropertyOfAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLInverseFunctionalObjectPropertyAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLInverseObjectPropertiesAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLFacetRestriction)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(SWRLRule)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLAnnotation)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(IRI)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLAnnotationAssertionAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLAnnotationPropertyDomainAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLAnnotationPropertyRangeAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(OWLSubAnnotationPropertyOfAxiom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(SWRLClassAtom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(SWRLDataRangeAtom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(SWRLObjectPropertyAtom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(SWRLDataPropertyAtom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(SWRLSameIndividualAtom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(SWRLDifferentIndividualsAtom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(SWRLBuiltInAtom)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(SWRLVariable)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(SWRLIndividualArgument)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(SWRLLiteralArgument)
- Method in class com.clarkparsia.pellet.owlapiv3.
PelletVisitor
visit(BigDecimal[])
- Method in class com.clarkparsia.pellet.rules.builtins.
FunctionApplicationVisitor
visit(BigInteger[])
- Method in class com.clarkparsia.pellet.rules.builtins.
FunctionApplicationVisitor
visit(Double[])
- Method in class com.clarkparsia.pellet.rules.builtins.
FunctionApplicationVisitor
visit(Float[])
- Method in class com.clarkparsia.pellet.rules.builtins.
FunctionApplicationVisitor
visit(BigDecimal[])
- Method in class com.clarkparsia.pellet.rules.builtins.
NumberToLiteralVisitor
visit(BigInteger[])
- Method in class com.clarkparsia.pellet.rules.builtins.
NumberToLiteralVisitor
visit(Double[])
- Method in class com.clarkparsia.pellet.rules.builtins.
NumberToLiteralVisitor
visit(Float[])
- Method in class com.clarkparsia.pellet.rules.builtins.
NumberToLiteralVisitor
visit(BigDecimal[])
- Method in class com.clarkparsia.pellet.rules.builtins.
NumericComparisonVisitor
visit(BigInteger[])
- Method in class com.clarkparsia.pellet.rules.builtins.
NumericComparisonVisitor
visit(Double[])
- Method in class com.clarkparsia.pellet.rules.builtins.
NumericComparisonVisitor
visit(Float[])
- Method in class com.clarkparsia.pellet.rules.builtins.
NumericComparisonVisitor
visit(BigDecimal[])
- Method in interface com.clarkparsia.pellet.rules.builtins.
NumericVisitor
visit(BigInteger[])
- Method in interface com.clarkparsia.pellet.rules.builtins.
NumericVisitor
visit(Double[])
- Method in interface com.clarkparsia.pellet.rules.builtins.
NumericVisitor
visit(Float[])
- Method in interface com.clarkparsia.pellet.rules.builtins.
NumericVisitor
visit(AtomDConstant)
- Method in interface com.clarkparsia.pellet.rules.model.
AtomObjectVisitor
visit(AtomDVariable)
- Method in interface com.clarkparsia.pellet.rules.model.
AtomObjectVisitor
visit(AtomIConstant)
- Method in interface com.clarkparsia.pellet.rules.model.
AtomObjectVisitor
visit(AtomIVariable)
- Method in interface com.clarkparsia.pellet.rules.model.
AtomObjectVisitor
visit(AtomDConstant)
- Method in class com.clarkparsia.pellet.rules.model.
DefaultAtomObjectVisitor
visit(AtomDVariable)
- Method in class com.clarkparsia.pellet.rules.model.
DefaultAtomObjectVisitor
visit(AtomIConstant)
- Method in class com.clarkparsia.pellet.rules.model.
DefaultAtomObjectVisitor
visit(AtomIVariable)
- Method in class com.clarkparsia.pellet.rules.model.
DefaultAtomObjectVisitor
visit(BuiltInAtom)
- Method in class com.clarkparsia.pellet.rules.model.
DefaultRuleAtomVisitor
visit(ClassAtom)
- Method in class com.clarkparsia.pellet.rules.model.
DefaultRuleAtomVisitor
visit(DataRangeAtom)
- Method in class com.clarkparsia.pellet.rules.model.
DefaultRuleAtomVisitor
visit(DatavaluedPropertyAtom)
- Method in class com.clarkparsia.pellet.rules.model.
DefaultRuleAtomVisitor
visit(DifferentIndividualsAtom)
- Method in class com.clarkparsia.pellet.rules.model.
DefaultRuleAtomVisitor
visit(IndividualPropertyAtom)
- Method in class com.clarkparsia.pellet.rules.model.
DefaultRuleAtomVisitor
visit(SameIndividualAtom)
- Method in class com.clarkparsia.pellet.rules.model.
DefaultRuleAtomVisitor
visit(BuiltInAtom)
- Method in interface com.clarkparsia.pellet.rules.model.
RuleAtomVisitor
visit(ClassAtom)
- Method in interface com.clarkparsia.pellet.rules.model.
RuleAtomVisitor
visit(DataRangeAtom)
- Method in interface com.clarkparsia.pellet.rules.model.
RuleAtomVisitor
visit(DatavaluedPropertyAtom)
- Method in interface com.clarkparsia.pellet.rules.model.
RuleAtomVisitor
visit(DifferentIndividualsAtom)
- Method in interface com.clarkparsia.pellet.rules.model.
RuleAtomVisitor
visit(IndividualPropertyAtom)
- Method in interface com.clarkparsia.pellet.rules.model.
RuleAtomVisitor
visit(SameIndividualAtom)
- Method in interface com.clarkparsia.pellet.rules.model.
RuleAtomVisitor
visit(BuiltInAtom)
- Method in class com.clarkparsia.pellet.rules.
RuleAtomAsserter
visit(ClassAtom)
- Method in class com.clarkparsia.pellet.rules.
RuleAtomAsserter
visit(DataRangeAtom)
- Method in class com.clarkparsia.pellet.rules.
RuleAtomAsserter
visit(DatavaluedPropertyAtom)
- Method in class com.clarkparsia.pellet.rules.
RuleAtomAsserter
visit(DifferentIndividualsAtom)
- Method in class com.clarkparsia.pellet.rules.
RuleAtomAsserter
visit(IndividualPropertyAtom)
- Method in class com.clarkparsia.pellet.rules.
RuleAtomAsserter
visit(SameIndividualAtom)
- Method in class com.clarkparsia.pellet.rules.
RuleAtomAsserter
visit(Rule)
- Method in class com.clarkparsia.pellet.rules.
RulesToATermTranslator
visit(BuiltInAtom)
- Method in class com.clarkparsia.pellet.rules.
RulesToATermTranslator
visit(ClassAtom)
- Method in class com.clarkparsia.pellet.rules.
RulesToATermTranslator
visit(DataRangeAtom)
- Method in class com.clarkparsia.pellet.rules.
RulesToATermTranslator
visit(DatavaluedPropertyAtom)
- Method in class com.clarkparsia.pellet.rules.
RulesToATermTranslator
visit(DifferentIndividualsAtom)
- Method in class com.clarkparsia.pellet.rules.
RulesToATermTranslator
visit(IndividualPropertyAtom)
- Method in class com.clarkparsia.pellet.rules.
RulesToATermTranslator
visit(SameIndividualAtom)
- Method in class com.clarkparsia.pellet.rules.
RulesToATermTranslator
visit(AtomDConstant)
- Method in class com.clarkparsia.pellet.rules.
RulesToATermTranslator
visit(AtomDVariable)
- Method in class com.clarkparsia.pellet.rules.
RulesToATermTranslator
visit(AtomIConstant)
- Method in class com.clarkparsia.pellet.rules.
RulesToATermTranslator
visit(AtomIVariable)
- Method in class com.clarkparsia.pellet.rules.
RulesToATermTranslator
visit(OWLEquivalentClassesAxiom)
- Method in class com.clarkparsia.pellint.lintpattern.axiom.
EquivalentToAllValuePattern
visit(OWLEquivalentClassesAxiom)
- Method in class com.clarkparsia.pellint.lintpattern.axiom.
EquivalentToComplementPattern
visit(OWLEquivalentClassesAxiom)
- Method in class com.clarkparsia.pellint.lintpattern.axiom.
EquivalentToMaxCardinalityPattern
visit(OWLEquivalentClassesAxiom)
- Method in class com.clarkparsia.pellint.lintpattern.axiom.
EquivalentToTopPattern
visit(OWLEquivalentClassesAxiom)
- Method in class com.clarkparsia.pellint.lintpattern.axiom.
GCIPattern
visit(OWLSubClassOfAxiom)
- Method in class com.clarkparsia.pellint.lintpattern.axiom.
GCIPattern
visit(OWLDisjointClassesAxiom)
- Method in class com.clarkparsia.pellint.lintpattern.axiom.
LargeCardinalityPattern
visit(OWLDisjointUnionAxiom)
- Method in class com.clarkparsia.pellint.lintpattern.axiom.
LargeCardinalityPattern
visit(OWLEquivalentClassesAxiom)
- Method in class com.clarkparsia.pellint.lintpattern.axiom.
LargeCardinalityPattern
visit(OWLSubClassOfAxiom)
- Method in class com.clarkparsia.pellint.lintpattern.axiom.
LargeCardinalityPattern
visit(OWLDisjointClassesAxiom)
- Method in class com.clarkparsia.pellint.lintpattern.axiom.
LargeDisjunctionPattern
visit(OWLDisjointUnionAxiom)
- Method in class com.clarkparsia.pellint.lintpattern.axiom.
LargeDisjunctionPattern
visit(OWLEquivalentClassesAxiom)
- Method in class com.clarkparsia.pellint.lintpattern.axiom.
LargeDisjunctionPattern
visit(OWLSubClassOfAxiom)
- Method in class com.clarkparsia.pellint.lintpattern.axiom.
LargeDisjunctionPattern
visit(OWLClass)
- Method in class com.clarkparsia.pellint.util.
OWLDeepEntityVisitorAdapter
visit(OWLObjectProperty)
- Method in class com.clarkparsia.pellint.util.
OWLDeepEntityVisitorAdapter
visit(OWLDataProperty)
- Method in class com.clarkparsia.pellint.util.
OWLDeepEntityVisitorAdapter
visit(OWLIndividual)
- Method in class com.clarkparsia.pellint.util.
OWLDeepEntityVisitorAdapter
visit(OWLDatatype)
- Method in class com.clarkparsia.pellint.util.
OWLDeepEntityVisitorAdapter
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(OWLSubClassAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLNegativeObjectPropertyAssertionAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLAntiSymmetricObjectPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLReflexiveObjectPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLDisjointClassesAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLDataPropertyDomainAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLImportsDeclaration)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLAxiomAnnotationAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLObjectPropertyDomainAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLEquivalentObjectPropertiesAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLNegativeDataPropertyAssertionAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLDifferentIndividualsAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLDisjointDataPropertiesAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLDisjointObjectPropertiesAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLObjectPropertyRangeAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLObjectPropertyAssertionAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLFunctionalObjectPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLObjectSubPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLDisjointUnionAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLDeclarationAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLEntityAnnotationAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLOntologyAnnotationAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLSymmetricObjectPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLDataPropertyRangeAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLFunctionalDataPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLEquivalentDataPropertiesAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLClassAssertionAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLEquivalentClassesAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLDataPropertyAssertionAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLTransitiveObjectPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLIrreflexiveObjectPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLDataSubPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLInverseFunctionalObjectPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLSameIndividualsAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLObjectPropertyChainSubPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(OWLInverseObjectPropertiesAxiom)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
visit(SWRLRule)
- Method in class org.mindswap.pellet.owlapi.
EntailmentChecker
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(OWLObjectPropertyInverse)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLDataProperty)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLTypedConstant)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLUntypedConstant)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLDataType)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLObjectIntersectionOf)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLObjectUnionOf)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLObjectComplementOf)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLObjectOneOf)
- 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(OWLObjectExactCardinalityRestriction)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLObjectMaxCardinalityRestriction)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLObjectMinCardinalityRestriction)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLDataExactCardinalityRestriction)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLDataMaxCardinalityRestriction)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLDataMinCardinalityRestriction)
- 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(OWLEquivalentObjectPropertiesAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLEquivalentDataPropertiesAxiom)
- 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(OWLDataOneOf)
- 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(OWLOntology)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLObjectSelfRestriction)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLDisjointObjectPropertiesAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLDisjointDataPropertiesAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLObjectPropertyChainSubPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLDisjointUnionAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLDataComplementOf)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLDataRangeRestriction)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLAntiSymmetricObjectPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLReflexiveObjectPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLFunctionalObjectPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLNegativeObjectPropertyAssertionAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLDataPropertyDomainAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLImportsDeclaration)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLAxiomAnnotationAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLObjectPropertyDomainAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLNegativeDataPropertyAssertionAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLObjectPropertyRangeAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLObjectPropertyAssertionAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLObjectSubPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLDeclarationAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLEntityAnnotationAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLOntologyAnnotationAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLSymmetricObjectPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLDataPropertyRangeAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLFunctionalDataPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLClassAssertionAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLDataPropertyAssertionAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLTransitiveObjectPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLIrreflexiveObjectPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLDataSubPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLInverseFunctionalObjectPropertyAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLInverseObjectPropertiesAxiom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLDataRangeFacetRestriction)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLObjectAnnotation)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(OWLConstantAnnotation)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(SWRLRule)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(SWRLClassAtom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(SWRLDataRangeAtom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(SWRLObjectPropertyAtom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(SWRLDataValuedPropertyAtom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(SWRLSameAsAtom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(SWRLDifferentFromAtom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(SWRLBuiltInAtom)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(SWRLAtomDVariable)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(SWRLAtomIVariable)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(SWRLAtomIndividualObject)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visit(SWRLAtomConstantObject)
- Method in class org.mindswap.pellet.owlapi.
PelletVisitor
visitAll(ATermAppl)
- Method in class com.clarkparsia.pellet.datatypes.
NamedDataRangeExpander
visitAll(ATermAppl)
- Method in class com.clarkparsia.pellet.owlapiv3.
ConceptConverter
visitAll(ATermAppl)
- Method in class org.mindswap.pellet.jena.graph.converter.
ConceptConverter
visitAll(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermAbstractSyntaxRenderer
visitAll(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermManchesterSyntaxRenderer
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.
ConceptConverter
visitAnd(ATermAppl)
- Method in class com.clarkparsia.pellet.datatypes.
NamedDataRangeExpander
visitAnd(ATermAppl)
- Method in class com.clarkparsia.pellet.owlapiv3.
ConceptConverter
visitAnd(ATermAppl)
- Method in class org.mindswap.pellet.jena.graph.converter.
ConceptConverter
visitAnd(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermAbstractSyntaxRenderer
visitAnd(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermManchesterSyntaxRenderer
visitAnd(ATermAppl)
- Method in interface org.mindswap.pellet.output.
ATermVisitor
Visit the 'and' (intersectionOf) term.
visitAnd(ATermAppl)
- Method in class org.mindswap.pellet.owlapi.
ConceptConverter
visitCard(ATermAppl)
- Method in class com.clarkparsia.pellet.datatypes.
NamedDataRangeExpander
visitCard(ATermAppl)
- Method in class com.clarkparsia.pellet.owlapiv3.
ConceptConverter
visitCard(ATermAppl)
- Method in class org.mindswap.pellet.jena.graph.converter.
ConceptConverter
visitCard(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermAbstractSyntaxRenderer
visitCard(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermManchesterSyntaxRenderer
visitCard(ATermAppl)
- Method in interface org.mindswap.pellet.output.
ATermVisitor
Visit the 'card' (minCardinality restriction) term.
visitCard(ATermAppl)
- Method in class org.mindswap.pellet.owlapi.
ConceptConverter
visitHasValue(ATermAppl)
- Method in class com.clarkparsia.pellet.datatypes.
NamedDataRangeExpander
visitHasValue(ATermAppl)
- Method in class com.clarkparsia.pellet.owlapiv3.
ConceptConverter
visitHasValue(ATermAppl)
- Method in class org.mindswap.pellet.jena.graph.converter.
ConceptConverter
visitHasValue(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermAbstractSyntaxRenderer
visitHasValue(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermManchesterSyntaxRenderer
visitHasValue(ATermAppl)
- Method in interface org.mindswap.pellet.output.
ATermVisitor
Visit the hasValue restriction term.
visitHasValue(ATermAppl)
- Method in class org.mindswap.pellet.owlapi.
ConceptConverter
visitInverse(ATermAppl)
- Method in class com.clarkparsia.pellet.datatypes.
NamedDataRangeExpander
visitInverse(ATermAppl)
- Method in class com.clarkparsia.pellet.owlapiv3.
ConceptConverter
visitInverse(ATermAppl)
- Method in class org.mindswap.pellet.jena.graph.converter.
ConceptConverter
visitInverse(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermAbstractSyntaxRenderer
visitInverse(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermManchesterSyntaxRenderer
visitInverse(ATermAppl)
- Method in interface org.mindswap.pellet.output.
ATermVisitor
visitInverse(ATermAppl)
- Method in class org.mindswap.pellet.owlapi.
ConceptConverter
visitList(ATermList)
- Method in class com.clarkparsia.pellet.owlapiv3.
ConceptConverter
visitList(ATermList)
- Method in class org.mindswap.pellet.jena.graph.converter.
ConceptConverter
visitList(ATermList)
- Method in class org.mindswap.pellet.output.
ATermAbstractSyntaxRenderer
visitList(ATermList)
- Method in class org.mindswap.pellet.output.
ATermBaseVisitor
visitList(ATermList, String)
- Method in class org.mindswap.pellet.output.
ATermManchesterSyntaxRenderer
visitList(ATermList)
- Method in interface org.mindswap.pellet.output.
ATermVisitor
Visit the list structure.
visitList(ATermList)
- Method in class org.mindswap.pellet.owlapi.
ConceptConverter
visitLiteral(ATermAppl)
- Method in class com.clarkparsia.pellet.datatypes.
NamedDataRangeExpander
visitLiteral(ATermAppl)
- Method in class com.clarkparsia.pellet.owlapiv3.
ConceptConverter
visitLiteral(ATermAppl)
- Method in class org.mindswap.pellet.jena.graph.converter.
ConceptConverter
visitLiteral(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermAbstractSyntaxRenderer
visitLiteral(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermManchesterSyntaxRenderer
visitLiteral(ATermAppl)
- Method in interface org.mindswap.pellet.output.
ATermVisitor
Visit the literal term.
visitLiteral(ATermAppl)
- Method in class org.mindswap.pellet.owlapi.
ConceptConverter
visitMax(ATermAppl)
- Method in class com.clarkparsia.pellet.datatypes.
NamedDataRangeExpander
visitMax(ATermAppl)
- Method in class com.clarkparsia.pellet.owlapiv3.
ConceptConverter
visitMax(ATermAppl)
- Method in class org.mindswap.pellet.jena.graph.converter.
ConceptConverter
visitMax(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermAbstractSyntaxRenderer
visitMax(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermManchesterSyntaxRenderer
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.
ConceptConverter
visitMin(ATermAppl)
- Method in class com.clarkparsia.pellet.datatypes.
NamedDataRangeExpander
visitMin(ATermAppl)
- Method in class com.clarkparsia.pellet.owlapiv3.
ConceptConverter
visitMin(ATermAppl)
- Method in class org.mindswap.pellet.jena.graph.converter.
ConceptConverter
visitMin(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermAbstractSyntaxRenderer
visitMin(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermManchesterSyntaxRenderer
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.
ConceptConverter
visitNot(ATermAppl)
- Method in class com.clarkparsia.pellet.datatypes.
NamedDataRangeExpander
visitNot(ATermAppl)
- Method in class com.clarkparsia.pellet.owlapiv3.
ConceptConverter
visitNot(ATermAppl)
- Method in class org.mindswap.pellet.jena.graph.converter.
ConceptConverter
visitNot(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermAbstractSyntaxRenderer
visitNot(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermManchesterSyntaxRenderer
visitNot(ATermAppl)
- Method in interface org.mindswap.pellet.output.
ATermVisitor
Visit the 'not' (complementOf) term.
visitNot(ATermAppl)
- Method in class org.mindswap.pellet.owlapi.
ConceptConverter
visitOneOf(ATermAppl)
- Method in class com.clarkparsia.pellet.datatypes.
NamedDataRangeExpander
visitOneOf(ATermAppl)
- Method in class com.clarkparsia.pellet.owlapiv3.
ConceptConverter
visitOneOf(ATermAppl)
- Method in class org.mindswap.pellet.jena.graph.converter.
ConceptConverter
visitOneOf(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermAbstractSyntaxRenderer
visitOneOf(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermManchesterSyntaxRenderer
visitOneOf(ATermAppl)
- Method in interface org.mindswap.pellet.output.
ATermVisitor
Visit the 'oneOf' term.
visitOneOf(ATermAppl)
- Method in class org.mindswap.pellet.owlapi.
ConceptConverter
visitOr(ATermAppl)
- Method in class com.clarkparsia.pellet.datatypes.
NamedDataRangeExpander
visitOr(ATermAppl)
- Method in class com.clarkparsia.pellet.owlapiv3.
ConceptConverter
visitOr(ATermAppl)
- Method in class org.mindswap.pellet.jena.graph.converter.
ConceptConverter
visitOr(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermAbstractSyntaxRenderer
visitOr(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermManchesterSyntaxRenderer
visitOr(ATermAppl)
- Method in interface org.mindswap.pellet.output.
ATermVisitor
Visit the 'or' (unionOf) term.
visitOr(ATermAppl)
- Method in class org.mindswap.pellet.owlapi.
ConceptConverter
visitRestrictedDatatype(ATermAppl)
- Method in class com.clarkparsia.pellet.datatypes.
NamedDataRangeExpander
visitRestrictedDatatype(ATermAppl)
- Method in class com.clarkparsia.pellet.owlapiv3.
ConceptConverter
visitRestrictedDatatype(ATermAppl)
- Method in class org.mindswap.pellet.jena.graph.converter.
ConceptConverter
visitRestrictedDatatype(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermAbstractSyntaxRenderer
visitRestrictedDatatype(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermManchesterSyntaxRenderer
visitRestrictedDatatype(ATermAppl)
- Method in interface org.mindswap.pellet.output.
ATermVisitor
visitRestrictedDatatype(ATermAppl)
- Method in class org.mindswap.pellet.owlapi.
ConceptConverter
visitSelf(ATermAppl)
- Method in class com.clarkparsia.pellet.datatypes.
NamedDataRangeExpander
visitSelf(ATermAppl)
- Method in class com.clarkparsia.pellet.owlapiv3.
ConceptConverter
visitSelf(ATermAppl)
- Method in class org.mindswap.pellet.jena.graph.converter.
ConceptConverter
visitSelf(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermAbstractSyntaxRenderer
visitSelf(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermManchesterSyntaxRenderer
visitSelf(ATermAppl)
- Method in interface org.mindswap.pellet.output.
ATermVisitor
Visit the self restriction term.
visitSelf(ATermAppl)
- Method in class org.mindswap.pellet.owlapi.
ConceptConverter
visitSome(ATermAppl)
- Method in class com.clarkparsia.pellet.datatypes.
NamedDataRangeExpander
visitSome(ATermAppl)
- Method in class com.clarkparsia.pellet.owlapiv3.
ConceptConverter
visitSome(ATermAppl)
- Method in class org.mindswap.pellet.jena.graph.converter.
ConceptConverter
visitSome(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermAbstractSyntaxRenderer
visitSome(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermManchesterSyntaxRenderer
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.
ConceptConverter
visitSubClass(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermAbstractSyntaxRenderer
visitTerm(ATermAppl)
- Method in class com.clarkparsia.pellet.datatypes.
NamedDataRangeExpander
visitTerm(ATermAppl)
- Method in class com.clarkparsia.pellet.owlapiv3.
ConceptConverter
visitTerm(ATermAppl)
- Method in class org.mindswap.pellet.jena.graph.converter.
ConceptConverter
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.
ConceptConverter
visitValue(ATermAppl)
- Method in class com.clarkparsia.pellet.datatypes.
NamedDataRangeExpander
visitValue(ATermAppl)
- Method in class com.clarkparsia.pellet.owlapiv3.
ConceptConverter
visitValue(ATermAppl)
- Method in class org.mindswap.pellet.jena.graph.converter.
ConceptConverter
visitValue(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermAbstractSyntaxRenderer
visitValue(ATermAppl)
- Method in class org.mindswap.pellet.output.
ATermManchesterSyntaxRenderer
visitValue(ATermAppl)
- Method in interface org.mindswap.pellet.output.
ATermVisitor
Visit the nominal term.
visitValue(ATermAppl)
- Method in class org.mindswap.pellet.owlapi.
ConceptConverter
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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
Copyright © 2004 Evren Sirin. All Rights Reserved.