Approximate Unification in the Description Logic

Franz Baader, Pavlos Marantidis, Alexander Okhotin

Browse the full JELIA paper archive.