首页> 外文OA文献 >Structural subsumption and least common subsumers in a description logic with existential and number restrictions

【2h】

Structural subsumption and least common subsumers in a description logic with existential and number restrictions

机译：具有存在性和数量限制的描述逻辑中的结构包含和最不常见的子包含

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Ralf Küsters; Ralf Molitor;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions [J] . Ralf Küsters, Ralf Molitor Studia Logica . 2005,第2期

机译：具有存在和数量限制的描述逻辑中的结构包含和最小公共包含
2. A Compact Representation for Least Common Subsumers in the description logic ALE [J] . Chan Le Duc, Nhan Le Thanh, Marie-Christine Rousset AI communications . 2006,第3期

机译：描述逻辑ALE中最不常见的使用者的紧凑表示
3. Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ÎµL, ÎµL~+ and their Extensions with n-ary Roles and Numerical Domains [J] . Sofronie-Stokkermans Viorica Fundamenta Informaticae . 2017,第3a4期

机译：描述逻辑中的归档测试和插值的表示定理和途径＆＆＆+及其具有n-ary角色和数值域的扩展
4. Computing the Number Restriction Deduced from the Existential Restriction in Description Logic with Primitive Negation, Existential Restriction and Number Restriction [C] . Zhang Wei, Qin Junming, Wang Ju, International Conference on Fuzzy Systems and Knowledge Discovery . 2008

机译：计算在描述逻辑中所推断的数字限制，具有原始否定，存在限制和数量限制
5. Tableau -based reasoning for description logics with inverse roles and number restrictions [D] . Ding, Yu 2008

机译：具有反作用和数量限制的基于Tableau的描述逻辑推理
6. Investigating subsumption in SNOMED CT: An exploration into large description logic-based biomedical terminologies [O] . Olivier Bodenreider, Barry Smith, Anand Kumar, -1

机译：调查SNOMED CT中的归类：对基于大描述逻辑的生物医学术语的探索
7. Computing Least Common Subsumers in Expressive Description Logics [O] . Thomas Mantay 1999

机译：在表达描述逻辑中计算最少的普通消费者

Structural subsumption and least common subsumers in a description logic with existential and number restrictions

著录项

引文网络

相似文献

相关主题

期刊订阅