机译:活动域谓词对受保护的存在规则的影响
Univ Oxford, Dept Comp Sci, Oxford, England;
Univ Edinburgh, Sch Informat, Edinburgh, Midlothian, Scotland;
Vienna Univ Technol, Inst Informat Syst, Vienna, Austria;
Rule-based languages; ontology-mediated queries; conjunctive queries; existential rules; tuple-generating dependencies; guardedness; expressive power; complexity;
机译:将受保护的现有规则重写为小型Datalog程序
机译:将受保护的现有规则重写为小型Datalog程序
机译:通过规则操作图和本地搜索在具有派生谓词的域中进行规划
机译:活动域谓词对受保护的存在规则的影响
机译:存在结构:句法谓词方法
机译:主动学习在化学探针识别中的适用性领域:非特定化合物学习的融合和决策规则的澄清
机译:主动域谓词对防护存在规则的影响