Titlebook: Logic for Programming, Artificial Intelligence, and Reasoning; 9th International Co Matthias Baaz,Andrei Voronkov Conference proceedings 20

恃強(qiáng)凌弱的人

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.

膽小懦夫

注意

消耗

Matthias Baaz,Andrei VoronkovIncludes supplementary material:

ferment

泛濫

A Non-commutative Extension of MELL,(M EL)L . NEL . M E L,L ..

征稅

六個(gè)才偏離

APRON

0302-9743 Overview: Includes supplementary material: 978-3-540-00010-5978-3-540-36078-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

Eeg332