纸牌手彩本体论

我们提出一种机器可读的纸牌手彩动作动作记谱法——一种“纸牌魔法的拉班记谱法”。该动作记谱方案包含 440 类动作，并似乎将逾 1500 种出版物中出现过的所有纸牌手彩加以分类。该动作记谱在 $\mathcal{SROIQ}$(D) 描述逻辑中公理化，并形式地收集为纸牌手彩本体论（Ontology of Card Sleights），一个扩展基本形式本体论与信息人工本体论的计算本体论。纸牌手彩本体论以 OWL DL（Web 本体论语言的描述逻辑片段）实现。尽管本体论历史上用于较粗粒度分类，纸牌戏法的算法性质使我们能逐步转录表演者动作。我们最后讨论了为确保该本体论可通过简易点击拖拽界面访问与修改所采用的设计准则。这可使具纸牌魔法知识但无本体论背景的用户进行数据库检索与表演转录。