Open tawahle opened 7 years ago
Es fehlen Disjunktheit-Axiomen für Klassen und Properties in kdsf-vivo-extension und kdsf-vivo-alignment.
Es fehlen Disjunktheit-Axiomen für Klassen und Properties in kdsf-vivo-extension und kdsf-vivo-alignment.