public interface AxiomAppearance
Modifier and Type | Method and Description |
---|---|
boolean |
appearsMultipleTimes(OWLAxiom ax) |
boolean appearsMultipleTimes(OWLAxiom ax)
ax
- an axiomCopyright © 2017 The University of Manchester. All Rights Reserved.