text: Следующая совокупность является набором утверждений об индивидах (или ABox) в языке логики A L C {\displaystyle {\mathcal {ALC}}} : M a r y : W o m a n ⊓ ¬ D o c t o r {\displaystyle {\mathsf {Mary}}\colon {\mathsf {Woman}}\sqcap \neg {\mathsf {Doctor}}} M a r y : ∃ h a s C h i l d .