cfaed Publications
Approximate Unification in the Description Logic FL0
Reference
Franz Baader, Pavlos Marantidis, Alexander Okhotin, "Approximate Unification in the Description Logic FL0".
Bibtex
@article{baaderapproximate,
title={Approximate Unification in the Description Logic FL0},
author={Baader, Franz and Marantidis, Pavlos and Okhotin, Alexander}
}
title={Approximate Unification in the Description Logic FL0},
author={Baader, Franz and Marantidis, Pavlos and Okhotin, Alexander}
}
Downloads
No Downloads available for this publication
Related Paths
Permalink
https://cfaed.tu-dresden.de/publications?pubId=2003