Can you use identity? And thus add e.g. "TSIPRAS $\ne$ VAROUFAKIS"?

Yeah that's what I thought, but I am new in this, so I do not know if it is that simple @BrianO, is it?

I'm just guessing. You, however, know something about ALCQ KBs... The question must have an easy answer.

I have no answer beyond that. You can't determine whether identity is allowed in the KB system you're using???

I am saying to convert your comment to an answer @BrianO. Well, from my understanding it is not, but the assignment says strictly to do so with ALCQ. I cannot check, since it's all in paper (!). So I think my understanding is wrong and what you are saying is correct.

I'm almost embarrassed to do so: it seems I have questions but no answers! And I don't know the notations involved (ABox, TBox, things that look like first order logic, from a distance, but aren't, etc.) When I search ALCQ, I don't find much, and what little I do find is behind paywalls. You only have hardcopy (paper), not a link?

Well BrianO, you are the only one who helps, so you should be proud. This is the best link I got: cgi.di.uoa.gr/~pms509/lectures/dl-intro.pdf

Very well

Lol, OK let me examine that...

That is, distinct names are assumed to denote distinct individuals, in every interpretation.

So you don't have to add anything to guarantee that the 3 distinctly named pets are in fact distinct — you get that "for free".

That's it, now you should for sure be able to add an answer!

Can I cite the paper you linked to?

If not, I can talk around it

Of course. It's not a paper though, this are the slides of the course.

these*

Yes of course "slides" not "paper". Ok, I'll write it up. Thanks!

I thank you! :)