When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
By Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler. Introduction; 2. A basic DL; 3. A little bit of model theory; 4. Reasoning in DLs with tableau algorithms; 5. Complexity; 6. Query answering; 8.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.