Skip to content

Commit

Permalink
Remove print statements.
Browse files Browse the repository at this point in the history
  • Loading branch information
balhoff committed Jul 30, 2020
1 parent b2f26bf commit 1538cb7
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 7 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -32,8 +32,6 @@ class AlwaysInTaxonFrameSection(editorKit: OWLEditorKit, frame: OWLFrame[OWLClas

override def refill(ontology: OWLOntology): Unit = {
val term = getRootObject
println(s"Refill always for $term")
println(s"Asserted always: ${assertedAlwaysInTaxa(term, Set(ontology))}")
val rows = assertedAlwaysInTaxa(term, Set(ontology)).map(filler => new AlwaysInTaxonFrameSectionRow(this.editorKit, this, ontology, filler, InferredTaxonConstraints.alwaysAxiom(term, filler), false))
rows.foreach(addRow)
}
Expand All @@ -45,7 +43,6 @@ class AlwaysInTaxonFrameSection(editorKit: OWLEditorKit, frame: OWLFrame[OWLClas
val mostSpecificFillers = InferredTaxonConstraints.findAlwaysFillers(term, InferredTaxonConstraints.Root, getReasoner)
.filterNot(asserted)
.map(filler => new AlwaysInTaxonFrameSectionRow(this.editorKit, this, this.getOWLModelManager.getActiveOntology, filler, InferredTaxonConstraints.alwaysAxiom(term, filler), true))
println(s"Adding ${mostSpecificFillers.size} inferred always rows")
mostSpecificFillers.foreach(addRow)
}
)
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -32,21 +32,17 @@ class NeverInTaxonFrameSection(editorKit: OWLEditorKit, frame: OWLFrame[OWLClass

override def refill(ontology: OWLOntology): Unit = {
val term = getRootObject
println(s"Refill never for $term")
println(s"Asserted never: ${assertedNeverInTaxa(term, Set(ontology))}")
val rows = assertedNeverInTaxa(term, Set(ontology)).map(filler => new NeverInTaxonFrameSectionRow(this.editorKit, this, ontology, filler, InferredTaxonConstraints.neverAxiom(term, filler), false))
rows.foreach(addRow)
}

override def refillInferred(): Unit = {
val term: OWLClass = getRootObject
val asserted = assertedNeverInTaxa(term, getReasoner.getRootOntology.getImportsClosure.asScala.to(Set))
println(s"Asserted never: $asserted")
getOWLModelManager.getReasonerPreferences.executeTask(OptionalInferenceTask.SHOW_INFERRED_SUPER_CLASSES, () => {
val mostSpecificFillers = InferredTaxonConstraints.findNeverFillers(term, InferredTaxonConstraints.Root, getReasoner)
.filterNot(asserted)
.map(filler => new NeverInTaxonFrameSectionRow(this.editorKit, this, this.getOWLModelManager.getActiveOntology, filler, InferredTaxonConstraints.neverAxiom(term, filler), true))
println(s"Adding ${mostSpecificFillers.size} inferred never rows")
mostSpecificFillers.foreach(addRow)
}
)
Expand Down

0 comments on commit 1538cb7

Please sign in to comment.