- 5
- 0
- 约2.65万字
- 约 7页
- 2017-10-15 发布于上海
- 举报
一种带传递关系的认知描述逻辑研究 study of an epistemic description logic with transitive roles
计算机研究与发展 ISSN 11—1777/TP
1000—12391CN
of Researchand
JournalComputer Development
一种带传递关系的认知描述逻辑研究
曹 逸 徐德智 陈建二 管庆华
(中南大学信息科学与工程学院长沙410083)
(csu.cy@163.corn)
ofan withTransitiveRoles
Study EpistemicDescriptionLogic
Cao Guan
Yi,XuDezhi,ChenJianer,andQinghua
Scienceand South 410083)
(CollegeofInformation Engineering,CentralUniversity,Changsha
Abstract isthe fo
您可能关注的文档
- 取代酚对日本长腿蛙蝌蚪急性毒性的qsar研究 qsar study of substituted phenol compounds'acute toxicities to rana japonica todpoles.pdf
- 区间值信息系统的知识约简 approaches to knowledge reduction in interval-valued information systems.pdf
- 判别最小平方有序回归 discriminative least squares ordinal regression.pdf
- 取代乙酸脱羧反应机理的dft研究 dft study on the mechanisms of decarboxylation of substituted acetic acid.pdf
- 全变差与曲波联合稀疏表示模型与原对偶算法 total variation-curvelet joint sparse representation model and primal-dual algorithm.pdf
- 全定制心电采集的模拟集成电路设计 a full custom analog ic for ecg measurement.pdf
- 全景式航空相机的离散滑模控制 discrete-time sliding-mode control in panoramic aerial camera.pdf
- 千万亿次科学计算的原位可视化 in-situ visualization for peta-scale scientific computation.pdf
- 全局和声搜索方法及其在仿人灵巧臂逆运动学求解中的应用 a global harmony search algorithm and its application to inverse kinematics problem for humanoid arm.pdf
- 区间时滞相关离散非线性系统的鲁棒模型预测控制 robust model predictive control for discrete-time nonlinear systems with delay-range-dependent.pdf
- 一种粗糙地形下四足仿生机器人的柔顺步态生成方法 compliant gait generation for a quadruped bionic robot walking on rough terrains.pdf
- 一种层次化的联合识别模型 a hierarchical model for joint object detection and pose estimation.pdf
- 一种蛋白质与肽段全柔性计算对接方法 a computational method for protein-peptide docking with full flexibility.pdf
- 一种单gpu程序向多gpu移植的模板化技术 a template technology for transplanting from single-gpu programs to multi-gpu programs.pdf
- 一种大规模网络中基于节点结构特征映射的链接预测方法 a link prediction method for large-scale networks.pdf
- 一种尺蠖运动式微小机器人在显微操作应用中的建模与控制研究 research on modeling and control of a kind of inchworm-type miniature robot in micro operation.pdf
- 一种动态分布式约束优化问题协同求解算法 a collaborative solving algorithm for dynamic distributed constraint optimization problem.pdf
- 一种低开销的异构可变相联度二级cache结构 a low-overhead heterogeneous variable way l2 cache.pdf
- 一种低开销的面向节点内互连的网络接口控制器 a low overhead intra-node interconnection oriented network interface controller.pdf
- 一种多变元网络可视化方法 multivariate network visualization paradigm.pdf
最近下载
- 产品结构之设计准则及机构安全规范模板.doc VIP
- 工厂项目数字化交付初步实践.pdf VIP
- 技能等级考试(农业试验工)历年参考题库含答案详解.docx VIP
- 读《情绪勒索》有感800字.docx VIP
- 第三章ADAMS.PostProcessor界面介绍教程.ppt VIP
- 征信电子版PDF个人信用报告简版2024年12月最新版可编辑带水印模板.pdf VIP
- 一种基于PLC的热电厂蒸汽热量回收系统.pdf VIP
- 2024年潍坊高新区招聘聘任制教师真题.docx VIP
- Module 4 Unit 3 Language in use 说课稿 2024-2025学年外研版八年级英语上册.docx VIP
- 水质工程学考试试卷(含答案).pdf VIP
原创力文档

文档评论(0)