public class OntologyCloserOWLAPI extends Object
Modifier and Type | Field and Description |
---|---|
int |
numberOfStatementsChanged |
Constructor and Description |
---|
OntologyCloserOWLAPI(OWLAPIReasoner reasoner) |
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) |
public int numberOfStatementsChanged
public OntologyCloserOWLAPI(OWLAPIReasoner reasoner)
public void applyNumberRestrictions()
public void applyNumberRestrictionsConcise()
public boolean testForTransitiveProperties(boolean printflag)
printflag
- boolean for some outputpublic void writeOWLFile(URI filename)
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann