Can this be expressed using ALCQ syntax?

Question

Is it valid, using ALCQ, to write:

likes ≡ ¬dislikes   
¬∃(Dog ⊓ dislikes.(Colourful ⊓ Toy))

in order to express that every dog likes the colourful toys?

Also, is it valid to write:

Cute(∀Pomeranian)

in order to express that every pomeranian is cute?

Why do you use the negation in the 2nd line of ALCQ? – Drux Dec 28 '17 at 05:00 — Drux, Dec 28 '17 at 05:00

score 1 · Accepted Answer · answered Apr 02 '18 at 23:41

No, formula likes ≡ ¬dislikes doesn't belong to ALCQ because it's missing role hierarchies (H in its name).

if you don't have to use dislike explicitly:

Dog ⊑ ∃likes.(Colourful ⊓ Toy)

then Cute(∀Pomeranian) is not a valid ALCQ formula, instead simply use:

Pomeranian ⊑ Cute

1 Answers1