First Page | Document Content | |
---|---|---|
Date: 2011-09-08 09:53:48Ontology Non-classical logic Philosophical logic Model theory Quantification Description logic Tbox Abox Knowledge representation and reasoning Logic Science Mathematical logic | 2 Basic Description Logics Franz BaaderAdd to Reading ListSource URL: www.inf.unibz.itDownload Document from Source WebsiteFile Size: 369,30 KBShare Document on Facebook |