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

A

AbstractOWLListeningReasoner - Class in com.clarkparsia.owlapiv3

AbstractOWLListeningReasoner() - Constructor for class com.clarkparsia.owlapiv3.AbstractOWLListeningReasoner

addAllowedIRI(IRI) - Method in class com.clarkparsia.pellet.owlapiv3.LimitedMapIRIMapper

addAllowedIRI(IRI, IRI) - Method in class com.clarkparsia.pellet.owlapiv3.LimitedMapIRIMapper

addAxiom(OWLAxiom, Set<OWLOntology>, OWLOntologyManager) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

Add the axiom to all the given ontologies.

addAxioms(OWLOntology, Collection<? extends OWLAxiom>) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

addAxioms(OWLOntology, OWLAxiom...) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

all(OWLDataPropertyExpression, OWLDataRange) - Static method in class com.clarkparsia.owlapiv3.OWL

all(OWLObjectPropertyExpression, OWLClassExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

allValuesFrom(OWLObjectPropertyExpression, OWLClassExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

Deprecated.

Use all(OWLObjectPropertyExpression, OWLClassExpression) instead

and(OWLClassExpression...) - Static method in class com.clarkparsia.owlapiv3.OWL

and(Set<? extends OWLClassExpression>) - Static method in class com.clarkparsia.owlapiv3.OWL

annotation(OWLEntity, OWLAnnotation) - Static method in class com.clarkparsia.owlapiv3.OWL

annotation(OWLEntity, IRI, OWLLiteral) - Static method in class com.clarkparsia.owlapiv3.OWL

annotation(OWLEntity, IRI, OWLIndividual) - Static method in class com.clarkparsia.owlapiv3.OWL

AnonymousIndividual() - Static method in class com.clarkparsia.owlapiv3.OWL

AnonymousIndividual(String) - Static method in class com.clarkparsia.owlapiv3.OWL

antecedent(SWRLAtom...) - Static method in class com.clarkparsia.owlapiv3.SWRL

ANY_SIMPLE_TYPE - Static variable in class com.clarkparsia.owlapiv3.XSD

ANY_TYPE - Static variable in class com.clarkparsia.owlapiv3.XSD

ANY_URI - Static variable in class com.clarkparsia.owlapiv3.XSD

applyChanges(List<? extends OWLOntologyChange>) - Method in class com.clarkparsia.pellet.owlapiv3.PelletLoader

Apply the given changes to the Pellet KB.

asymmetric(OWLObjectPropertyExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

atoms(SWRLAtom...) - Static method in class com.clarkparsia.owlapiv3.SWRL

AxiomConverter - Class in com.clarkparsia.pellet.owlapiv3

Title: AxiomConverter

AxiomConverter(PelletReasoner) - Constructor for class com.clarkparsia.pellet.owlapiv3.AxiomConverter

AxiomConverter(KnowledgeBase, OWLDataFactory) - Constructor for class com.clarkparsia.pellet.owlapiv3.AxiomConverter

B

BASE_64_BINARY - Static variable in class com.clarkparsia.owlapiv3.XSD

BOOLEAN - Static variable in class com.clarkparsia.owlapiv3.XSD

bottomDataProperty - Static variable in class com.clarkparsia.owlapiv3.OWL

bottomObjectProperty - Static variable in class com.clarkparsia.owlapiv3.OWL

buffering(BufferingMode) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

buffering(boolean) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

BufferingOntologyChangeListener - Class in com.clarkparsia.owlapiv3

BufferingOntologyChangeListener(Iterable<OWLOntologyID>) - Constructor for class com.clarkparsia.owlapiv3.BufferingOntologyChangeListener

builtIn(SWRLBuiltInsVocabulary, SWRLDArgument...) - Static method in class com.clarkparsia.owlapiv3.SWRL

builtIn(SWRLBuiltInsVocabulary, List<SWRLDArgument>) - Static method in class com.clarkparsia.owlapiv3.SWRL

BYTE - Static variable in class com.clarkparsia.owlapiv3.XSD

C

Class(String) - Static method in class com.clarkparsia.owlapiv3.OWL

Class(IRI) - Static method in class com.clarkparsia.owlapiv3.OWL

classAssertion(OWLIndividual, OWLClassExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

classAtom(OWLClassExpression, SWRLIArgument) - Static method in class com.clarkparsia.owlapiv3.SWRL

clear() - Method in class com.clarkparsia.pellet.owlapiv3.LimitedMapIRIMapper

clear() - Method in class com.clarkparsia.pellet.owlapiv3.OWLAPILoader

clear() - Method in class com.clarkparsia.pellet.owlapiv3.PelletLoader

clear() - Method in class com.clarkparsia.pellet.owlapiv3.PelletVisitor

Clear the visitor cache about simple properties.

clearOWLOntologyManager() - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

com.clarkparsia.owlapiv3 - package com.clarkparsia.owlapiv3

com.clarkparsia.pellet.owlapiv3 - package com.clarkparsia.pellet.owlapiv3

comment(OWLEntity, String) - Static method in class com.clarkparsia.owlapiv3.OWL

complementOf(OWLClassExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

Deprecated.

Use not(OWLClassExpression) instead

ConceptConverter - Class in com.clarkparsia.pellet.owlapiv3

Title:

ConceptConverter(KnowledgeBase, OWLDataFactory) - Constructor for class com.clarkparsia.pellet.owlapiv3.ConceptConverter

config() - Static method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

consequent(SWRLAtom...) - Static method in class com.clarkparsia.owlapiv3.SWRL

constant(boolean) - Static method in class com.clarkparsia.owlapiv3.OWL

Convenience method that obtains a constant typed as an integer.

constant(double) - Static method in class com.clarkparsia.owlapiv3.OWL

Convenience method that obtains a constant typed as an integer.

constant(float) - Static method in class com.clarkparsia.owlapiv3.OWL

Convenience method that obtains a constant typed as an integer.

constant(int) - Static method in class com.clarkparsia.owlapiv3.OWL

Convenience method that obtains a constant typed as an integer.

constant(String) - Static method in class com.clarkparsia.owlapiv3.OWL

constant(String, OWLDatatype) - Static method in class com.clarkparsia.owlapiv3.OWL

constant(String, String) - Static method in class com.clarkparsia.owlapiv3.OWL

constant(boolean) - Static method in class com.clarkparsia.owlapiv3.SWRL

constant(double) - Static method in class com.clarkparsia.owlapiv3.SWRL

constant(float) - Static method in class com.clarkparsia.owlapiv3.SWRL

constant(int) - Static method in class com.clarkparsia.owlapiv3.SWRL

constant(OWLLiteral) - Static method in class com.clarkparsia.owlapiv3.SWRL

constant(String) - Static method in class com.clarkparsia.owlapiv3.SWRL

constant(String, OWLDatatype) - Static method in class com.clarkparsia.owlapiv3.SWRL

constant(String, String) - Static method in class com.clarkparsia.owlapiv3.SWRL

contains(E) - Method in class com.clarkparsia.owlapiv3.ImmutableNode

containsClass(Set<Set<OWLClass>>, OWLClass) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

containsEntity(E) - Method in class com.clarkparsia.owlapiv3.ImmutableNodeSet

containsUnreferencedEntity(OWLOntology, OWLClassExpression) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

Determines if a class description contains any unreferenced entities with respect to the ontology that contains the entailments which are being explained.

convert(ATermAppl) - Method in class com.clarkparsia.pellet.owlapiv3.AxiomConverter

convert(ATermAppl) - Method in class com.clarkparsia.pellet.owlapiv3.ConceptConverter

convertIndividual(ATermAppl) - Method in class com.clarkparsia.pellet.owlapiv3.ConceptConverter

createNonBufferingReasoner(OWLOntology) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory

createNonBufferingReasoner(OWLOntology, OWLReasonerConfiguration) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory

createReasoner(OWLOntology) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

createReasoner(OWLOntology) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory

createReasoner(OWLOntology, OWLReasonerConfiguration) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory

D

dataAnd(OWLDataRange...) - Static method in class com.clarkparsia.owlapiv3.OWL

dataAnd(Set<? extends OWLDataRange>) - Static method in class com.clarkparsia.owlapiv3.OWL

dataNot(OWLDataRange) - Static method in class com.clarkparsia.owlapiv3.OWL

dataOneOf(Set<? extends OWLLiteral>) - Static method in class com.clarkparsia.owlapiv3.OWL

dataOr(OWLDataRange...) - Static method in class com.clarkparsia.owlapiv3.OWL

dataOr(Set<? extends OWLDataRange>) - Static method in class com.clarkparsia.owlapiv3.OWL

DataProperty(String) - Static method in class com.clarkparsia.owlapiv3.OWL

DataProperty(IRI) - Static method in class com.clarkparsia.owlapiv3.OWL

dataRangeAtom(OWLDataRange, SWRLLiteralArgument) - Static method in class com.clarkparsia.owlapiv3.SWRL

Datatype(String) - Static method in class com.clarkparsia.owlapiv3.OWL

Datatype(IRI) - Static method in class com.clarkparsia.owlapiv3.OWL

datatypeDefinition(OWLDatatype, OWLDataRange) - Static method in class com.clarkparsia.owlapiv3.OWL

DATE - Static variable in class com.clarkparsia.owlapiv3.XSD

DATE_TIME - Static variable in class com.clarkparsia.owlapiv3.XSD

declaration(OWLEntity) - Static method in class com.clarkparsia.owlapiv3.OWL

differentFrom(OWLIndividual, OWLIndividual) - Static method in class com.clarkparsia.owlapiv3.OWL

differentFrom(Set<OWLIndividual>) - Static method in class com.clarkparsia.owlapiv3.OWL

differentFrom(SWRLIArgument, SWRLIArgument) - Static method in class com.clarkparsia.owlapiv3.SWRL

disjointClasses(OWLClassExpression, OWLClassExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

disjointClasses(Set<? extends OWLClassExpression>) - Static method in class com.clarkparsia.owlapiv3.OWL

disjointProperties(OWLDataPropertyExpression, OWLDataPropertyExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

disjointProperties(OWLObjectPropertyExpression, OWLObjectPropertyExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

dispose() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

domain(OWLDataPropertyExpression, OWLClassExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

domain(OWLObjectPropertyExpression, OWLClassExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

DOUBLE - Static variable in class com.clarkparsia.owlapiv3.XSD

DURATION - Static variable in class com.clarkparsia.owlapiv3.XSD

E

empty() - Static method in class com.clarkparsia.owlapiv3.ImmutableNodeSet

EntailmentChecker - Class in com.clarkparsia.pellet.owlapiv3

Title:

EntailmentChecker(PelletReasoner) - Constructor for class com.clarkparsia.pellet.owlapiv3.EntailmentChecker

EntailmentQueryVisitor - Class in com.clarkparsia.pellet.owlapiv3

EntailmentQueryVisitor(PelletReasoner) - Constructor for class com.clarkparsia.pellet.owlapiv3.EntailmentQueryVisitor

ENTITIES - Static variable in class com.clarkparsia.owlapiv3.XSD

ENTITY - Static variable in class com.clarkparsia.owlapiv3.XSD

equal(SWRLDArgument, SWRLDArgument) - Static method in class com.clarkparsia.owlapiv3.SWRL

equals(Object) - Method in class com.clarkparsia.owlapiv3.ImmutableNode

equals(Object) - Method in class com.clarkparsia.owlapiv3.ImmutableNodeSet

equivalentClasses(OWLClassExpression, OWLClassExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

equivalentClasses(Set<? extends OWLClassExpression>) - Static method in class com.clarkparsia.owlapiv3.OWL

equivalentDataProperties(OWLDataPropertyExpression, OWLDataPropertyExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

equivalentDataProperties(Set<? extends OWLDataPropertyExpression>) - Static method in class com.clarkparsia.owlapiv3.OWL

equivalentProperties(OWLObjectPropertyExpression, OWLObjectPropertyExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

equivalentProperties(Set<? extends OWLObjectPropertyExpression>) - Static method in class com.clarkparsia.owlapiv3.OWL

exactly(OWLDataProperty, int) - Static method in class com.clarkparsia.owlapiv3.OWL

exactly(OWLDataProperty, int, OWLDataRange) - Static method in class com.clarkparsia.owlapiv3.OWL

exactly(OWLObjectProperty, int) - Static method in class com.clarkparsia.owlapiv3.OWL

exactly(OWLObjectProperty, int, OWLClassExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

F

factory - Static variable in class com.clarkparsia.owlapiv3.OWL

findEntity(String, Set<OWLOntology>) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

Finds an entity (class, individual, object or data property) in the given set of ontologies that has the given local name or URI.

findEntity(String, OWLOntology) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

Finds an entity (class, individual, object or data property) in the given ontology that has the given local name or URI.

findNonEntailments(Set<? extends OWLAxiom>, boolean) - Method in class com.clarkparsia.pellet.owlapiv3.EntailmentChecker

FLOAT - Static variable in class com.clarkparsia.owlapiv3.XSD

flush() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

freshEntityPolicy(FreshEntityPolicy) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

functional(OWLDataPropertyExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

functional(OWLObjectPropertyExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

G

G_DAY - Static variable in class com.clarkparsia.owlapiv3.XSD

G_MONTH - Static variable in class com.clarkparsia.owlapiv3.XSD

G_MONTH_DAY - Static variable in class com.clarkparsia.owlapiv3.XSD

G_YEAR - Static variable in class com.clarkparsia.owlapiv3.XSD

G_YEAR_MONTH - Static variable in class com.clarkparsia.owlapiv3.XSD

getAdditions() - Method in class com.clarkparsia.owlapiv3.BufferingOntologyChangeListener

getAllOntologies() - Method in class com.clarkparsia.pellet.owlapiv3.OWLAPILoader

getAnnotationPropertyValues(OWLNamedIndividual, OWLAnnotationProperty) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getBottomClassNode() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getBottomDataPropertyNode() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getBottomEntity() - Method in class com.clarkparsia.owlapiv3.ImmutableNode

getBottomObjectPropertyNode() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getBufferingMode() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getBufferingMode() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

getDataPropertyDomains(OWLDataProperty, boolean) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getDataPropertyValues(OWLNamedIndividual, OWLDataProperty) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getDifferentIndividuals(OWLNamedIndividual) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getDirectInstances(Taxonomy<OWLClass>, OWLClass) - Static method in class com.clarkparsia.pellet.owlapiv3.OWLClassTreePrinter

Retrieves direct instances of a class from Taxonomy

getDisjointClasses(OWLClassExpression) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getDisjointDataProperties(OWLDataPropertyExpression) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getDisjointObjectProperties(OWLObjectPropertyExpression) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getDocumentIRI(IRI) - Method in class com.clarkparsia.pellet.owlapiv3.LimitedMapIRIMapper

getEntities() - Method in class com.clarkparsia.owlapiv3.ImmutableNode

getEntitiesMinus(E) - Method in class com.clarkparsia.owlapiv3.ImmutableNode

getEntitiesMinusBottom() - Method in class com.clarkparsia.owlapiv3.ImmutableNode

getEntitiesMinusTop() - Method in class com.clarkparsia.owlapiv3.ImmutableNode

getEquivalentClasses(OWLClassExpression) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getEquivalentDataProperties(OWLDataProperty) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getEquivalentObjectProperties(OWLObjectPropertyExpression) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getFlattened() - Method in class com.clarkparsia.owlapiv3.ImmutableNodeSet

getFreshEntityPolicy() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getFreshEntityPolicy() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

getIndividualNodeSetPolicy() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getIndividualNodeSetPolicy() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

getInstance() - Static method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory

Returns a static factory instance that can be used to create reasoners.

getInstances(OWLClassExpression, boolean) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getInverseObjectProperties(OWLObjectPropertyExpression) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getKB() - Method in class com.clarkparsia.pellet.owlapiv3.OWLAPILoader

getKB() - Method in class com.clarkparsia.pellet.owlapiv3.PelletLoader

getKB() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

Return the underlying Pellet knowledge base.

getManager() - Method in class com.clarkparsia.owlapiv3.AbstractOWLListeningReasoner

getManager() - Method in class com.clarkparsia.pellet.owlapiv3.OWLAPILoader

getManager() - Method in class com.clarkparsia.pellet.owlapiv3.PelletLoader

getManager() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getManager() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

getNodes() - Method in class com.clarkparsia.owlapiv3.ImmutableNodeSet

getObjectPropertyDomains(OWLObjectPropertyExpression, boolean) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getObjectPropertyRanges(OWLObjectPropertyExpression, boolean) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getObjectPropertyValues(OWLNamedIndividual, OWLObjectPropertyExpression) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getOntologies() - Method in class com.clarkparsia.pellet.owlapiv3.PelletLoader

getOntology() - Method in class com.clarkparsia.pellet.owlapiv3.OWLAPILoader

getOWLOntologyManager() - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

getPendingAxiomAdditions() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getPendingAxiomRemovals() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getPendingChanges() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getPrecomputableInferenceTypes() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getProcessImports() - Method in class com.clarkparsia.pellet.owlapiv3.PelletLoader

getProgress() - Method in class com.clarkparsia.pellet.owlapiv3.ProgressAdapter

getProgressMonitor() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

getProgressPercent() - Method in class com.clarkparsia.pellet.owlapiv3.ProgressAdapter

getReasoner() - Method in class com.clarkparsia.pellet.owlapiv3.OWLAPILoader

Returns the reasoner created by this loader.

getReasonerName() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getReasonerName() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory

getReasonerVersion() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getRemovals() - Method in class com.clarkparsia.owlapiv3.BufferingOntologyChangeListener

getRepresentativeElement() - Method in class com.clarkparsia.owlapiv3.ImmutableNode

getResult() - Method in class com.clarkparsia.pellet.owlapiv3.ConceptConverter

getRootOntology() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getSameIndividuals(OWLNamedIndividual) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getSignature(OWLAxiom) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

Given an axiom, return its signature.

getSize() - Method in class com.clarkparsia.owlapiv3.ImmutableNode

getSubClasses(OWLClassExpression, boolean) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getSubDataProperties(OWLDataProperty, boolean) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getSubObjectProperties(OWLObjectPropertyExpression, boolean) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getSuperClasses(OWLClassExpression, boolean) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getSuperDataProperties(OWLDataProperty, boolean) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getSuperObjectProperties(OWLObjectPropertyExpression, boolean) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getTimeOut() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getTimeOut() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

getTopClassNode() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getTopDataPropertyNode() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getTopEntity() - Method in class com.clarkparsia.owlapiv3.ImmutableNode

getTopObjectPropertyNode() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getTypes(OWLNamedIndividual, boolean) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getUnsatisfiableClasses() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

getUnsupportedAxioms() - Method in class com.clarkparsia.pellet.owlapiv3.PelletLoader

getUnsupportedAxioms() - Method in class com.clarkparsia.pellet.owlapiv3.PelletVisitor

greaterThan(SWRLDArgument, SWRLDArgument) - Static method in class com.clarkparsia.owlapiv3.SWRL

greaterThanOrEqual(SWRLDArgument, SWRLDArgument) - Static method in class com.clarkparsia.owlapiv3.SWRL

H

hashCode() - Method in class com.clarkparsia.owlapiv3.ImmutableNode

hashCode() - Method in class com.clarkparsia.owlapiv3.ImmutableNodeSet

HEX_BINARY - Static variable in class com.clarkparsia.owlapiv3.XSD

I

ID - Static variable in class com.clarkparsia.owlapiv3.XSD

IDREF - Static variable in class com.clarkparsia.owlapiv3.XSD

IDREFS - Static variable in class com.clarkparsia.owlapiv3.XSD

ImmutableNode<E extends org.semanticweb.owlapi.model.OWLObject> - Class in com.clarkparsia.owlapiv3

ImmutableNodeSet<E extends org.semanticweb.owlapi.model.OWLObject> - Class in com.clarkparsia.owlapiv3

incrementProgress() - Method in class com.clarkparsia.pellet.owlapiv3.ProgressAdapter

Individual(String) - Static method in class com.clarkparsia.owlapiv3.OWL

Individual(IRI) - Static method in class com.clarkparsia.owlapiv3.OWL

individual(OWLIndividual) - Static method in class com.clarkparsia.owlapiv3.SWRL

individual(String) - Static method in class com.clarkparsia.owlapiv3.SWRL

individualNodeSetPolicy(IndividualNodeSetPolicy) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

INT - Static variable in class com.clarkparsia.owlapiv3.XSD

INTEGER - Static variable in class com.clarkparsia.owlapiv3.XSD

interrupt() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

inverse(OWLObjectPropertyExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

inverseFunctional(OWLObjectPropertyExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

inverseProperties(OWLObjectPropertyExpression, OWLObjectPropertyExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

irreflexive(OWLObjectPropertyExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

isBottomNode() - Method in class com.clarkparsia.owlapiv3.ImmutableNode

isBottomSingleton() - Method in class com.clarkparsia.owlapiv3.ImmutableNodeSet

isCanceled() - Method in class com.clarkparsia.pellet.owlapiv3.ProgressAdapter

isChanged() - Method in class com.clarkparsia.owlapiv3.BufferingOntologyChangeListener

isConsistent() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

isEmpty() - Method in class com.clarkparsia.owlapiv3.ImmutableNodeSet

isEntailed(Set<? extends OWLAxiom>) - Method in class com.clarkparsia.pellet.owlapiv3.EntailmentChecker

isEntailed() - Method in class com.clarkparsia.pellet.owlapiv3.EntailmentQueryVisitor

isEntailed(OWLAxiom) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

isEntailed(Set<? extends OWLAxiom>) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

isEntailmentCheckingSupported(AxiomType<?>) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

isListenChanges() - Method in class com.clarkparsia.owlapiv3.AbstractOWLListeningReasoner

isListenChanges() - Method in interface com.clarkparsia.owlapiv3.OWLListeningReasoner

isListenChanges() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

isPrecomputed(InferenceType) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

isReloadRequired() - Method in class com.clarkparsia.pellet.owlapiv3.PelletVisitor

isSatisfiable(OWLClassExpression) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

isSingleton() - Method in class com.clarkparsia.owlapiv3.ImmutableNode

isSingleton() - Method in class com.clarkparsia.owlapiv3.ImmutableNodeSet

isTopNode() - Method in class com.clarkparsia.owlapiv3.ImmutableNode

isTopSingleton() - Method in class com.clarkparsia.owlapiv3.ImmutableNodeSet

iterator() - Method in class com.clarkparsia.owlapiv3.ImmutableNode

iterator() - Method in class com.clarkparsia.owlapiv3.ImmutableNodeSet

L

label(OWLEntity, String) - Static method in class com.clarkparsia.owlapiv3.OWL

LANGUAGE - Static variable in class com.clarkparsia.owlapiv3.XSD

length(int) - Static method in class com.clarkparsia.owlapiv3.OWL

length(OWLLiteral) - Static method in class com.clarkparsia.owlapiv3.OWL

lessThan(SWRLDArgument, SWRLDArgument) - Static method in class com.clarkparsia.owlapiv3.SWRL

lessThanOrEqual(SWRLDArgument, SWRLDArgument) - Static method in class com.clarkparsia.owlapiv3.SWRL

LimitedMapIRIMapper - Class in com.clarkparsia.pellet.owlapiv3

Title: Limited Map IRI Mapper

LimitedMapIRIMapper() - Constructor for class com.clarkparsia.pellet.owlapiv3.LimitedMapIRIMapper

listenChanges(boolean) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

load() - Method in class com.clarkparsia.pellet.owlapiv3.OWLAPILoader

load(Set<OWLOntology>) - Method in class com.clarkparsia.pellet.owlapiv3.PelletLoader

loadAxioms(InputStream) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

Loads the axioms from the given stream

loadImports() - Method in class com.clarkparsia.pellet.owlapiv3.PelletLoader

Deprecated.

Use PelletLoader.getProcessImports() instead

loadOntology(String) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

Loads the ontology with given URI.

loadOntology(InputStream) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

Loads the ontology from the given stream

loadOntology(String, boolean) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

Loads the ontology with given URI and optionally removes all annotations leaving only logical axioms.

loadOntology(InputStream, boolean) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

Loads the ontology with given URI and optionally removes all annotations leaving only logical axioms.

log - Static variable in class com.clarkparsia.pellet.owlapiv3.AxiomConverter

log - Static variable in class com.clarkparsia.pellet.owlapiv3.EntailmentChecker

log - Static variable in class com.clarkparsia.pellet.owlapiv3.PelletLoader

log - Static variable in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

log - Static variable in class com.clarkparsia.pellet.owlapiv3.PelletVisitor

LONG - Static variable in class com.clarkparsia.owlapiv3.XSD

M

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

manager(OWLOntologyManager) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

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

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

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

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

maxExclusive(double) - Static method in class com.clarkparsia.owlapiv3.OWL

maxExclusive(float) - Static method in class com.clarkparsia.owlapiv3.OWL

maxExclusive(int) - Static method in class com.clarkparsia.owlapiv3.OWL

maxExclusive(OWLLiteral) - Static method in class com.clarkparsia.owlapiv3.OWL

maxInclusive(double) - Static method in class com.clarkparsia.owlapiv3.OWL

maxInclusive(float) - Static method in class com.clarkparsia.owlapiv3.OWL

maxInclusive(int) - Static method in class com.clarkparsia.owlapiv3.OWL

maxInclusive(OWLLiteral) - Static method in class com.clarkparsia.owlapiv3.OWL

maxLength(int) - Static method in class com.clarkparsia.owlapiv3.OWL

maxLength(OWLLiteral) - Static method in class com.clarkparsia.owlapiv3.OWL

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

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

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

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

minExclusive(double) - Static method in class com.clarkparsia.owlapiv3.OWL

minExclusive(float) - Static method in class com.clarkparsia.owlapiv3.OWL

minExclusive(int) - Static method in class com.clarkparsia.owlapiv3.OWL

minExclusive(OWLLiteral) - Static method in class com.clarkparsia.owlapiv3.OWL

minInclusive(double) - Static method in class com.clarkparsia.owlapiv3.OWL

minInclusive(float) - Static method in class com.clarkparsia.owlapiv3.OWL

minInclusive(int) - Static method in class com.clarkparsia.owlapiv3.OWL

minInclusive(OWLLiteral) - Static method in class com.clarkparsia.owlapiv3.OWL

minLength(int) - Static method in class com.clarkparsia.owlapiv3.OWL

minLength(OWLLiteral) - Static method in class com.clarkparsia.owlapiv3.OWL

N

NEGATIVE_INTEGER - Static variable in class com.clarkparsia.owlapiv3.XSD

NON_NEGATIVE_INTEGER - Static variable in class com.clarkparsia.owlapiv3.XSD

NON_POSITIVE_INTEGER - Static variable in class com.clarkparsia.owlapiv3.XSD

NORMALIZED_STRING - Static variable in class com.clarkparsia.owlapiv3.XSD

not(OWLClassExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

NOTATION - Static variable in class com.clarkparsia.owlapiv3.XSD

notEqual(SWRLDArgument, SWRLDArgument) - Static method in class com.clarkparsia.owlapiv3.SWRL

Nothing - Static variable in class com.clarkparsia.owlapiv3.OWL

O

objectOneOf(Set<OWLIndividual>) - Static method in class com.clarkparsia.owlapiv3.OWL

ObjectProperty(String) - Static method in class com.clarkparsia.owlapiv3.OWL

ObjectProperty(IRI) - Static method in class com.clarkparsia.owlapiv3.OWL

of(E) - Static method in class com.clarkparsia.owlapiv3.ImmutableNode

of(Set<E>) - Static method in class com.clarkparsia.owlapiv3.ImmutableNode

of(Node<E>) - Static method in class com.clarkparsia.owlapiv3.ImmutableNodeSet

of(Set<Node<E>>) - Static method in class com.clarkparsia.owlapiv3.ImmutableNodeSet

oneOf(OWLLiteral...) - Static method in class com.clarkparsia.owlapiv3.OWL

oneOf(OWLIndividual...) - Static method in class com.clarkparsia.owlapiv3.OWL

only(OWLDataPropertyExpression, OWLDataRange) - Static method in class com.clarkparsia.owlapiv3.OWL

only(OWLObjectPropertyExpression, OWLClassExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

ontologiesChanged(List<? extends OWLOntologyChange>) - Method in class com.clarkparsia.owlapiv3.BufferingOntologyChangeListener

ontologiesChanged(List<? extends OWLOntologyChange>) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

Ontology(Collection<? extends OWLAxiom>) - Static method in class com.clarkparsia.owlapiv3.OWL

Ontology(Collection<? extends OWLAxiom>, IRI) - Static method in class com.clarkparsia.owlapiv3.OWL

Ontology(OWLAxiom...) - Static method in class com.clarkparsia.owlapiv3.OWL

OntologyUtils - Class in com.clarkparsia.owlapiv3

Title:

OntologyUtils() - Constructor for class com.clarkparsia.owlapiv3.OntologyUtils

or(OWLClassExpression...) - Static method in class com.clarkparsia.owlapiv3.OWL

or(Set<? extends OWLClassExpression>) - Static method in class com.clarkparsia.owlapiv3.OWL

OWL - Class in com.clarkparsia.owlapiv3

Title:

OWL() - Constructor for class com.clarkparsia.owlapiv3.OWL

OWLAPILoader - Class in com.clarkparsia.pellet.owlapiv3

Title:

OWLAPILoader() - Constructor for class com.clarkparsia.pellet.owlapiv3.OWLAPILoader

OWLClassTreePrinter - Class in com.clarkparsia.pellet.owlapiv3

TaxonomyPrinter for Taxonomies of OWLClasses (Taxonomy)

OWLClassTreePrinter() - Constructor for class com.clarkparsia.pellet.owlapiv3.OWLClassTreePrinter

OWLListeningReasoner - Interface in com.clarkparsia.owlapiv3

P

parse(String...) - Method in class com.clarkparsia.pellet.owlapiv3.OWLAPILoader

parseFile(String) - Method in class com.clarkparsia.pellet.owlapiv3.OWLAPILoader

PelletLoader - Class in com.clarkparsia.pellet.owlapiv3

Title:

PelletLoader(KnowledgeBase) - Constructor for class com.clarkparsia.pellet.owlapiv3.PelletLoader

PelletReasoner - Class in com.clarkparsia.pellet.owlapiv3

PelletReasoner(OWLOntology, PelletReasonerConfiguration) - Constructor for class com.clarkparsia.pellet.owlapiv3.PelletReasoner

Create a reasoner for the given ontology and configuration.

PelletReasonerConfiguration - Class in com.clarkparsia.pellet.owlapiv3

PelletReasonerConfiguration() - Constructor for class com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

PelletReasonerConfiguration(OWLReasonerConfiguration) - Constructor for class com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

PelletReasonerFactory - Class in com.clarkparsia.pellet.owlapiv3

Title:

PelletReasonerFactory() - Constructor for class com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory

PelletVisitor - Class in com.clarkparsia.pellet.owlapiv3

Title:

PelletVisitor(KnowledgeBase) - Constructor for class com.clarkparsia.pellet.owlapiv3.PelletVisitor

POSITIVE_INTEGER - Static variable in class com.clarkparsia.owlapiv3.XSD

precomputeInferences(InferenceType...) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

prepareReasoner() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

printAxioms(Collection<? extends OWLAxiom>) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

Prints a set of axioms to console

printNode(Set<OWLClass>) - Method in class com.clarkparsia.pellet.owlapiv3.OWLClassTreePrinter

printOntology(OWLOntology) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

Prints an ontology to console

printURI(PrintWriter, OWLClass) - Method in class com.clarkparsia.pellet.owlapiv3.OWLClassTreePrinter

processChanges(List<? extends OWLOntologyChange>) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

Process all the given changes in an incremental fashion.

ProgressAdapter - Class in com.clarkparsia.pellet.owlapiv3

ProgressAdapter(ReasonerProgressMonitor) - Constructor for class com.clarkparsia.pellet.owlapiv3.ProgressAdapter

progressMonitor(ReasonerProgressMonitor) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

propertyAssertion(OWLIndividual, OWLDataPropertyExpression, OWLLiteral) - Static method in class com.clarkparsia.owlapiv3.OWL

propertyAssertion(OWLIndividual, OWLObjectPropertyExpression, OWLIndividual) - Static method in class com.clarkparsia.owlapiv3.OWL

propertyAtom(OWLDataPropertyExpression, SWRLIArgument, SWRLDArgument) - Static method in class com.clarkparsia.owlapiv3.SWRL

propertyAtom(OWLObjectPropertyExpression, SWRLIArgument, SWRLIArgument) - Static method in class com.clarkparsia.owlapiv3.SWRL

Q

Q_NAME - Static variable in class com.clarkparsia.owlapiv3.XSD

R

range(OWLDataPropertyExpression, OWLDataRange) - Static method in class com.clarkparsia.owlapiv3.OWL

range(OWLObjectPropertyExpression, OWLClassExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

reflexive(OWLObjectPropertyExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

refresh() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

Clears the reasoner and reloads all the axioms in the imports closure.

reload() - Method in class com.clarkparsia.pellet.owlapiv3.PelletLoader

removeAllAnnotations(OWLOntology, OWLOntologyManager) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

Removes all annotations (non-logical axioms) but not declarations from the ontology causing the ontology to be changed in an unreversible way.

removeAxiom(OWLAxiom, Set<OWLOntology>, OWLOntologyManager) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

Removes an axiom from all the given ontologies that contains the axiom and returns those ontologies.

removeAxioms(OWLOntology, Collection<? extends OWLAxiom>) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

removeAxioms(OWLOntology, OWLAxiom...) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

reset() - Method in class com.clarkparsia.owlapiv3.BufferingOntologyChangeListener

reset() - Method in class com.clarkparsia.pellet.owlapiv3.EntailmentQueryVisitor

reset() - Method in class com.clarkparsia.pellet.owlapiv3.PelletVisitor

Reset the visitor state about created terms.

restrict(OWLDatatype, OWLFacetRestriction...) - Static method in class com.clarkparsia.owlapiv3.OWL

restrict(OWLDatatype, Set<OWLFacetRestriction>) - Static method in class com.clarkparsia.owlapiv3.OWL

result() - Method in class com.clarkparsia.pellet.owlapiv3.PelletVisitor

rule(Set<? extends SWRLAtom>, Set<? extends SWRLAtom>) - Static method in class com.clarkparsia.owlapiv3.SWRL

rule(IRI, Set<? extends SWRLAtom>, Set<? extends SWRLAtom>) - Static method in class com.clarkparsia.owlapiv3.SWRL

rule(IRI, boolean, Set<? extends SWRLAtom>, Set<? extends SWRLAtom>) - Static method in class com.clarkparsia.owlapiv3.SWRL

rule(String, Set<? extends SWRLAtom>, Set<? extends SWRLAtom>) - Static method in class com.clarkparsia.owlapiv3.SWRL

rule(String, boolean, Set<? extends SWRLAtom>, Set<? extends SWRLAtom>) - Static method in class com.clarkparsia.owlapiv3.SWRL

S

sameAs(OWLIndividual, OWLIndividual) - Static method in class com.clarkparsia.owlapiv3.OWL

sameAs(Set<OWLIndividual>) - Static method in class com.clarkparsia.owlapiv3.OWL

sameAs(SWRLIArgument, SWRLIArgument) - Static method in class com.clarkparsia.owlapiv3.SWRL

save(OWLOntology, String) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

self(OWLObjectPropertyExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

setAddAxiom(boolean) - Method in class com.clarkparsia.pellet.owlapiv3.PelletVisitor

setIgnoreImports(boolean) - Method in class com.clarkparsia.pellet.owlapiv3.OWLAPILoader

setKB(KnowledgeBase) - Method in class com.clarkparsia.pellet.owlapiv3.PelletLoader

setListenChanges(boolean) - Method in class com.clarkparsia.owlapiv3.AbstractOWLListeningReasoner

setListenChanges(boolean) - Method in interface com.clarkparsia.owlapiv3.OWLListeningReasoner

setLoadImports(boolean) - Method in class com.clarkparsia.pellet.owlapiv3.PelletLoader

Deprecated.

Use PelletLoader.setProcessImports(boolean) instead

setManager(OWLOntologyManager) - Method in class com.clarkparsia.pellet.owlapiv3.PelletLoader

setProcessImports(boolean) - Method in class com.clarkparsia.pellet.owlapiv3.PelletLoader

setProgress(int) - Method in class com.clarkparsia.pellet.owlapiv3.ProgressAdapter

setProgressLength(int) - Method in class com.clarkparsia.pellet.owlapiv3.ProgressAdapter

setProgressMessage(String) - Method in class com.clarkparsia.pellet.owlapiv3.ProgressAdapter

setProgressTitle(String) - Method in class com.clarkparsia.pellet.owlapiv3.ProgressAdapter

SHORT - Static variable in class com.clarkparsia.owlapiv3.XSD

some(OWLDataPropertyExpression, OWLDataRange) - Static method in class com.clarkparsia.owlapiv3.OWL

some(OWLObjectPropertyExpression, OWLClassExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

STRING - Static variable in class com.clarkparsia.owlapiv3.XSD

subClassOf(OWLClassExpression, OWLClassExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

subPropertyOf(OWLDataPropertyExpression, OWLDataPropertyExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

subPropertyOf(OWLObjectPropertyExpression, OWLObjectPropertyExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

subPropertyOf(OWLObjectPropertyExpression[], OWLObjectPropertyExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

SWRL - Class in com.clarkparsia.owlapiv3

Title:

SWRL() - Constructor for class com.clarkparsia.owlapiv3.SWRL

symmetric(OWLObjectPropertyExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

T

taskFinished() - Method in class com.clarkparsia.pellet.owlapiv3.ProgressAdapter

taskStarted() - Method in class com.clarkparsia.pellet.owlapiv3.ProgressAdapter

term(OWLObject) - Method in class com.clarkparsia.pellet.owlapiv3.PelletLoader

term(OWLObject) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner

Thing - Static variable in class com.clarkparsia.owlapiv3.OWL

TIME - Static variable in class com.clarkparsia.owlapiv3.XSD

timeout(long) - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

TOKEN - Static variable in class com.clarkparsia.owlapiv3.XSD

topDataProperty - Static variable in class com.clarkparsia.owlapiv3.OWL

topObjectProperty - Static variable in class com.clarkparsia.owlapiv3.OWL

toString() - Method in class com.clarkparsia.owlapiv3.ImmutableNode

toString() - Method in class com.clarkparsia.owlapiv3.ImmutableNodeSet

toString() - Method in class com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory

transitive(OWLObjectPropertyExpression) - Static method in class com.clarkparsia.owlapiv3.OWL

U

unload(Set<OWLOntology>) - Method in class com.clarkparsia.pellet.owlapiv3.PelletLoader

UNSIGNED_INT - Static variable in class com.clarkparsia.owlapiv3.XSD

UNSIGNED_LONG - Static variable in class com.clarkparsia.owlapiv3.XSD

UNSUPPORTED_ENTAILMENT - Static variable in class com.clarkparsia.pellet.owlapiv3.EntailmentChecker

updateOntology(OWLOntology, Iterable<? extends OWLAxiom>, Iterable<? extends OWLAxiom>) - Static method in class com.clarkparsia.owlapiv3.OntologyUtils

Update the ontology by adding and/or removing the given set of axioms

V

value(OWLDataPropertyExpression, OWLLiteral) - Static method in class com.clarkparsia.owlapiv3.OWL

value(OWLObjectPropertyExpression, OWLIndividual) - Static method in class com.clarkparsia.owlapiv3.OWL

variable(IRI) - Static method in class com.clarkparsia.owlapiv3.SWRL

variable(String) - Static method in class com.clarkparsia.owlapiv3.SWRL

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

visitAll(ATermAppl) - Method in class com.clarkparsia.pellet.owlapiv3.ConceptConverter

visitAnd(ATermAppl) - Method in class com.clarkparsia.pellet.owlapiv3.ConceptConverter

visitCard(ATermAppl) - Method in class com.clarkparsia.pellet.owlapiv3.ConceptConverter

visitHasValue(ATermAppl) - Method in class com.clarkparsia.pellet.owlapiv3.ConceptConverter

visitInverse(ATermAppl) - Method in class com.clarkparsia.pellet.owlapiv3.ConceptConverter

visitList(ATermList) - Method in class com.clarkparsia.pellet.owlapiv3.ConceptConverter

visitLiteral(ATermAppl) - Method in class com.clarkparsia.pellet.owlapiv3.ConceptConverter

visitMax(ATermAppl) - Method in class com.clarkparsia.pellet.owlapiv3.ConceptConverter

visitMin(ATermAppl) - Method in class com.clarkparsia.pellet.owlapiv3.ConceptConverter

visitNot(ATermAppl) - Method in class com.clarkparsia.pellet.owlapiv3.ConceptConverter

visitOneOf(ATermAppl) - Method in class com.clarkparsia.pellet.owlapiv3.ConceptConverter

visitOr(ATermAppl) - Method in class com.clarkparsia.pellet.owlapiv3.ConceptConverter

visitRestrictedDatatype(ATermAppl) - Method in class com.clarkparsia.pellet.owlapiv3.ConceptConverter

visitSelf(ATermAppl) - Method in class com.clarkparsia.pellet.owlapiv3.ConceptConverter

visitSome(ATermAppl) - Method in class com.clarkparsia.pellet.owlapiv3.ConceptConverter

visitTerm(ATermAppl) - Method in class com.clarkparsia.pellet.owlapiv3.ConceptConverter

visitValue(ATermAppl) - Method in class com.clarkparsia.pellet.owlapiv3.ConceptConverter

X

XSD - Class in com.clarkparsia.owlapiv3

Title:

XSD() - Constructor for class com.clarkparsia.owlapiv3.XSD

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