Package owl.ltl

Class UnaryModalOperator