An Example From AL-log for query to mayDoThesis(paul, mary)



the Rule component (in POSL)

curr(?X, ?Z) :- Q_Co(?Y), exam(?X,?Y), subject(?Y,?Z), Q_St(?X), Q_Tp(?Z).
mayDoThesis(?X,?Y) :- Q_Tp(?Z), curr(?X,?Z), expert(?Y,?Z), Q_St(?X), Q_Sorry(?Y).
mayDoThesis(?X,?Y) :- Q_St(?X), Q_NFP(?Y).
exam(paul, ai).
subject(ai, lp).
expert(mary, lp).
subject(ai, kr).
expert(john, kr).

the DL component (in RACER)

(in-knowledge-base allog-t allog-a)

(in-tbox allog-t)

(signature :atomic-concepts (FP FM NFP AC BC Co St Tp Sorry)
 :roles ((TC))
 :individuals (john mary paul ai kr lp))

(implies FP FM)
(equivalent NFP (and FP (not (some TC Co))))
(equivalent (or AC BC) Co)
(implies (and AC BC) *bottom*)
(equivalent Sorry (and FM (some TC AC)))

(in-abox allog-a)

(instance john FP)
(instance paul St)
(instance ai AC)
(instance kr Tp)
(instance lp Tp)
(instance mary (and FP (all TC AC)))

(related john ai TC)