Index

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

T

tellIndividualType(IRI, IndividualType) - Method in class it.poliba.sisinflab.tinyme.Reasoner

Refer to Reasoner.tellIndividualType(OWLNamedIndividual, IndividualType).

tellIndividualType(OWLNamedIndividual, IndividualType) - Method in class it.poliba.sisinflab.tinyme.Reasoner

Tells the reasoner that the individual is of the specified type.

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

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

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

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

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

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

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

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

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

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