Diversity of Reason: Equivalence Relations over Description Logic Explanations

Quelle sera la longueur de la clôture si les trois monuments sont formés d’un octogone régulier, d’un triangle et d’un rectangle.. N’oublie pas

Un parc public comporte trois monuments que l’on veut entourer d’une clôture. =m FE

Par ailleurs, il est clair que l’exercice de codification entrepris au niveau communautaire ne peut pas être un jeu autiste : comme l’a souligné à plusieurs

In a first set of experiments we used Just and the algo- rithm for computing all justifications implemented in the OWL-API [3, 4] (using the reasoner FaCT++ 5 [10]) to compute all

The participants were given a series of test items consisting of 3 practice items, followed by 1 common easy item (E1 of complexity 300) and four additional items, 2 ranked easy (E2

7) Si une droite coupe deux droites parallèles, alors les paires d'angles internes situés du même côté de la sécante sont supplémentaires.. 8) La somme des mesures des

Note that clause 19 subsumes clauses 17-18; if subsumed clauses are deleted, we obtain only clauses with answer literals that correspond to minimal subsets of clauses 4-6 that

It extends the notion of classical justification that is a minimal set of axioms needed to preserve the entailment of a particular subsumption C v D.. Then we apply this notion