Package net.sf.tweety.logics.dl.semantics

Class Summary

Class	Description
DlInterpretation	This class models an interpretation for description logics.