edu.stanford.smi.protegex.owl.model.framestore
Class QuantifierRestrictionUpdater
java.lang.Object
edu.stanford.smi.protegex.owl.model.framestore.AbstractRestrictionUpdater
edu.stanford.smi.protegex.owl.model.framestore.QuantifierRestrictionUpdater
- All Implemented Interfaces:
- RestrictionUpdater
- Direct Known Subclasses:
- AllValuesFromRestrictionUpdater
- abstract class QuantifierRestrictionUpdater
- extends AbstractRestrictionUpdater
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
owlModel
protected AbstractOWLModel owlModel
- The OWLModel this operates on
QuantifierRestrictionUpdater
QuantifierRestrictionUpdater(AbstractOWLModel owlModel)
ensureNoSurvivingClsesAreDeleted
protected void ensureNoSurvivingClsesAreDeleted(edu.stanford.smi.protege.model.Cls cls,
edu.stanford.smi.protege.model.Slot slot,
Collection clses,
edu.stanford.smi.protege.model.Cls metaCls)
clearFiller
protected abstract void clearFiller(OWLQuantifierRestriction restriction)
getQuantifierClsClses
protected Collection getQuantifierClsClses(RDFSClass quantifierClass)
getSafeClses
protected Collection getSafeClses(Collection base)
getDirectRestriction
protected edu.stanford.smi.protege.model.Cls getDirectRestriction(edu.stanford.smi.protege.model.Cls cls,
edu.stanford.smi.protege.model.Slot slot,
Class metaClass)
getDirectRestrictions
protected Collection getDirectRestrictions(edu.stanford.smi.protege.model.Cls cls,
edu.stanford.smi.protege.model.Slot slot,
Class metaClass)
log
protected void log(String message)
removeRestrictions
protected void removeRestrictions(edu.stanford.smi.protege.model.Cls cls,
edu.stanford.smi.protege.model.Slot slot,
edu.stanford.smi.protege.model.Cls metaCls)