Besonderhede van voorbeeld: 1536480096891502382

Czech

CRM je zkonstruováno pro monotónní odvozování a tím umožňuje bezkonfliktní slučování mohutných skladů vědomostí. Třídy jsou disjunktní, když průnik jejich rozsahů (extension) je prázdná množina.

English

The CRM is designed for monotonic reasoning and so enables conflict-free merging of huge stores of knowledge Disjoint/disjunktní Classes are disjoint if the intersection of their extensions is an empty set.