Telecharger Cours

Lecture Notes on Description Logic - Mustafa Jarrar

R(a, b) is satisfied by I if (aI, bI) ? RI. A set A of assertions is called an ABox. An interpretation I is said to be a model of the ABox A if every.



Download