机译:基于定理证明的封闭世界语义下开放关系查询的推理控制
Tech Univ Dortmund, Fak Informat, D-44221 Dortmund, Germany;
Tech Univ Dortmund, Fak Informat, D-44221 Dortmund, Germany;
Tech Univ Dortmund, Fak Informat, D-44221 Dortmund, Germany;
Active domain; Combined lying and refusal; Confidentiality policy; Completeness sentence; Data publishing; Diagonalization function; Inference control; Lying; Open query; Theorem proving;
机译:关系数据的语义查询以用于临床智能:基于语义Web服务的方法
机译:图书馆管理系统关系数据库中基于本体的语义查询。
机译:基于语义距离的关系数据库上排名查询的评估
机译:用神经定理证明者学习知识库推理
机译:HOL定理证明器中基于角色的访问控制的模态逻辑。
机译:关系数据的语义查询以用于临床智能:基于语义Web服务的方法
机译:关系数据的语义查询以用于临床智能:基于语义Web服务的方法
机译:DLDB:扩展关系数据库以支持语义Web查询