BriefGPT.xyz
Aug, 2018
具有传递角色的表达能力描述逻辑中的有限查询回答
Finite Query Answering in Expressive Description Logics with Transitive Roles
HTML
PDF
Tomasz Gogacz, Yazmin Ibáñez-García, Filip Murlak
TL;DR
该研究探讨了有限本体中介查询应答的问题,使用DLs描述逻辑中的联合,当仅考虑本体的有限模型时,研究FOMQA是相关的,本研究显示了SOIF的三个适当片段的FOMQA具有可决定性,这是基于模型的特定规律,开发了自动机决策程序。
Abstract
We study the problem of finite ontology mediated query answering (
fomqa
), the variant of OMQA where the represented world is assumed to be finite, and thus only
finite models
of the ontology are considered. We ad
→