DMCA

Hybrid Unification in the Description Logic EL

by Franz Baader , Oliver Fernández Gil , Barbara Morawska