面向去中心化 Web 的持久语义数据使用条款

在当今的数字环境中，Web 变得日益中心化，引发了对用户隐私侵犯的担忧。诸如 Solid 之类的去中心化 Web 架构通过赋予用户在其个人“Pods”中更好地控制自身数据的权力，提供了一种有前景的解决方案。然而，一个重大挑战依然存在：用户必须在众多应用程序中穿梭，以决定哪个应用程序可以被信任以访问其数据 Pods。这通常涉及阅读冗长且复杂的使用条款协议，而用户往往觉得这一过程令人生畏或干脆忽略。这损害了用户自主权并阻碍了对数据滥用的检测。我们提出了一种数据使用条款（Data Terms of Use, DToU）的新颖形式化描述，以及一个 DToU 推理器。用户和应用程序利用本地知识分别指定 DToU 策略中属于自己的部分，涵盖许可、要求、禁止和义务。自动化推理验证合规性，并推导输出数据的策略。这构成了一种“持久”的 DToU 语言，其中策略编写仅需一次，我们即可在用户、应用程序和活动周期之间进行持续的自动化检查。我们的解决方案建立在 Turtle、Notation 3 和 RDF Surfaces 之上，用于语言和推理引擎。它确保了与其他语义工具的无缝集成，以增强互操作性。我们已成功将该语言集成到 Solid 框架中，并进行了性能基准测试。我们相信这项工作展示了持久 DToU 语言的实用性，以及用户在去中心化 Web 中与数据和应用程序交互方式的范式转变潜力，同时提供了更好的隐私和可用性。