A B C D E F G H I N O P S T V

A

add(E) - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

addAllNodes(Collection<Node<E>>) - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

Adds a collection of Nodes to this set.

addDifferentEntities(Set<E>) - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

Adds the specified entities as Nodes to this set.

addEntity(E) - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

Adds an entity to this NodeSet by wrapping it in a Node.

addNode(Node<E>) - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

Adds a Node to this set.

addSameEntities(Set<E>) - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

Adds the set of entities as a Node to this set.

B

BOTTOM_CLASS - Static variable in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

BOTTOM_DATA_NODE - Static variable in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

BOTTOM_DATA_PROPERTY - Static variable in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

BOTTOM_NODE - Static variable in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

BOTTOM_OBJECT_NODE - Static variable in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

BOTTOM_OBJECT_PROPERTY - Static variable in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

C

contains(E) - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

containsEntity(E) - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

createNonBufferingReasoner(OWLOntology) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasonerFactory

createNonBufferingReasoner(OWLOntology, OWLReasonerConfiguration) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasonerFactory

createReasoner(OWLOntology) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasonerFactory

createReasoner(OWLOntology, OWLReasonerConfiguration) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasonerFactory

D

DefaultNode<E extends org.semanticweb.owlapi.model.OWLObject> - Class in org.semanticweb.owlapi.reasoner.impl

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 05-Dec-2009

DefaultNode(E) - Constructor for class org.semanticweb.owlapi.reasoner.impl.DefaultNode

DefaultNode(Set<E>) - Constructor for class org.semanticweb.owlapi.reasoner.impl.DefaultNode

DefaultNode() - Constructor for class org.semanticweb.owlapi.reasoner.impl.DefaultNode

DefaultNodeSet<E extends org.semanticweb.owlapi.model.OWLObject> - Class in org.semanticweb.owlapi.reasoner.impl

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 05-Dec-2009

DefaultNodeSet() - Constructor for class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

constructor for an empty node set

DefaultNodeSet(E) - Constructor for class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

DefaultNodeSet(Node<E>) - Constructor for class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

DefaultNodeSet(Set<Node<E>>) - Constructor for class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

dispose() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

dumpClassHierarchy(boolean) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

dumpDataPropertyHierarchy(boolean) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

dumpObjectPropertyHierarchy(boolean) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

E

equals(Object) - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

equals(Object) - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

F

flush() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

Flushes the pending changes from the pending change list.

G

getBottomClassNode() - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getBottomDataPropertyNode() - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getBottomEntity() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

getBottomEntity() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLClassNode

getBottomEntity() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLDataPropertyNode

getBottomEntity() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLDatatypeNode

getBottomEntity() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLNamedIndividualNode

getBottomEntity() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNode

getBottomNode() - Static method in class org.semanticweb.owlapi.reasoner.impl.OWLClassNode

getBottomNode() - Static method in class org.semanticweb.owlapi.reasoner.impl.OWLDataPropertyNode

getBottomNode() - Static method in class org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNode

getBottomObjectPropertyNode() - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getBufferingMode() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

getDataFactory() - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getDataPropertyDomains(OWLDataProperty, boolean) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getDataPropertyValues(OWLNamedIndividual, OWLDataProperty) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

Gets the data property values for the specified individual and data property.

getDifferentIndividuals(OWLNamedIndividual) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getDisjointClasses(OWLClassExpression) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getDisjointDataProperties(OWLDataPropertyExpression) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getDisjointObjectProperties(OWLObjectPropertyExpression) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getEntities() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

getEntitiesMinus(E) - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

getEntitiesMinusBottom() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

getEntitiesMinusTop() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

getEquivalentClasses(OWLClassExpression) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getEquivalentDataProperties(OWLDataProperty) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getEquivalentObjectProperties(OWLObjectPropertyExpression) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getFlattened() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

getFreshEntityPolicy() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

getFreshEntityPolicy() - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getIndividualNodeSetPolicy() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

getIndividualNodeSetPolicy() - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

Gets the IndividualNodeSetPolicy in use by this reasoner.

getInstances(OWLClassExpression, boolean) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getInverseObjectProperties(OWLObjectPropertyExpression) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getNode(E) - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

getNode(Set<E>) - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

getNode(OWLClass) - Method in class org.semanticweb.owlapi.reasoner.impl.OWLClassNodeSet

getNode(Set<OWLClass>) - Method in class org.semanticweb.owlapi.reasoner.impl.OWLClassNodeSet

getNode(OWLDataProperty) - Method in class org.semanticweb.owlapi.reasoner.impl.OWLDataPropertyNodeSet

getNode(Set<OWLDataProperty>) - Method in class org.semanticweb.owlapi.reasoner.impl.OWLDataPropertyNodeSet

getNode(OWLDatatype) - Method in class org.semanticweb.owlapi.reasoner.impl.OWLDatatypeNodeSet

getNode(Set<OWLDatatype>) - Method in class org.semanticweb.owlapi.reasoner.impl.OWLDatatypeNodeSet

getNode(OWLNamedIndividual) - Method in class org.semanticweb.owlapi.reasoner.impl.OWLNamedIndividualNodeSet

getNode(Set<OWLNamedIndividual>) - Method in class org.semanticweb.owlapi.reasoner.impl.OWLNamedIndividualNodeSet

getNode(OWLObjectPropertyExpression) - Method in class org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNodeSet

getNode(Set<OWLObjectPropertyExpression>) - Method in class org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNodeSet

getNodes() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

getObjectPropertyDomains(OWLObjectPropertyExpression, boolean) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getObjectPropertyRanges(OWLObjectPropertyExpression, boolean) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getObjectPropertyValues(OWLNamedIndividual, OWLObjectPropertyExpression) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getOWLClassBottomNode() - Static method in class org.semanticweb.owlapi.reasoner.impl.NodeFactory

getOWLClassNode() - Static method in class org.semanticweb.owlapi.reasoner.impl.NodeFactory

getOWLClassNode(OWLClass) - Static method in class org.semanticweb.owlapi.reasoner.impl.NodeFactory

getOWLClassNode(Set<OWLClass>) - Static method in class org.semanticweb.owlapi.reasoner.impl.NodeFactory

getOWLClassTopNode() - Static method in class org.semanticweb.owlapi.reasoner.impl.NodeFactory

getOWLDataFactory() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

getOWLDataPropertyBottomNode() - Static method in class org.semanticweb.owlapi.reasoner.impl.NodeFactory

getOWLDataPropertyNode() - Static method in class org.semanticweb.owlapi.reasoner.impl.NodeFactory

getOWLDataPropertyNode(OWLDataProperty) - Static method in class org.semanticweb.owlapi.reasoner.impl.NodeFactory

getOWLDataPropertyNode(Set<OWLDataProperty>) - Static method in class org.semanticweb.owlapi.reasoner.impl.NodeFactory

getOWLDataPropertyTopNode() - Static method in class org.semanticweb.owlapi.reasoner.impl.NodeFactory

getOWLNamedIndividualNode() - Static method in class org.semanticweb.owlapi.reasoner.impl.NodeFactory

getOWLNamedIndividualNode(OWLNamedIndividual) - Static method in class org.semanticweb.owlapi.reasoner.impl.NodeFactory

getOWLNamedIndividualNode(Set<OWLNamedIndividual>) - Static method in class org.semanticweb.owlapi.reasoner.impl.NodeFactory

getOWLObjectPropertyBottomNode() - Static method in class org.semanticweb.owlapi.reasoner.impl.NodeFactory

getOWLObjectPropertyNode() - Static method in class org.semanticweb.owlapi.reasoner.impl.NodeFactory

getOWLObjectPropertyNode(OWLObjectPropertyExpression) - Static method in class org.semanticweb.owlapi.reasoner.impl.NodeFactory

getOWLObjectPropertyNode(Set<OWLObjectPropertyExpression>) - Static method in class org.semanticweb.owlapi.reasoner.impl.NodeFactory

getOWLObjectPropertyTopNode() - Static method in class org.semanticweb.owlapi.reasoner.impl.NodeFactory

getPendingAxiomAdditions() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

getPendingAxiomRemovals() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

getPendingChanges() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

getPrecomputableInferenceTypes() - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getReasonerAxioms() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

Gets the axioms that should be currently being reasoned over.

getReasonerConfiguration() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

getReasonerName() - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

Gets the name of this reasoner.

getReasonerName() - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasonerFactory

getReasonerVersion() - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

Gets the version of this reasoner.

getRepresentativeElement() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

getRootOntology() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

getSameIndividuals(OWLNamedIndividual) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getSize() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

getSubClasses(OWLClassExpression, boolean) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getSubDataProperties(OWLDataProperty, boolean) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getSubObjectProperties(OWLObjectPropertyExpression, boolean) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getSuperClasses(OWLClassExpression, boolean) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getSuperDataProperties(OWLDataProperty, boolean) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getSuperObjectProperties(OWLObjectPropertyExpression, boolean) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getTimeOut() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

getTopClassNode() - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getTopDataPropertyNode() - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getTopEntity() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

getTopEntity() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLClassNode

getTopEntity() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLDataPropertyNode

getTopEntity() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLDatatypeNode

getTopEntity() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLNamedIndividualNode

getTopEntity() - Method in class org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNode

getTopNode() - Static method in class org.semanticweb.owlapi.reasoner.impl.OWLClassNode

getTopNode() - Static method in class org.semanticweb.owlapi.reasoner.impl.OWLDataPropertyNode

getTopNode() - Static method in class org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNode

getTopObjectPropertyNode() - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getTypes(OWLNamedIndividual, boolean) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

getUnsatisfiableClasses() - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

H

handleChanges(Set<OWLAxiom>, Set<OWLAxiom>) - Method in class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

Asks the reasoner implementation to handle axiom additions and removals from the imports closure of the root ontology.

handleChanges(Set<OWLAxiom>, Set<OWLAxiom>) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

hashCode() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

hashCode() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

I

interrupt() - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

isBottomNode() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

isBottomSingleton() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

isConsistent() - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

isEmpty() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

isEntailed(OWLAxiom) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

isEntailed(Set<? extends OWLAxiom>) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

isEntailmentCheckingSupported(AxiomType<?>) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

isPrecomputed(InferenceType) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

isSatisfiable(OWLClassExpression) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

isSingleton() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

isSingleton() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

isTopNode() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

isTopSingleton() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

iterator() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

iterator() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

N

NodeFactory - Class in org.semanticweb.owlapi.reasoner.impl

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 05-Dec-2009

NodeFactory() - Constructor for class org.semanticweb.owlapi.reasoner.impl.NodeFactory

O

org.semanticweb.owlapi.reasoner.impl - package org.semanticweb.owlapi.reasoner.impl

org.semanticweb.owlapi.reasoner.structural - package org.semanticweb.owlapi.reasoner.structural

OWLClassNode - Class in org.semanticweb.owlapi.reasoner.impl

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 05-Dec-2009

OWLClassNode(OWLClass) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLClassNode

OWLClassNode(Set<OWLClass>) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLClassNode

OWLClassNode() - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLClassNode

empty constructor

OWLClassNodeSet - Class in org.semanticweb.owlapi.reasoner.impl

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 05-Dec-2009 A node set of OWL classes

OWLClassNodeSet() - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLClassNodeSet

empty set

OWLClassNodeSet(OWLClass) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLClassNodeSet

OWLClassNodeSet(Node<OWLClass>) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLClassNodeSet

OWLClassNodeSet(Set<Node<OWLClass>>) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLClassNodeSet

OWLDataPropertyNode - Class in org.semanticweb.owlapi.reasoner.impl

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 05-Dec-2009

OWLDataPropertyNode() - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLDataPropertyNode

empty node

OWLDataPropertyNode(OWLDataProperty) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLDataPropertyNode

OWLDataPropertyNode(Set<OWLDataProperty>) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLDataPropertyNode

OWLDataPropertyNodeSet - Class in org.semanticweb.owlapi.reasoner.impl

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 05-Dec-2009

OWLDataPropertyNodeSet() - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLDataPropertyNodeSet

empty node

OWLDataPropertyNodeSet(OWLDataProperty) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLDataPropertyNodeSet

OWLDataPropertyNodeSet(Node<OWLDataProperty>) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLDataPropertyNodeSet

OWLDataPropertyNodeSet(Set<Node<OWLDataProperty>>) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLDataPropertyNodeSet

OWLDatatypeNode - Class in org.semanticweb.owlapi.reasoner.impl

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 05-Dec-2009

OWLDatatypeNode() - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLDatatypeNode

OWLDatatypeNode(OWLDatatype) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLDatatypeNode

OWLDatatypeNode(Set<OWLDatatype>) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLDatatypeNode

OWLDatatypeNodeSet - Class in org.semanticweb.owlapi.reasoner.impl

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 05-Jan-2010

OWLDatatypeNodeSet() - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLDatatypeNodeSet

OWLDatatypeNodeSet(OWLDatatype) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLDatatypeNodeSet

OWLDatatypeNodeSet(Node<OWLDatatype>) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLDatatypeNodeSet

OWLDatatypeNodeSet(Set<Node<OWLDatatype>>) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLDatatypeNodeSet

OWLNamedIndividualNode - Class in org.semanticweb.owlapi.reasoner.impl

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 05-Dec-2009

OWLNamedIndividualNode() - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLNamedIndividualNode

OWLNamedIndividualNode(OWLNamedIndividual) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLNamedIndividualNode

OWLNamedIndividualNode(Set<OWLNamedIndividual>) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLNamedIndividualNode

OWLNamedIndividualNodeSet - Class in org.semanticweb.owlapi.reasoner.impl

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 05-Dec-2009

OWLNamedIndividualNodeSet() - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLNamedIndividualNodeSet

OWLNamedIndividualNodeSet(OWLNamedIndividual) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLNamedIndividualNodeSet

OWLNamedIndividualNodeSet(Node<OWLNamedIndividual>) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLNamedIndividualNodeSet

OWLNamedIndividualNodeSet(Set<Node<OWLNamedIndividual>>) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLNamedIndividualNodeSet

OWLObjectPropertyNode - Class in org.semanticweb.owlapi.reasoner.impl

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 05-Dec-2009

OWLObjectPropertyNode() - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNode

OWLObjectPropertyNode(OWLObjectPropertyExpression) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNode

OWLObjectPropertyNode(Set<OWLObjectPropertyExpression>) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNode

OWLObjectPropertyNodeSet - Class in org.semanticweb.owlapi.reasoner.impl

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 05-Dec-2009

OWLObjectPropertyNodeSet() - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNodeSet

OWLObjectPropertyNodeSet(OWLObjectPropertyExpression) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNodeSet

OWLObjectPropertyNodeSet(Node<OWLObjectPropertyExpression>) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNodeSet

OWLObjectPropertyNodeSet(Set<Node<OWLObjectPropertyExpression>>) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNodeSet

OWLReasonerBase - Class in org.semanticweb.owlapi.reasoner.impl

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 01-Aug-2009

OWLReasonerBase(OWLOntology, OWLReasonerConfiguration, BufferingMode) - Constructor for class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

P

pm - Variable in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

precomputeInferences(InferenceType...) - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

prepareReasoner() - Method in class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

S

SatisfiabilityReducer - Class in org.semanticweb.owlapi.reasoner.impl

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 01-Aug-2009

SatisfiabilityReducer(OWLDataFactory) - Constructor for class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

StructuralReasoner - Class in org.semanticweb.owlapi.reasoner.structural

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 04-Dec-2009

StructuralReasoner(OWLOntology, OWLReasonerConfiguration, BufferingMode) - Constructor for class org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

StructuralReasonerFactory - Class in org.semanticweb.owlapi.reasoner.structural

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 25-Jan-2010

StructuralReasonerFactory() - Constructor for class org.semanticweb.owlapi.reasoner.structural.StructuralReasonerFactory

T

TOP_CLASS - Static variable in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

TOP_DATA_NODE - Static variable in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

TOP_DATA_PROPERTY - Static variable in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

TOP_DATATYPE - Static variable in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

TOP_NODE - Static variable in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

TOP_OBJECT_NODE - Static variable in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

TOP_OBJECT_PROPERTY - Static variable in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

toString() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNode

toString() - Method in class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

V

visit(OWLSubClassOfAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLNegativeObjectPropertyAssertionAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLAsymmetricObjectPropertyAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLReflexiveObjectPropertyAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLDisjointClassesAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLDataPropertyDomainAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLObjectPropertyDomainAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLEquivalentObjectPropertiesAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLNegativeDataPropertyAssertionAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLDifferentIndividualsAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLDisjointDataPropertiesAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLDisjointObjectPropertiesAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLObjectPropertyRangeAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLObjectPropertyAssertionAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLSubObjectPropertyOfAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLDisjointUnionAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLDeclarationAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLSymmetricObjectPropertyAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLDataPropertyRangeAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLFunctionalDataPropertyAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLEquivalentDataPropertiesAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLClassAssertionAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLEquivalentClassesAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLDataPropertyAssertionAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLTransitiveObjectPropertyAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLIrreflexiveObjectPropertyAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLSubDataPropertyOfAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLInverseFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLSameIndividualAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLSubPropertyChainOfAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLInverseObjectPropertiesAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLHasKeyAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLDatatypeDefinitionAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(SWRLRule) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLAnnotationAssertionAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLSubAnnotationPropertyOfAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLAnnotationPropertyDomainAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

visit(OWLAnnotationPropertyRangeAxiom) - Method in class org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

A B C D E F G H I N O P S T V