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

恃强凌弱的人

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 ..

征税

六个才偏离

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