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 |
Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents Drew McDermott Yale UniversityDocID: 1xV4m - View Document | |
PDF DocumentDocID: 1xQTu - View Document | |
PDF DocumentDocID: 1xBPs - View Document | |
PDF DocumentDocID: 1xzsE - View Document | |
PDF DocumentDocID: 1xlL7 - View Document |