org.dllearner.core.fuzzydll

Interface FuzzyIndividualReasoner

All Known Subinterfaces:

Reasoner

All Known Implementing Classes:

AbstractReasonerComponent, ClosedWorldReasoner, OWLAPIReasoner, SPARQLReasoner, SPARQLReasonerQuad

public interface FuzzyIndividualReasoner

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

Author:

Josue Iglesias

Method Summary

Modifier and Type	Method and Description
SortedSet<FuzzyIndividual>	getFuzzyIndividuals(org.semanticweb.owlapi.model.OWLClassExpression concept)
double	hasTypeFuzzyMembership(org.semanticweb.owlapi.model.OWLClassExpression description, FuzzyIndividual individual) Checks the fuzzy membership degree of individual over description.

Method Detail

hasTypeFuzzyMembership

double hasTypeFuzzyMembership(org.semanticweb.owlapi.model.OWLClassExpression 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(org.semanticweb.owlapi.model.OWLClassExpression concept)