Odvozování

Monotónní odvozování

Axiomy a inferenční pravidla RDF(S)

Nemonotónní odvozování

Začínáme s Protégé - odvozování a konzistence

Schůzka v kanálu „General“-20231026_100419-Záznam schůzky.mp4