Compatibility Formalization Between PR-OWL and OWL.

Rommel N. Carvalho, Kathryn Blackmond Laskey, Paulo Cesar G. da Costa

Browse the full CADE paper archive.