Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions

Authors:	Ralf?Küsters author-information" > author-information__contact u-icon-before" > mailto:kuesters@ti.informatik.uni-kiel.de" title=" kuesters@ti.informatik.uni-kiel.de" itemprop=" email" data-track=" click" data-track-action=" Email author" data-track-label=" " >Email author,Ralf?Molitor

Affiliation:	1.Christian-Albrechts-Universit?t zu Kiel,Institut für Informatik,Kiel,Germany;2.Swiss Life,Zürich,Switzerland

Abstract:

Keywords:
本文献已被 SpringerLink 等数据库收录！