预测原子候选 OWL 类公理的得分
人工智能
2022-12-22 v1 机器学习
计算机科学中的逻辑
摘要
候选公理评分是依据已知事实或数据所提供的证据来评估候选公理可接受性的任务。可靠地评分候选公理的能力是自动化模式或本体归纳所必需的，但它对于本体和/或知识图谱验证也很有价值。准确的公理评分启发式方法通常计算开销很大，若希望在水平式生成-测试或进化算法等迭代搜索技术中使用它们，这就成了一个问题，因为这些技术需要对大量候选公理进行评分。我们解决了开发一种作为推理替代的预测模型的问题，该模型预测候选类公理的可能性得分，并且速度足够快以用于此类情形。为此，我们采用了取自本体包含结构的语义相似度度量。我们展示了本工作提供的方法能够准确学习候选 OWL 类公理的可能性得分，并且能够对多种 OWL 类公理做到这一点。
引用
@article{arxiv.2212.10841,
title = {Predicting the Score of Atomic Candidate OWL Class Axioms},
author = {Ali Ballout and Andrea G B Tettamanzi and Célia da Costa Pereira},
journal= {arXiv preprint arXiv:2212.10841},
year = {2022}
}