Есть ли формализм для этой структуры данных?

Question

Я ищу математический формализм для структуры данных, с которой я работаю, чтобы я мог отследить соответствующие теоремы и алгоритмы.

Предположим, у вас есть следующее:

• Направленный ациклический граф тем.
• В каждой теме существует одно или несколько отношений между темой, элементами в наборе документов и элементами в наборе групп.
• Группы могут быть простым набором или могут быть DAG. Они используются для управления видимостью связи документа с темой.

Только недавно я столкнулся с гиперграфами , которые кажутся уместными, но слишком общими. Есть ли формализм для этой структуры данных? Если нет, то можно ли это описать более кратко в математических терминах?

Answer 1

Это похоже на http://en.wikipedia.org/wiki/Formal_concept_analysis, особенно на решетку Галуа.

Решетка имеет больше ограничений, чем то, что вы описываете, но, возможно, вы можете применить этот формализм в своем приложении или начать отсюда, чтобы увидеть, есть ли связанные работы ближе к вашим потребностям.

Полагаю, вы уже знаете http://en.wikipedia.org/wiki/Ontology_%28information_science%29, что также является отправной точкой для множества ресурсов.