Index
A B C D E F G I J L M N P R S T U V W
All Classes|All Packages
All Classes|All Packages
All Classes|All Packages
I
- IndividualType - Enum in it.poliba.sisinflab.tinyme
-
Represents the type of an individual w.r.t. semantic matchmaking tasks.
- interrupt() - Method in class it.poliba.sisinflab.tinyme.Reasoner
- intersect(SemanticDescription) - Method in class it.poliba.sisinflab.tinyme.SemanticDescription
-
Performs the intersection between this description and another.
- isCoherent() - Method in class it.poliba.sisinflab.tinyme.Reasoner
-
Checks the coherence of the root ontology.
- isCompatible(SemanticDescription, SemanticDescription) - Method in class it.poliba.sisinflab.tinyme.Reasoner
-
This method is the same as
Reasoner.isCompatible(OWLNamedIndividual, OWLNamedIndividual), with the difference that the provided descriptions don't need to belong to individuals loaded into the reasoner. - isCompatible(IRI, IRI) - Method in class it.poliba.sisinflab.tinyme.Reasoner
- isCompatible(OWLNamedIndividual, OWLNamedIndividual) - Method in class it.poliba.sisinflab.tinyme.Reasoner
-
Determines if a supplied resource and a requested semantic profile are compatible (that is, whether the semantic description of the resource does not contain any information in conflict with the request).
- isConsistent() - Method in class it.poliba.sisinflab.tinyme.Reasoner
- isConsistent(IRI) - Method in class it.poliba.sisinflab.tinyme.Reasoner
- isConsistent(OWLNamedIndividual) - Method in class it.poliba.sisinflab.tinyme.Reasoner
-
Checks whether the given individual is consistent.
- isEntailed(Set<? extends OWLAxiom>) - Method in class it.poliba.sisinflab.tinyme.Reasoner
- isEntailed(OWLAxiom) - Method in class it.poliba.sisinflab.tinyme.Reasoner
- isEntailmentCheckingSupported(AxiomType<?>) - Method in class it.poliba.sisinflab.tinyme.Reasoner
- isInstance(OWLNamedIndividual, OWLClass) - Method in class it.poliba.sisinflab.tinyme.Reasoner
-
Checks whether the specified individual is an instance of a certain class.
- isOfType(IndividualType) - Method in enum it.poliba.sisinflab.tinyme.IndividualType
-
Checks whether this type contains the specified type.
- isOwned() - Method in class it.poliba.sisinflab.tinyme.SemanticDescription
- isPrecomputed(InferenceType) - Method in class it.poliba.sisinflab.tinyme.Reasoner
- isSatisfiable(SemanticDescription) - Method in class it.poliba.sisinflab.tinyme.Reasoner
-
Determines if the specified description is satisfiable with respect to the root ontology.
- isSatisfiable(OWLClassExpression) - Method in class it.poliba.sisinflab.tinyme.Reasoner
- isSubClass(IRI, IRI) - Method in class it.poliba.sisinflab.tinyme.Reasoner
-
Refer to
Reasoner.isSubClass(OWLClass, OWLClass). - isSubClass(OWLClass, OWLClass) - Method in class it.poliba.sisinflab.tinyme.Reasoner
-
Checks whether a subclass relation holds between two classes.
- isSubsumed(SemanticDescription, SemanticDescription) - Method in class it.poliba.sisinflab.tinyme.Reasoner
-
This method is the same as
Reasoner.isSubsumed(OWLNamedIndividual, OWLNamedIndividual), with the difference that the provided descriptions don't need to belong to individuals loaded into the reasoner. - isSubsumed(IRI, IRI) - Method in class it.poliba.sisinflab.tinyme.Reasoner
- isSubsumed(OWLNamedIndividual, OWLNamedIndividual) - Method in class it.poliba.sisinflab.tinyme.Reasoner
-
Determines if a subsumption relation holds between two semantic profiles (that is, if one is more general than the other), in which case they are referred to as subsumer and subsumed.
- it.poliba.sisinflab.tinyme - package it.poliba.sisinflab.tinyme
- it.poliba.sisinflab.tinyme.util - package it.poliba.sisinflab.tinyme.util
- it.poliba.sisinflab.tinyme.util.logging - package it.poliba.sisinflab.tinyme.util.logging
All Classes|All Packages