首页> 外文OA文献 >Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog

【2h】

Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog

机译：来自截障描述逻辑的多项式重写，封闭谓词对Datalog的变体

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Shqiponja Ahmetaj; Magdalena Ortiz; Mantas Šimkus;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
专利

1. Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog [J] . Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus Artificial intelligence . 2020,第Mara期

机译：从具有闭合谓词的表达性描述逻辑到Datalog变体的多项式重写
2. Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog [J] . Journal of Virological Methods . 2020,第期

机译：来自截障描述逻辑的多项式重写，封闭谓词对Datalog的变体
3. Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics [J] . Lutz Carsten, Kuusisto Antti, Feier Cristina Logical Methods in Computer Science . 2019,第2期

机译：Monadic析取数据日志，MMSNP和表达描述逻辑中的可重写性
4. Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates [C] . Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus International Joint Conference on Artificial Intelligence . 2016

机译：多项式Datalog用于闭合谓词的富有表达描述逻辑的重写
5. Automated Semantic Forgetting for Expressive Description Logics [D] . Zhao, Yizheng. 2018

机译：表达描述逻辑的自动语义遗忘
6. Why Do It the Hard Way? The Case for an Expressive Description Logic for SNOMED [O] . Alan L. Rector, Sebastian Brandt 2008

机译：为什么要艰难？ SNOMED的表达描述逻辑的情况
7. On the relative expressiveness of description logics and predicate logics [O] . Borgida Alex 1996

机译：论描述逻辑和谓词逻辑的相对表达
8. An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic [R] . Mattison, R. 1969

机译：一阶谓词逻辑模型理论及相关时态逻辑

Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog

著录项

引文网络

相似文献

相关主题

期刊订阅