First Page | Document Content | |
---|---|---|
![]() Date: 2012-12-09 05:17:19Information science Semantic Web Z notation Ontology Knowledge representation Axiom Web Ontology Language S Type theory Mathematical logic Logic Science | Add to Reading List |
![]() | 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 |