org.dllearner.core.fuzzydll
Interface FuzzyIndividualReasoner

All Known Subinterfaces:

Reasoner

All Known Implementing Classes:

AbstractReasonerComponent, DIGReasoner, FastInstanceChecker, FastRetrievalReasoner, FuzzyOWLAPIReasoner, OWLAPIReasoner, PelletReasoner, ProtegeReasoner

public interface FuzzyIndividualReasoner

Reasoning requests/queries related to fuzzy reasoning over individuals in the knowledge base.

Author:

Josue Iglesias

Method Summary

SortedSet<FuzzyIndividual>	getFuzzyIndividuals(Description concept)
double	hasTypeFuzzyMembership(Description description, FuzzyIndividual individual) Checks the fuzzy membership degree of individual over description.

Method Detail

hasTypeFuzzyMembership

double hasTypeFuzzyMembership(Description description,
                              FuzzyIndividual individual)

Checks the fuzzy membership degree of individual over description. For instance, "Peter" may be an instance of "TallPerson" with fuzzy membership degree = 0.8. individual

Parameters:

description - An OWL class description.

individual - An individual.

Returns:

fuzzy membership degree of individual satisfying description [0-1].

getFuzzyIndividuals

SortedSet<FuzzyIndividual> getFuzzyIndividuals(Description concept)