RE: Intersection of properties?

Two questions for my interest:

Bijan Parsia wrote:

>On Aug 3, 2008, at 7:58 PM, Jeff Thompson wrote:

>> And yet, the argument against
>> adding more expressiveness to OWL 2 (still decidable) is the fear
>> that not enough people will implement it and so that "OWL 2 compliant"
>> won't mean much.
>
>What? The argument against boolean role boxes, in general, is that
>it's relatively hard to do and there's been relatively little demand
>for it. 

Question 1: Is sROIQ + role intersection known to be decidable? The
Complexity simulator [1] only tells me that concept satisfiability is
NExpTime hard, but there's no explicit statement that this language is
decidable. (For sROIQ, however, there exists such an explicit statement.)
But maybe this statement has just been forgotten, or the entry is not up to
date with the literature. So what's the state here? 

>ALBO is *very* expressive but, you know, doesn't have
>cardinality restrictions.

Question 2: I guess that the "B" stands for "[B]oolean role box", and
probably subsumes a few more language features, too, right? (I don't find
"B" mentioned in the complexity simulator.)

Thanks in advance,
Michael

[1] <http://www.cs.man.ac.uk/~ezolin/dl/>

--
Dipl.-Inform. Michael Schneider
FZI Forschungszentrum Informatik Karlsruhe
Abtl. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: Michael.Schneider@fzi.de
Web  : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555

FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts
Az: 14-0563.1 Regierungspräsidium Karlsruhe
Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus