org.dllearner.utilities.owl

Class OntologyCloserOWLAPI

java.lang.Object

org.dllearner.utilities.owl.OntologyCloserOWLAPI

public class OntologyCloserOWLAPI
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
int	numberOfStatementsChanged

Constructor Summary

Constructors

Constructor and Description
OntologyCloserOWLAPI(OWLAPIReasoner reasoner)

Method Summary

Modifier and Type	Method and Description
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)
void	writeOWLFile(URI filename)

Methods inherited from class java.lang.Object

clone, equals, finalize, 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

writeOWLFile

public void writeOWLFile(URI filename)