结果：找到“描述逻辑”相关内容9个，排序为按回复时间降序，搜索更多相关帖子请点击“高级”
基于类型消除的描述逻辑SHIQbs的推理
决策图和析取数据表
0 个回复 - 311 次查看 摘要翻译： 提出了一种新的基于类型消除的描述逻辑SHIQbs的推理方法，该方法包含DL-safe规则。为此，我们首先建立了一种知识编译方法，将ALCIb知识库中的术语部分转换为表示规范模型的有序二元决策图(OBDD)。该OBDD又 ...2022-4-15 10:20 - 何人来此 - Forum
0 个回复 - 311 次查看 摘要翻译： 提出了一种新的基于类型消除的描述逻辑SHIQbs的推理方法，该方法包含DL-safe规则。为此，我们首先建立了一种知识编译方法，将ALCIb知识库中的术语部分转换为表示规范模型的有序二元决策图(OBDD)。该OBDD又 ...2022-4-15 10:20 - 何人来此 - Forum
描述逻辑本体如何从形式概念中受益的研究综述
分析
0 个回复 - 178 次查看 摘要翻译： 虽然概念作为共享某些性质的对象的集合的概念和概念层次的概念是形式概念分析和描述逻辑的基础，但在这两个研究领域中，概念的描述和获得方式有很大的不同。尽管存在这些差异，但已经有几次试图弥合这两种 ...2022-3-25 11:15 - kedemingshi - Forum
0 个回复 - 178 次查看 摘要翻译： 虽然概念作为共享某些性质的对象的集合的概念和概念层次的概念是形式概念分析和描述逻辑的基础，但在这两个研究领域中，概念的描述和获得方式有很大的不同。尽管存在这些差异，但已经有几次试图弥合这两种 ...2022-3-25 11:15 - kedemingshi - Forum
带GCIs的模糊描述逻辑的不可判定性
Lukasiewicz T-范数
0 个回复 - 236 次查看 摘要翻译： 近年来，关于具有一般概念包含的模糊描述逻辑（Fuzzy Description Logics，简称FDLs）的研究出现了一些意想不到的结果。结果表明，与经典情形不同的是，具有GCIs的DL ALC不具有Lukasiewicz逻辑或乘积逻辑 ...2022-3-18 19:00 - 可人4 - Forum
0 个回复 - 236 次查看 摘要翻译： 近年来，关于具有一般概念包含的模糊描述逻辑（Fuzzy Description Logics，简称FDLs）的研究出现了一些意想不到的结果。结果表明，与经典情形不同的是，具有GCIs的DL ALC不具有Lukasiewicz逻辑或乘积逻辑 ...2022-3-18 19:00 - 可人4 - Forum
基数限制和名词性推理的复杂性
在表达描述逻辑中
0 个回复 - 411 次查看 摘要翻译： 我们研究了描述逻辑ALCQ和ALCQI与基于概念基数限制的术语形式化相结合的复杂性。这些组合可以自然地嵌入到C^2中，C^2是带有计数量词的谓词逻辑的两个变量片段，从而在nexptime中产生可判定性。由于具有基 ...2022-3-8 18:47 - nandehutu2022 - Forum
0 个回复 - 411 次查看 摘要翻译： 我们研究了描述逻辑ALCQ和ALCQI与基于概念基数限制的术语形式化相结合的复杂性。这些组合可以自然地嵌入到C^2中，C^2是带有计数量词的谓词逻辑的两个变量片段，从而在nexptime中产生可判定性。由于具有基 ...2022-3-8 18:47 - nandehutu2022 - Forum
模糊描述逻辑中的推理
0 个回复 - 198 次查看 摘要翻译： 描述逻辑(DLs)是管理结构化知识的合适的、众所周知的逻辑。它们允许对个体和定义明确的概念进行推理，即具有共同属性的个体集合。在应用程序中使用DLs的经验表明，在许多情况下，我们希望扩展它们的功能。 ...2022-3-8 17:51 - 大多数88 - Forum
0 个回复 - 198 次查看 摘要翻译： 描述逻辑(DLs)是管理结构化知识的合适的、众所周知的逻辑。它们允许对个体和定义明确的概念进行推理，即具有共同属性的个体集合。在应用程序中使用DLs的经验表明，在许多情况下，我们希望扩展它们的功能。 ...2022-3-8 17:51 - 大多数88 - Forum
描述逻辑EL中的统一
0 个回复 - 311 次查看 摘要翻译： 描述逻辑最近引起了相当大的关注，一方面，重要的推理问题，如包容问题是多项式。另一方面，EL被用来定义大型生物医学本体。描述逻辑的统一作为一种新的推理服务被提出，例如，可以用来检测本体中的冗余。 ...2022-3-6 16:18 - 能者818 - Forum
0 个回复 - 311 次查看 摘要翻译： 描述逻辑最近引起了相当大的关注，一方面，重要的推理问题，如包容问题是多项式。另一方面，EL被用来定义大型生物医学本体。描述逻辑的统一作为一种新的推理服务被提出，例如，可以用来检测本体中的冗余。 ...2022-3-6 16:18 - 能者818 - Forum
语义在知识库频繁模式挖掘中的作用
在带规则的描述逻辑中
0 个回复 - 119 次查看 摘要翻译： 提出了一种基于语义Web本体和规则的频繁模式挖掘方法。特别地，我们考虑使用一种将描述逻辑与DL-safe规则相结合的语言的设置。该设置对于数据挖掘在语义Web中的实际应用非常重要。重点研究了表示形式的语 ...2022-3-6 08:37 - 何人来此 - Forum
0 个回复 - 119 次查看 摘要翻译： 提出了一种基于语义Web本体和规则的频繁模式挖掘方法。特别地，我们考虑使用一种将描述逻辑与DL-safe规则相结合的语言的设置。该设置对于数据挖掘在语义Web中的实际应用非常重要。重点研究了表示形式的语 ...2022-3-6 08:37 - 何人来此 - Forum
表达描述逻辑的语义相似性度量
0 个回复 - 234 次查看 摘要翻译： 提出了一种完全语义测度，该测度能够计算概念描述之间、概念描述与个体之间或以表达描述逻辑表示的个体之间的相似度值。它适用于符号描述，尽管它使用数值方法进行微积分。由于描述逻辑是本体知识表示和推 ...2022-3-4 19:42 - 大多数88 - Forum
0 个回复 - 234 次查看 摘要翻译： 提出了一种完全语义测度，该测度能够计算概念描述之间、概念描述与个体之间或以表达描述逻辑表示的个体之间的相似度值。它适用于符号描述，尽管它使用数值方法进行微积分。由于描述逻辑是本体知识表示和推 ...2022-3-4 19:42 - 大多数88 - Forum
【独家发布】【前瞻产业研究院】2018年智慧城市投资规模3万亿 未来将呈现四大发展趋势
0 个回复 - 899 次查看 智慧城市项目全国落地，规划投资达到3万亿元 目前全球已启动或在建的智慧城市已达1000多个，欧洲、北美、日韩是智能城市的领先区域。从智能城市在建设数量上来说，中国以500个试点城市居于首位，且已形成了长三角、 ...2018-11-27 18:31 - 流水本无意 - 行业分析报告
0 个回复 - 899 次查看 智慧城市项目全国落地，规划投资达到3万亿元 目前全球已启动或在建的智慧城市已达1000多个，欧洲、北美、日韩是智能城市的领先区域。从智能城市在建设数量上来说，中国以500个试点城市居于首位，且已形成了长三角、 ...2018-11-27 18:31 - 流水本无意 - 行业分析报告
