public class AssertInferenceTool extends Object
Constructor and Description |
---|
AssertInferenceTool() |
Modifier and Type | Method and Description |
---|---|
static void |
assertAllInferences(OWLGraphWrapper graph,
String idsInputFile) |
static void |
assertInferences(OWLGraphWrapper graph,
boolean removeRedundant,
boolean checkConsistency,
boolean useIsInferred,
boolean ignoreNonInferredForRemove,
boolean checkForNamedClassEquivalencies,
boolean checkForPotentialRedundant,
boolean alwaysAssertSuperClasses,
InferenceBuilder.OWLClassFilter filter,
BufferedWriter reportWriter) |
static void |
assertInferences(OWLGraphWrapper graph,
boolean removeRedundant,
boolean checkConsistency,
boolean useIsInferred,
boolean ignoreNonInferredForRemove,
boolean alwaysAssertSuperClasses,
InferenceBuilder.OWLClassFilter filter,
BufferedWriter reportWriter)
Assert inferred super class relationships and (optional) remove redundant ones.
|
static void |
main(String[] args) |
static void |
verifyExistingInferences(OWLGraphWrapper graph,
BufferedWriter reportWriter,
boolean removeUnsupported,
boolean removeRegulation) |
public static void verifyExistingInferences(OWLGraphWrapper graph, BufferedWriter reportWriter, boolean removeUnsupported, boolean removeRegulation) throws owltools.cli.AssertInferenceTool.InconsistentOntologyException, IOException
public static void assertInferences(OWLGraphWrapper graph, boolean removeRedundant, boolean checkConsistency, boolean useIsInferred, boolean ignoreNonInferredForRemove, boolean alwaysAssertSuperClasses, InferenceBuilder.OWLClassFilter filter, BufferedWriter reportWriter) throws owltools.cli.AssertInferenceTool.InconsistentOntologyException, IOException, org.semanticweb.owlapi.model.OWLOntologyCreationException, org.semanticweb.owlapi.model.OWLOntologyStorageException
graph
- removeRedundant
- set to false to not remove redundant super class relationscheckConsistency
- useIsInferred
- ignoreNonInferredForRemove
- alwaysAssertSuperClasses
- filter
- reportWriter
- (optional)InconsistentOntologyException
IOException
org.semanticweb.owlapi.model.OWLOntologyStorageException
org.semanticweb.owlapi.model.OWLOntologyCreationException
owltools.cli.AssertInferenceTool.InconsistentOntologyException
public static void assertInferences(OWLGraphWrapper graph, boolean removeRedundant, boolean checkConsistency, boolean useIsInferred, boolean ignoreNonInferredForRemove, boolean checkForNamedClassEquivalencies, boolean checkForPotentialRedundant, boolean alwaysAssertSuperClasses, InferenceBuilder.OWLClassFilter filter, BufferedWriter reportWriter) throws owltools.cli.AssertInferenceTool.InconsistentOntologyException, IOException, org.semanticweb.owlapi.model.OWLOntologyCreationException, org.semanticweb.owlapi.model.OWLOntologyStorageException
owltools.cli.AssertInferenceTool.InconsistentOntologyException
IOException
org.semanticweb.owlapi.model.OWLOntologyCreationException
org.semanticweb.owlapi.model.OWLOntologyStorageException
public static void assertAllInferences(OWLGraphWrapper graph, String idsInputFile)
Copyright © 2010–2016. All rights reserved.