Fixed-Domain Reasoning for Description Logics Sarah Gaggl, Sebastian Rudolph, Lukas Schweizer Technische Universit¨at Dresden Computational Logic Group - TU Dresden - Document - PDFSEARCH.IO

First Page	Meta Content
	Fixed-Domain Reasoning for Description Logics Sarah Gaggl, Sebastian Rudolph, Lukas Schweizer Technische Universit¨at Dresden Computational Logic Group Add to Reading List Document Date: 2016-04-18 09:24:20 Open Document File Size: 360,81 KB Share Result on Facebook

Fixed-Domain Reasoning for Description Logics Sarah Gaggl, Sebastian Rudolph, Lukas Schweizer Technische Universit¨at Dresden Computational Logic Group Add to Reading List