首页> 外文OA文献 >How to decide query containment under constraints using a description logic

【2h】

How to decide query containment under constraints using a description logic

机译：如何使用描述逻辑确定约束下的查询包含

页面导航

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

著录项

作者
Ian Horrocks; Sergio Tessaris; Ulrike Sattler; Stephan Tobies;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Conjunctive Query Containment and Answering Under Description Logic Constraints [J] . DIEGO CALVANESE, GIUSEPPE DE GIACOMO, MAURIZIO LENZERINI ACM transactions on computational logic . 2008,第3期

机译：描述逻辑约束下的联合查询包含和应答
2. A Technique for Proving Decidability of Containment and Equivalence of Linear Constraint Queries [J] . Oscar H. Ibarra, Jianwen Su Journal of Computer and System Sciences . 1999,第1期

机译：证明线性约束查询的包含性和等价性的一种技术
3. On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases [J] . Geerts F, Kuijpers B Theoretical computer science . 2005,第1期

机译：多项式约束数据库的传递闭合逻辑中查询评估终止的可判定性
4. How to decide query containment under constraints using a description logic [C] . Ian Horrocks, Ulrike Sattler, Sergio Tessaris, International conference on logic for programming and automated reasoning . 2000

机译：如何使用描述逻辑决定在约束下查询密封件
5. Query containment theory and its relevance to secure query processing [D] . Shieh, Wen-Gong 1992

机译：查询包含理论及其与安全查询处理的相关性
6. Towards improved knowledge sharing: assessment of the HL7 Reference Information Model to support medical logic module queries. [O] . R. A. Jenders, W. Sujansky, C. A. Broverman, 1997

机译：迈向更好的知识共享：评估HL7参考信息模型以支持医学逻辑模块查询。
7. How to decide query containment under constraints using a description logic [O] . Horrocks Ian, Sattler Ulrike, Tessaris Sergio, 2000

机译：如何使用描述逻辑确定约束下的查询包含

How to decide query containment under constraints using a description logic

著录项

引文网络

相似文献

相关主题

期刊订阅