Index

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

U

UniversalRole - Class in it.poliba.sisinflab.tinyme

Models value restrictions.

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

Refer to Reasoner.unloadIndividual(OWLNamedIndividual).

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

Unloads the specified individual.

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

Unloads all the individuals of a given type.

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

Unloads the individuals present in the signature of the specified ontology.

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