Absorption for ABoxes

Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell. Absorption for ABoxes. Journal of Automated Reasoning, 53(3):215-243, 2014. [doi]

Authors

Jiewen Wu

This author has not been identified. Look up 'Jiewen Wu' in Google

Alexander K. Hudek

This author has not been identified. Look up 'Alexander K. Hudek' in Google

David Toman

This author has not been identified. Look up 'David Toman' in Google

Grant E. Weddell

This author has not been identified. Look up 'Grant E. Weddell' in Google