text: Говорят, что ABox выполняется в интерпретации I {\displaystyle {\mathcal {I}}} , а интерпретация I {\displaystyle {\mathcal {I}}} является моделью данного ABox, если все его утверждения выполняются в этой интерпретации.