https://123dok.net/document/zx5o1jjo-planning-problems-graph-structured-data-description-logics.html