Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract)
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract)
复制标题
通过概念和公式区分正负数据示例：受限签名的情况（摘要）
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
F. Wolter
中科院分区：
文献类型：
--
作者：
J. C. Jung;C. Lutz;Hadrien Pulcini;F. Wolter
在存在本体的情况下，根据描述逻辑（DL）概念和可判定的FO片段的公式，研究了正负数据示例的分离问题。与之前的工作相反，我们添加了一个签名，该签名指定了数据和本体中可用于分离的符号子集。我们考虑弱和强版本的结果问题，不同的是如何处理负面的例子。我们的主要结果是弱可分性在$mathcal{ALCI}$中是可判定的，而在保护片段GF、保护否定片段GNF和DL $mathcal{ALCFIO}$中是不可判定的，并且强可分性在$mathcal{ALCI}$、GF和GNF中是可判定的。我们还提供了（大多是严格的）复杂度界限。
We study the separation of positive and negative data examples in terms of description logic (DL) concepts and formulas of decidable FO fragments, in the presence of an ontology. In contrast to previous work, we add a signature that specifies a subset of the symbols from the data and ontology that can be used for separation. We consider weak and strong versions of the resulting problem that differ in how the negative examples are treated. Our main results are that (a projective form of) the weak version is decidable in $mathcal{ALCI}$ while it is undecidable in the guarded fragment GF, the guarded negation fragment GNF, and the DL $mathcal{ALCFIO}$, and that strong separability is decidable in $mathcal{ALCI}$, GF, and GNF. We also provide (mostly tight) complexity bounds.
影响因子：
5
作者：
Grau, Bernardo Cuenca;Horrocks, Ian;Sattler, Ulrike
通讯作者：
Sattler, Ulrike
保护片段和二变量片段中的保守扩展
DOI：
10.4230/lipics.icalp.2017.108
发表时间：
2017
期刊：
影响因子：
--
作者：
Jean Christoph Jung;Carsten Lutz;Mauricio Martel;Thomas Schneider;Frank Wolter
通讯作者：
Frank Wolter
描述逻辑知识库查询不可分性的博弈
影响因子：
14.4
作者：
Botoeva E
通讯作者：
Botoeva E