Using Tableau to Decide Expressive Description Logics with Role Negation (Article)

Links

See Also: http://data.semanticweb.org/conference/iswc-aswc/2007/tracks/research...
See Also: http://data.semanticweb.org/conference/iswc-aswc/2007/tracks/research...

Tags

Reviews (1)

Filled Star - Denotes One PointFilled Star - Denotes One PointFilled Star - Denotes One PointFilled Star - Denotes One PointEmpty Star - Denotes No Point by AxelPolleres on 13 Nov 2007

This paper pushes the boundaries of adding role negation in DLs, e.g. earlier results on ALC (http://citeseer.ist.psu.edu/lutz00mary.html). It is the typical DL approach, add some feature to DLs which still stays decidable, show some tableau algorithm extension to compute it. Fair enough. On the one hand, such work is important to push the DL boundaries and maybe inspiring the nwe OWL WG in W3C (see http://www.w3.org/2007/OWL/), however, he missies some fetures which are planned in SROIQ, the likely basis for the next version of OWL. On the other hand, one couls say, yet another Delta extension to DLs, what does this contribute to make the Semantic Web real? - Admittedly the latter is a purely subjective and arguable comment. Seems to be clean and sound work at a glance.

What do you think of Using Tableau to Decide Expressive Description Logics with Role Negation (Article)? Write Your Own Review...