org.dllearner.utilities.owl
Class OntologyCloserOWLAPI

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

public class OntologyCloserOWLAPI
extends Object

Field Summary

int	numberOfStatementsChanged

Constructor Summary

OntologyCloserOWLAPI(OWLAPIReasoner reasoner)

Method Summary

void	applyNumberRestrictions() counts the number of roles used by each individual and assigns ExactCardinalityRestriction to Individuals
void	applyNumberRestrictionsConcise() counts the number of roles used by each individual and assigns ExactCardinalityRestriction, but uses only one Intersection: role1 exactly 1 and role2 exactly 2 and ....
boolean	testForTransitiveProperties(boolean printflag)
SortedSet<Individual>	verifyConcept(String conceptStr) makes some retrieval queries
void	writeOWLFile(URI filename)

Methods inherited from class java.lang.Object

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

Field Detail

numberOfStatementsChanged

public int numberOfStatementsChanged

Constructor Detail

OntologyCloserOWLAPI

public OntologyCloserOWLAPI(OWLAPIReasoner reasoner)

Method Detail

applyNumberRestrictions

public void applyNumberRestrictions()

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

applyNumberRestrictionsConcise

public void applyNumberRestrictionsConcise()

counts the number of roles used by each individual and assigns ExactCardinalityRestriction, but uses only one Intersection: role1 exactly 1 and role2 exactly 2 and ....

testForTransitiveProperties

public boolean testForTransitiveProperties(boolean printflag)

Parameters:

printflag - boolean for some output

Returns:

true if some roles are transitive

verifyConcept

public SortedSet<Individual> verifyConcept(String conceptStr)

makes some retrieval queries

Parameters:

conceptStr -

writeOWLFile

public void writeOWLFile(URI filename)