Definition (Instance). An individual i is an instance of a concept C (with reference to a TBox T and an ABox A) iff iI ∈ CI for all models I (of T and A).
