org.dllearner.utilities.owl
Class OntologyCloser

java.lang.Object
  org.dllearner.utilities.owl.OntologyCloser

public class OntologyCloser
extends Object

Constructor Summary

OntologyCloser(KB kb)

Method Summary

void	applyNumberRestrictions() counts the number of roles used by each individual and assigns ExactCardinalityRestriction
void	applyNumberRestrictionsConcise() counts the number of roles used by each individual and assigns ExactCardinalityRestriction
void	applyNumberRestrictionsNamed() counts the number of roles used by each individual and assigns ExactCardinalityRestriction
static void	closeKB(KB kb)
boolean	testForTransitiveProperties(boolean printflag)
void	updateReasoner()
SortedSet<Individual>	verifyConcept(String conceptStr)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OntologyCloser

public OntologyCloser(KB kb)

Method Detail

updateReasoner

public void updateReasoner()

applyNumberRestrictions

public void applyNumberRestrictions()

counts the number of roles used by each individual and assigns ExactCardinalityRestriction

applyNumberRestrictionsConcise

public void applyNumberRestrictionsConcise()

counts the number of roles used by each individual and assigns ExactCardinalityRestriction

applyNumberRestrictionsNamed

public void applyNumberRestrictionsNamed()

counts the number of roles used by each individual and assigns ExactCardinalityRestriction

testForTransitiveProperties

public boolean testForTransitiveProperties(boolean printflag)

closeKB

public static void closeKB(KB kb)

verifyConcept

public SortedSet<Individual> verifyConcept(String conceptStr)