Удаление факта из семантического графа

Логически понятно, что факт если произошел, то он не может «разпроизойти»

Логически понятно, что факт мог быть внесён ошибочно.

да, но факт внесения ошибочного факта должен быть зафиксирован

ты о компиляторе?

а перестроить граф, исходя из «альтернативной истории» никак?

есть ли какая-то абстракция, которая может смоделировать «удаление факта»?

Если вы студент каф. ИИТ БГУИР, то вам лучше заняться программированием, а не вступать в эту секту.
p.s. можно

Да нет, я не студент.

Нет, речь не о компиляторе. Скорее о семантической базе данных. Для того чтобы перестроить нужно иметь начальное состояние(до внесения факта) и хранить журнил всех операций после. Для нескольких сотен тысяч фактов это может стать проблемой, так что не думаю что это выход.

Хотя если есть идеи как можно сделать этого без полного журнала - интересно узнать.

ну, в системе контроля версий git используется переписывание истории. Если оно там есть, значит скорость вполне приемлемая для своего применения. У меня максимум клонировался репозиторий гита 8 часов (клонирование - это снимок Самого Первого Состояния, и последовательное накатывание изменений из журнала). Т.е. зависит от применения.

а есть формально записанная модель, операции, итп?

Для гита это, по сути, основной функционал. И историю он там много для чего хранит. Вобщем, не думаю что тут стоит проводить аналогии - абсолютно разные задачи.

но всё же хотелось бы посмотреть на строгое доказательсво нарушения целостности

если у тебя нет строгой модели и операций, то строго доказывать не на чем

Модель есть - http://ru.wikipedia.org/wiki/Семантическая_сеть

Если нужно более конкретно - посмотри rdf, sparql и вообще в ту сторону. w3c с этой стороны потеет очень сильно.