Index

A B C D E F G I J L M N P R S T U V W
All Classes|All Packages

G

getABox() - Method in class it.poliba.sisinflab.tinyme.Reasoner

Returns the ABox loaded into this reasoner.

getAtomicConcepts() - Method in class it.poliba.sisinflab.tinyme.SemanticDescription

Returns the atomic concept conjuncts referenced in this description.

getBottomClassNode() - Method in class it.poliba.sisinflab.tinyme.Reasoner

getBottomDataPropertyNode() - Method in class it.poliba.sisinflab.tinyme.Reasoner

getBottomObjectPropertyNode() - Method in class it.poliba.sisinflab.tinyme.Reasoner

getBufferingMode() - Method in class it.poliba.sisinflab.tinyme.Reasoner

getCardinality() - Method in class it.poliba.sisinflab.tinyme.CardinalityRole

Returns the cardinality of this role.

getClassDescription(IRI) - Method in class it.poliba.sisinflab.tinyme.Reasoner

Refer to Reasoner.getDescription(OWLClass).

getCoverResources() - Method in class it.poliba.sisinflab.tinyme.Composition

Returns the resources that (partially) cover the request.

getDataFactory() - Method in class it.poliba.sisinflab.tinyme.Reasoner

Returns the data factory of this reasoner.

getDataPropertyDomains(OWLDataProperty, boolean) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getDataPropertyValues(OWLNamedIndividual, OWLDataProperty) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getDescription() - Static method in class it.poliba.sisinflab.tinyme.ReasonerMetadata

Returns the reasoner description string.

getDescription(OWLClass) - Method in class it.poliba.sisinflab.tinyme.Reasoner

Returns the normalized semantic description of the specified class.

getDescription(OWLNamedIndividual) - Method in class it.poliba.sisinflab.tinyme.Reasoner

Returns the normalized semantic description of the specified individual.

getDifferentIndividuals(OWLNamedIndividual) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getDirectSubClasses(OWLClass) - Method in class it.poliba.sisinflab.tinyme.Reasoner

Retrieves the direct subclasses of the specified class.

getDirectSuperClasses(OWLClass) - Method in class it.poliba.sisinflab.tinyme.Reasoner

Retrieves the direct superclasses of the specified class.

getDisjointClasses(OWLClassExpression) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getDisjointDataProperties(OWLDataPropertyExpression) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getDisjointObjectProperties(OWLObjectPropertyExpression) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getEntity() - Method in class it.poliba.sisinflab.tinyme.EntityDescription

Returns the Entity described by this instance.

getEquivalentClasses(OWLClassExpression) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getEquivalentDataProperties(OWLDataProperty) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getEquivalentObjectProperties(OWLObjectPropertyExpression) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getFiller() - Method in class it.poliba.sisinflab.tinyme.UniversalRole

Returns the filler of this value restriction.

getFreshEntityPolicy() - Method in class it.poliba.sisinflab.tinyme.Reasoner

getGiveUp() - Method in class it.poliba.sisinflab.tinyme.Contraction

Returns the give up part of the contraction result.

getGreaterThanRoles() - Method in class it.poliba.sisinflab.tinyme.SemanticDescription

Returns the minimum cardinality restriction conjuncts referenced in this description.

getHypothesis() - Method in class it.poliba.sisinflab.tinyme.Abduction

Returns the hypothesis of the abduction result.

getIncentive() - Method in class it.poliba.sisinflab.tinyme.Bonus

Returns the incentive associated with the bonus result.

getIndividualDescription(IRI) - Method in class it.poliba.sisinflab.tinyme.Reasoner

Refer to Reasoner.getDescription(OWLNamedIndividual).

getIndividualNodeSetPolicy() - Method in class it.poliba.sisinflab.tinyme.Reasoner

getIndividuals(IndividualType) - Method in class it.poliba.sisinflab.tinyme.Reasoner

Retrieves all the individuals of a specified type.

getInfo() - Static method in class it.poliba.sisinflab.tinyme.ReasonerMetadata

Returns comprehensive reasoner info (multiline).

getInstances(OWLClassExpression, boolean) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getInverseObjectProperties(OWLObjectPropertyExpression) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getKeep() - Method in class it.poliba.sisinflab.tinyme.Contraction

Returns the keep part of the contraction result.

getLessThanRoles() - Method in class it.poliba.sisinflab.tinyme.SemanticDescription

Returns the maximum cardinality restriction conjuncts referenced in this description.

getMaxRSS() - Static method in class it.poliba.sisinflab.tinyme.ReasonerMetadata

Returns the Maximum RSS (Resident Set Size) for the process.

getMemory() - Method in class it.poliba.sisinflab.tinyme.util.logging.MemoryLogger

Returns the string representation of everything the logger has logged since its instantiation, or the last call to MemoryLogger.clear().

getName() - Static method in class it.poliba.sisinflab.tinyme.ReasonerMetadata

Returns the name of the reasoner.

getNegatedConcepts() - Method in class it.poliba.sisinflab.tinyme.SemanticDescription

Returns the negated atomic concept conjuncts referenced in this description.

getObjectProperty() - Method in class it.poliba.sisinflab.tinyme.CardinalityRole

Returns the property of this cardinality role.

getObjectPropertyDomains(OWLObjectPropertyExpression, boolean) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getObjectPropertyRanges(OWLObjectPropertyExpression, boolean) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getObjectPropertyValues(OWLNamedIndividual, OWLObjectPropertyExpression) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getOntology() - Method in class it.poliba.sisinflab.tinyme.Reasoner

Returns the (root) ontology loaded into the reasoner.

getOutFilePath() - Method in class it.poliba.sisinflab.tinyme.util.logging.FileLogger

Returns the path of the output file.

getOWLClass() - Method in class it.poliba.sisinflab.tinyme.AtomicConcept

Returns the OWL class associated with this concept.

getOWLClass(IRI) - Method in class it.poliba.sisinflab.tinyme.DataFactory

Gets an OWL class that has the specified IRI.

getOWLDataFactory() - Method in class it.poliba.sisinflab.tinyme.Reasoner

Returns the OWL data factory of this reasoner.

getOWLNamedIndividual(IRI) - Method in class it.poliba.sisinflab.tinyme.DataFactory

Gets an OWL individual that has the specified IRI.

getOWLObjectProperty(IRI) - Method in class it.poliba.sisinflab.tinyme.DataFactory

Gets an OWL object property that has the specified IRI.

getOWLReasonerVersion() - Static method in class it.poliba.sisinflab.tinyme.ReasonerMetadata

Returns the reasoner version.

getPenalty() - Method in class it.poliba.sisinflab.tinyme.Abduction

Returns the penalty associated with the abduction result.

getPenalty() - Method in class it.poliba.sisinflab.tinyme.Contraction

Returns the penalty associated with the contraction result.

getPendingAxiomAdditions() - Method in class it.poliba.sisinflab.tinyme.Reasoner

getPendingAxiomRemovals() - Method in class it.poliba.sisinflab.tinyme.Reasoner

getPendingChanges() - Method in class it.poliba.sisinflab.tinyme.Reasoner

getPrecomputableInferenceTypes() - Method in class it.poliba.sisinflab.tinyme.Reasoner

getProperty() - Method in class it.poliba.sisinflab.tinyme.UniversalRole

Returns the property of this value restriction.

getReasonerInfo() - Method in class it.poliba.sisinflab.tinyme.Reasoner

Gets comprehensive reasoner info (multiline).

getReasonerName() - Method in class it.poliba.sisinflab.tinyme.Reasoner

getReasonerName() - Method in class it.poliba.sisinflab.tinyme.ReasonerFactory

getReasonerVersion() - Method in class it.poliba.sisinflab.tinyme.Reasoner

getRootOntology() - Method in class it.poliba.sisinflab.tinyme.Reasoner

getSameIndividuals(OWLNamedIndividual) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getSubClasses(OWLClassExpression, boolean) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getSubDataProperties(OWLDataProperty, boolean) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getSubObjectProperties(OWLObjectPropertyExpression, boolean) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getSuperClasses(OWLClassExpression, boolean) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getSuperDataProperties(OWLDataProperty, boolean) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getSuperObjectProperties(OWLObjectPropertyExpression, boolean) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getSurplus() - Method in class it.poliba.sisinflab.tinyme.Bonus

Returns the surplus of the bonus result.

getTBox() - Method in class it.poliba.sisinflab.tinyme.Reasoner

Returns the TBox loaded into this reasoner.

getTimeOut() - Method in class it.poliba.sisinflab.tinyme.Reasoner

getTopClassNode() - Method in class it.poliba.sisinflab.tinyme.Reasoner

getTopDataPropertyNode() - Method in class it.poliba.sisinflab.tinyme.Reasoner

getTopObjectPropertyNode() - Method in class it.poliba.sisinflab.tinyme.Reasoner

getTypes(OWLNamedIndividual, boolean) - Method in class it.poliba.sisinflab.tinyme.Reasoner

getUncoveredRequest() - Method in class it.poliba.sisinflab.tinyme.Composition

Returns the part of the request that has not been covered.

getUniversalRoles() - Method in class it.poliba.sisinflab.tinyme.SemanticDescription

Returns the value restriction conjuncts referenced in this description.

getUnsatisfiableClasses() - Method in class it.poliba.sisinflab.tinyme.Reasoner

getVendorDescription() - Static method in class it.poliba.sisinflab.tinyme.ReasonerMetadata

Returns the reasoner vendor description.

getVendorName() - Static method in class it.poliba.sisinflab.tinyme.ReasonerMetadata

Returns the reasoner vendor name.

getVendorOrganization() - Static method in class it.poliba.sisinflab.tinyme.ReasonerMetadata

Returns the reasoner vendor organization.

getVendorURL() - Static method in class it.poliba.sisinflab.tinyme.ReasonerMetadata

Returns the reasoner vendor URL.

getVersion() - Static method in class it.poliba.sisinflab.tinyme.ReasonerMetadata

Returns the reasoner version string.

A B C D E F G I J L M N P R S T U V W
All Classes|All Packages