基于结论的推理用于含析取、逆角色、数量限制和个体的描述逻辑
人工智能
2018-05-04 v1 计算机科学中的逻辑
摘要
我们提出了一种用于描述逻辑ALCHOIQ中概念包含与分类的基于结论的演算，该逻辑在ALC基础上扩展了角色层次、逆角色、数量限制和个体。通过标准变换，我们的演算可扩展至SROIQ，其涵盖了除数据类型外所有OWL 2 DL。我们演算的一个关键特征是其按需付费 (pay-as-you-go) 行为：与现有算法不同，我们的演算对所有已知的ALCHOIQ真子片段均为最坏情况最优，尽管对完整逻辑并非如此。
引用
@article{arxiv.1805.01396,
title = {Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals},
author = {David Tena Cucala and Bernardo Cuenca Grau and Ian Horrocks},
journal= {arXiv preprint arXiv:1805.01396},
year = {2018}
}