DOL — The definition for Logic in the DOL ontology is limited to monotonic logic only and should be broader

Logic: the definition seems to be appropriate for monotonic logic only. That is, the satisfaction relation is defined for sentences, and then it appears to be assumed that satisfaction of a theory is based on satisfaction of all sentences in the theory. This would not be enough for, e.g. defeasible logic. So perhaps the name of this concept should be changed to MonotonicLogic, so if can be reused in external ontologies that also cover nonmonotonic logics.

We distinguish between Logic and MonotonicLogic

The former class Logic has been renamed to MonotonicLogic, and a class
Logic has been added as a superclass of MonotonicLogic.
Most object properties still have domain/range Logic. Only the
formalises object properties has range MonotonicLogic:
an Institution always formalises a MonotonicLogic.