恃强凌弱的人
发表于 2025-3-23 12:06:03
On Expressive Description Logics with Composition of Roles in Number Restrictions, narrowing the decidability gap left open by Baader and Sattler’s results. In particular, we will show that .(◯) extended with inverse roles both in number and in value restrictions becomes undecidable, whereas it can be safely extended with qualified number restrictions without losing decidability of reasoning.
胆小懦夫
发表于 2025-3-23 15:50:17
http://reply.papertrans.cn/59/5881/588014/588014_12.png
注意
发表于 2025-3-23 18:13:11
http://reply.papertrans.cn/59/5881/588014/588014_13.png
消耗
发表于 2025-3-23 22:49:36
Matthias Baaz,Andrei VoronkovIncludes supplementary material:
ferment
发表于 2025-3-24 02:34:59
http://reply.papertrans.cn/59/5881/588014/588014_15.png
泛滥
发表于 2025-3-24 07:35:07
A Non-commutative Extension of MELL,(M EL)L . NEL . M E L,L ..
征税
发表于 2025-3-24 13:44:37
http://reply.papertrans.cn/59/5881/588014/588014_17.png
六个才偏离
发表于 2025-3-24 18:05:40
http://reply.papertrans.cn/59/5881/588014/588014_18.png
APRON
发表于 2025-3-24 20:02:12
0302-9743 Overview: Includes supplementary material: 978-3-540-00010-5978-3-540-36078-0Series ISSN 0302-9743 Series E-ISSN 1611-3349
Eeg332
发表于 2025-3-25 01:32:08
http://reply.papertrans.cn/59/5881/588014/588014_20.png