Knowledge Representation and Reasoning; Query Answering; Ontologies;
机译:排名和未排名树上的逻辑可定义性和查询语言
机译:无限否定查询语言4QL的逻辑基础和复杂性
机译:类似于Haskell语言语义的句法逻辑关系族
机译:Datalog +/-:一个逻辑知识族代表和新的applicationseynote讲座的查询语言
机译:了解逻辑经验主义:卡纳普(Carnap)的“语言逻辑句法”中的语言工程。
机译:开发和验证查询使用结构化查询语言(SQL)确定存储在PACS上的放射学报告中比较成像的利用率
机译:在排名和未排名的树上的逻辑可定义性和查询语言
机译:具有复杂对象的逻辑查询语言的正确和高效接口