Unification in the Description Logic EL Franz Baader and Barbara Morawska? Theoretical Computer Science, TU Dresden, Germany {baader,morawska Abstract. The Description Logic EL has recently drawn - Logic in computer science - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2009-07-07 04:46:34		Unification in the Description Logic EL Franz Baader and Barbara Morawska? Theoretical Computer Science, TU Dresden, Germany {baader,morawska}@tcs.inf.tu-dresden.de Abstract. The Description Logic EL has recently drawn Add to Reading List Source URL: ceur-ws.org Download Document from Source Website File Size: 185,12 KB Share Document on Facebook