Extracted Annotations (Wed Dec 18 18:10:48 2013)
\n\"In order to improve scalability, many Semantic Web query answering systems give up completeness (i.e., they do not guarantee to return all query answers). It may be useful or even critical to the designers and users of such systems to understand how m\" (Stoilos et al 2010:1)
\n\"kind of information is (potentially) being lost. to return all query answers). It may be useful or even critical to the designers and users of such systems to understand how much and what\" (Stoilos et al 2010:1)
\n\"A major difficulty with incomplete CQ answering systems is determining “how incomplete” they are. Thus, application developers may find it difficult to assess whether a system meets their needs.\" (Stoilos et al 2010:1)
\n\"according to our framework, Sesame is incomplete for queries Q2, Q4 and Q5. This is not surprising, as these queries use inverse roles (e.g., memb erOf and memb er ), which Sesame does not handle. The resulting incompleteness, however, is rather severe (e.g. Sesame is only 20% complete for Q4). However, the LUBM generator does not create assertions involving the role memb er and hence Sesame is complete for these queries w.r.t. the LUBM data. For Q6 OWLim fails to entail T [ fGraduateStudent(a)g j= Student(a) since it is not complete for inferences involving existential quantification and GraduateStudent v Student follows from v 9takesCourse:GraduateCourse; GraduateStudent v Course, GraduateCourse ≡ 9takesCourse:Course Student Minerva and HAWK use a DL reasoner to classify the ontology and make explicit subsumptions between atomic These two systems fail to entail Q5(a) from concepts. T [ fheadOf (a; b)g, which follows from the entailment T j= 9headOf :> v Person involving a complex concept. These examples suggest that the identified sources of incompleteness could easily occur in realistic data.\" (Stoilos et al 2010:6)
", "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-19T15:38:42Z" } }, { "key": "ZET5CNFC", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/ZET5CNFC", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/ZET5CNFC", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/ZB8S7QW2", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "ZET5CNFC", "version": 3, "parentItem": "ZB8S7QW2", "itemType": "attachment", "linkMode": "imported_url", "title": "Tsarkov_Horrocks_2006_FaCT++ description logic reasoner.pdf", "accessDate": "2013-08-09T17:08:23Z", "url": "http://link.springer.com.login.ezproxy.library.ualberta.ca/content/pdf/10.1007%2F11814771_26.pdf", "note": "", "contentType": "application/pdf", "charset": "utf-8", "filename": "Tsarkov_Horrocks_2006_FaCT++ description logic reasoner.pdf", "md5": "e8c69f865c7ade1402eafc2e655502fa", "mtime": 1387408891000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:22:05Z" } }, { "key": "DVS5KD7N", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/DVS5KD7N", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/DVS5KD7N", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/44NKZAVX", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "DVS5KD7N", "version": 3, "parentItem": "44NKZAVX", "itemType": "attachment", "linkMode": "imported_url", "title": "Tempich_Volz_2003_Towards a benchmark for Semantic Web reasoners-an analysis of the DAML ontology.pdf", "accessDate": "2013-08-09T17:02:11Z", "url": "http://ceur-ws.org/Vol-87/EON2003_Tempich.pdf", "note": "", "contentType": "application/pdf", "charset": "utf-8", "filename": "Tempich_Volz_2003_Towards a benchmark for Semantic Web reasoners-an analysis of the DAML ontology.pdf", "md5": "ac65221dbbc84edc6c4311a585b05563", "mtime": 1387408891000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:22:03Z" } }, { "key": "VF786V2R", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/VF786V2R", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/VF786V2R", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/RA8GIA4C", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "VF786V2R", "version": 3, "parentItem": "RA8GIA4C", "itemType": "attachment", "linkMode": "imported_url", "title": "Stoilos et al_2010_How Incomplete is Your Semantic Web Reasoner.pdf", "accessDate": "2013-08-09T17:02:54Z", "url": "http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/viewFile/1574/2226", "note": "", "contentType": "application/pdf", "charset": "utf-8", "filename": "Stoilos et al_2010_How Incomplete is Your Semantic Web Reasoner.pdf", "md5": "83fae456ef912cca5cd506d946932300", "mtime": 1387408890000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:22:01Z" } }, { "key": "WMUJUS6K", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/WMUJUS6K", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/WMUJUS6K", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/KPCG6S3R", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "WMUJUS6K", "version": 3, "parentItem": "KPCG6S3R", "itemType": "attachment", "linkMode": "imported_url", "title": "Shadbolt et al_2006_The semantic web revisited.pdf", "accessDate": "2013-12-17T16:42:55Z", "url": "http://eprints.soton.ac.uk/262614/1/real/OLD_Semantic_Web_Revisted.pdf", "note": "", "contentType": "application/pdf", "charset": "utf-8", "filename": "Shadbolt et al_2006_The semantic web revisited.pdf", "md5": "102bb7d4ca5a66dae3340c2c6201ef30", "mtime": 1387408890000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:59Z" } }, { "key": "S9NHN6D6", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/S9NHN6D6", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/S9NHN6D6", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/7RFNHTAT", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "S9NHN6D6", "version": 3, "parentItem": "7RFNHTAT", "itemType": "attachment", "linkMode": "imported_url", "title": "Serafini_Tamilin_2005_Drago.pdf", "accessDate": "2013-08-09T17:05:44Z", "url": "http://link.springer.com.login.ezproxy.library.ualberta.ca/content/pdf/10.1007%2F11431053_25.pdf", "note": "", "contentType": "application/pdf", "charset": "utf-8", "filename": "Serafini_Tamilin_2005_Drago.pdf", "md5": "3f867d39076ce7f0b335c92841212841", "mtime": 1387408890000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:57Z" } }, { "key": "EIZ8RIA7", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/EIZ8RIA7", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/EIZ8RIA7", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/CX3KVN44", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "EIZ8RIA7", "version": 3, "parentItem": "CX3KVN44", "itemType": "attachment", "linkMode": "imported_url", "title": "Parsia_Sirin_2004_Pellet.pdf", "accessDate": "2013-08-09T16:56:47Z", "url": "http://iwayan.info/Research/Ontology/Papers_Research/Reasoner/Parsia_PelletOWLDLReasoner.pdf", "note": "", "contentType": "application/pdf", "charset": "utf-8", "filename": "Parsia_Sirin_2004_Pellet.pdf", "md5": "b2620ace7ab3000c687bba2eb874c694", "mtime": 1387408890000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:55Z" } }, { "key": "IN9WTXAI", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/IN9WTXAI", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/IN9WTXAI", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/QMWCTQ9Z", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "IN9WTXAI", "version": 3, "parentItem": "QMWCTQ9Z", "itemType": "attachment", "linkMode": "imported_url", "title": "Motik et al_2012_Delta-reasoner.pdf", "accessDate": "2013-08-09T17:15:59Z", "url": "http://delivery.acm.org/10.1145/2190000/2187988/p63-motik.pdf?ip=142.244.41.12&id=2187988&acc=ACTIVE%20SERVICE&key=C2716FEBFA981EF13C3212F8109A17815D6D2375E6B1B013&CFID=352894499&CFTOKEN=79332549&__acm__=1376068842_10b9b2e4abb97ecba158f130b97633b5", "note": "", "contentType": "application/pdf", "charset": "utf-8", "filename": "Motik et al_2012_Delta-reasoner.pdf", "md5": "6a2ba77f6c02f0782f957a9ca533d548", "mtime": 1387408890000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:53Z" } }, { "key": "MZGBMR9S", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/MZGBMR9S", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/MZGBMR9S", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/9D3WHEKW", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "MZGBMR9S", "version": 3, "parentItem": "9D3WHEKW", "itemType": "attachment", "linkMode": "imported_url", "title": "Mishra_Kumar_2010_Semantic web reasoners and languages.pdf", "accessDate": "2013-08-09T17:16:45Z", "url": "http://link.springer.com.login.ezproxy.library.ualberta.ca/content/pdf/10.1007%2Fs10462-010-9197-3.pdf", "note": "", "contentType": "application/pdf", "charset": "utf-8", "filename": "Mishra_Kumar_2010_Semantic web reasoners and languages.pdf", "md5": "7d4c9d2428f7f3f34d9adbdcd9260384", "mtime": 1387408890000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:51Z" } }, { "key": "ZTGZZ97J", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/ZTGZZ97J", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/ZTGZZ97J", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/7EWXE6NV", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "ZTGZZ97J", "version": 3, "parentItem": "7EWXE6NV", "itemType": "attachment", "linkMode": "imported_url", "title": "Kopena_Regli_2003_DAMLJessKB.pdf", "accessDate": "2013-08-09T17:01:28Z", "url": "http://link.springer.com.login.ezproxy.library.ualberta.ca/content/pdf/10.1007%2F978-3-540-39718-2_40.pdf", "note": "", "contentType": "application/pdf", "charset": "utf-8", "filename": "Kopena_Regli_2003_DAMLJessKB.pdf", "md5": "894b8f162928415075dab94187fb5c94", "mtime": 1387408890000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:49Z" } }, { "key": "TGD47EBS", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/TGD47EBS", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/TGD47EBS", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/394RCXXP", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "TGD47EBS", "version": 3, "parentItem": "394RCXXP", "itemType": "attachment", "linkMode": "imported_url", "title": "Klinov_2008_Pronto.pdf", "accessDate": "2013-08-09T17:09:58Z", "url": "http://link.springer.com.login.ezproxy.library.ualberta.ca/content/pdf/10.1007%2F978-3-540-68234-9_66.pdf", "note": "", "contentType": "application/pdf", "charset": "utf-8", "filename": "Klinov_2008_Pronto.pdf", "md5": "2b2962a53894bf16b0c29c5d828708b1", "mtime": 1387408890000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:47Z" } }, { "key": "9EW5MHPJ", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/9EW5MHPJ", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/9EW5MHPJ", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/XUGB6HRA", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "9EW5MHPJ", "version": 3, "parentItem": "XUGB6HRA", "itemType": "attachment", "linkMode": "imported_url", "title": "Haarslev_Möller_2003_Racer.pdf", "accessDate": "2013-08-09T17:11:00Z", "url": "http://www.sts.tu-harburg.de/~r.f.moeller/racer/papers/2003/HaMo03d.pdf", "note": "", "contentType": "application/pdf", "charset": "utf-8", "filename": "Haarslev_Möller_2003_Racer.pdf", "md5": "d74a56e95b765a824afdce77029f80b8", "mtime": 1387408890000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:45Z" } }, { "key": "MTMJ3JSZ", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/MTMJ3JSZ", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/MTMJ3JSZ", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/ZSIP343C", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "MTMJ3JSZ", "version": 3, "parentItem": "ZSIP343C", "itemType": "attachment", "linkMode": "imported_url", "title": "Haarslev_Möller_2003_Racer.pdf", "accessDate": "2013-12-17T16:39:19Z", "url": "http://www.franz.com/agraph/racer/Racer_whitepaper.pdf", "note": "", "contentType": "application/pdf", "charset": "utf-8", "filename": "Haarslev_Möller_2003_Racer.pdf", "md5": "d5c7783020bd4266010ce87c464c871e", "mtime": 1387408890000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:43Z" } }, { "key": "7ZDFGECW", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/7ZDFGECW", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/7ZDFGECW", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/T9UFUUKW", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "7ZDFGECW", "version": 3, "parentItem": "T9UFUUKW", "itemType": "attachment", "linkMode": "imported_url", "title": "Golbreich_2004_Combining Rule and Ontology Reasoners for the Semantic Web - Springer.pdf", "accessDate": "2013-08-09T16:58:02Z", "url": "http://link.springer.com.login.ezproxy.library.ualberta.ca/content/pdf/10.1007%2F978-3-540-30504-0_2.pdf", "note": "", "contentType": "application/pdf", "charset": "utf-8", "filename": "Golbreich_2004_Combining Rule and Ontology Reasoners for the Semantic Web - Springer.pdf", "md5": "c812b1bc249705f5ecc8931273f901ae", "mtime": 1387408890000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:41Z" } }, { "key": "ZDKCNHXG", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/ZDKCNHXG", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/ZDKCNHXG", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/S7J43M3D", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "ZDKCNHXG", "version": 3, "parentItem": "S7J43M3D", "itemType": "attachment", "linkMode": "imported_url", "title": "Dickinson_Wooldridge_2003_Towards practical reasoning agents for the semantic web.pdf", "accessDate": "2013-08-09T17:20:14Z", "url": "http://delivery.acm.org/10.1145/870000/860708/p827-dickinson.pdf?ip=142.244.41.12&id=860708&acc=ACTIVE%20SERVICE&key=C2716FEBFA981EF13C3212F8109A17815D6D2375E6B1B013&CFID=352894499&CFTOKEN=79332549&__acm__=1376069099_62b7e26f3e80e4770247e102792ca618", "note": "", "contentType": "application/pdf", "charset": "utf-8", "filename": "Dickinson_Wooldridge_2003_Towards practical reasoning agents for the semantic web.pdf", "md5": "0d4e580df10972baef7890f6bc543dba", "mtime": 1387408890000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:39Z" } }, { "key": "5BAJ388S", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/5BAJ388S", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/5BAJ388S", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/N5RMTM97", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "5BAJ388S", "version": 3, "parentItem": "N5RMTM97", "itemType": "attachment", "linkMode": "imported_url", "title": "Chen et al_2004_Intelligent agents meet the semantic Web in smart spaces.pdf", "accessDate": "2013-12-17T16:47:46Z", "url": "http://ieeexplore.ieee.org.login.ezproxy.library.ualberta.ca/ielx5/4236/29773/01355924.pdf?tp=&arnumber=1355924&isnumber=29773", "note": "", "contentType": "application/pdf", "charset": "", "filename": "Chen et al_2004_Intelligent agents meet the semantic Web in smart spaces.pdf", "md5": "7bea0e7a8011b3a29af96963cc93d699", "mtime": 1387408890000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:37Z" } }, { "key": "RPFGIWVH", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/RPFGIWVH", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/RPFGIWVH", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/8QGZD3BR", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "RPFGIWVH", "version": 3, "parentItem": "8QGZD3BR", "itemType": "attachment", "linkMode": "imported_url", "title": "Bobillo_Straccia_2008_fuzzyDL.pdf", "accessDate": "2013-08-09T17:17:49Z", "url": "http://ieeexplore.ieee.org.login.ezproxy.library.ualberta.ca/ielx5/4625776/4630333/04630480.pdf?tp=&arnumber=4630480&isnumber=4630333", "note": "", "contentType": "application/pdf", "charset": "", "filename": "Bobillo_Straccia_2008_fuzzyDL.pdf", "md5": "a1837f31a8a5ca677de81dec94897751", "mtime": 1387408890000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:35Z" } }, { "key": "MJ7CVPNC", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/MJ7CVPNC", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/MJ7CVPNC", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/2TF84GSP", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "MJ7CVPNC", "version": 3, "parentItem": "2TF84GSP", "itemType": "attachment", "linkMode": "imported_url", "title": "Berners-Lee et al_2001_The semantic web.pdf", "accessDate": "2013-12-17T16:41:36Z", "url": "http://isel2918929391.googlecode.com/svn-history/r347/trunk/RPC/Slides/p01_theSemanticWeb.pdf", "note": "", "contentType": "application/pdf", "charset": "", "filename": "Berners-Lee et al_2001_The semantic web.pdf", "md5": "ecedfaf85825dcc82e8b278171a9eef9", "mtime": 1387408890000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:33Z" } }, { "key": "6C2FCSNR", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/6C2FCSNR", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/6C2FCSNR", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/4FSMFTMJ", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "6C2FCSNR", "version": 3, "parentItem": "4FSMFTMJ", "itemType": "attachment", "linkMode": "imported_url", "title": "Bassiliades et al_2004_DR-DEVICE.pdf", "accessDate": "2013-08-09T17:07:38Z", "url": "http://link.springer.com.login.ezproxy.library.ualberta.ca/content/pdf/10.1007%2F978-3-540-30504-0_5.pdf", "note": "", "contentType": "application/pdf", "charset": "utf-8", "filename": "Bassiliades et al_2004_DR-DEVICE.pdf", "md5": "c8c0114f7262df057bb067f573b1262a", "mtime": 1387408890000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:31Z" } }, { "key": "2FS425V3", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/2FS425V3", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/2FS425V3", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/KE2IHGEH", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } } }, "data": { "key": "2FS425V3", "version": 3, "parentItem": "KE2IHGEH", "itemType": "attachment", "linkMode": "imported_url", "title": "IEEE Xplore Download", "accessDate": "2013-08-09T17:11:54Z", "url": "http://ieeexplore.ieee.org.login.ezproxy.library.ualberta.ca/stamp/stamp.jsp?tp=&arnumber=1355924", "note": "", "contentType": "text/html", "charset": "utf-8", "filename": "stamp.html", "md5": "372e002ff969f776b80da0dc05aefb20", "mtime": 1387408890000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:28Z" } }, { "key": "43FU6ZD4", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/43FU6ZD4", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/43FU6ZD4", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/T9UFUUKW", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } } }, "data": { "key": "43FU6ZD4", "version": 3, "parentItem": "T9UFUUKW", "itemType": "attachment", "linkMode": "imported_url", "title": "Combining Rule and Ontology Reasoners for the Semantic Web - Springer", "accessDate": "2013-08-09T16:58:26Z", "url": "http://link.springer.com.login.ezproxy.library.ualberta.ca/chapter/10.1007/978-3-540-30504-0_2", "note": "", "contentType": "text/html", "charset": "utf-8", "filename": "978-3-540-30504-0_2.html", "md5": "c9ff21e6ea367ce1394ab2c265c91dad", "mtime": 1387408889000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:28Z" } }, { "key": "78T7FPFJ", "version": 3, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/78T7FPFJ", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/78T7FPFJ", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/N5RMTM97", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } } }, "data": { "key": "78T7FPFJ", "version": 3, "parentItem": "N5RMTM97", "itemType": "attachment", "linkMode": "imported_url", "title": "IEEE Xplore Abstract Record", "accessDate": "2013-12-17T16:47:49Z", "url": "http://ieeexplore.ieee.org.login.ezproxy.library.ualberta.ca/xpls/abs_all.jsp?arnumber=1355924&tag=1", "note": "", "contentType": "text/html", "charset": "utf-8", "filename": "abs_all.html", "md5": "83463a1f4db9d296c1410d9d7db1b2cc", "mtime": 1387408889000, "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:28Z" } }, { "key": "PUQKZEQQ", "version": 2, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/PUQKZEQQ", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/PUQKZEQQ", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/QMWCTQ9Z", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "PUQKZEQQ", "version": 2, "parentItem": "QMWCTQ9Z", "itemType": "note", "note": "Extracted Annotations (Wed Dec 18 18:10:54 2013)
\n\"mobile devices nowadays routinely contain a GPS receiver, compass, accelerometer, and gyroscop e, and they can typically connect to WiFi and Blueto oth networks. Using data obtained from these sensors, p ossibly in combination with information accessed via the Internet, a mobile device can identify the context that it is b eing used in.\" (Motik et al 2012:63)
\n\"The goal of context-aware applications is to exploit the context information in an intelligent way for the purp ose of helping the device owner in organising his daily life.\" (Motik et al 2012:63)
\n\"Intelligent Mobile Platform (IMP)\" (Motik et al 2012:63)
\n\"To provide the required knowledge management and reasoning services, several nontrivial questions must b e answered. The rst question is how to represent the knowledge used for reasoning in an adequate way. The second question is how to e ciently implement reasoning for the selected knowledge representation language. The third question concerns adequate to ol supp ort. veloping the necessary infrastructure from scratch can b e very time consuming, so reusing existing software is likely to considerably reduce the development cycle.\" (Motik et al 2012:64)
\n\"Since the sensor readings change very frequently, DeltaReasoner must continuously up date the conclusions that it can draw from its ontology. Recomputing all conclusions from scratch every couple of seconds would clearly imp ose signi cant load on the limited resources of mobile devices. To this end, Delta-Reasoner uses incremental reasoning [18, 8]: after each change, our reasoner just computes the difference b etween the old and the new set of consequences, which considerably conserves resources.\" (Motik et al 2012:64)
\n\"A set of axioms describing a domain of interest is commonly called a TBox. Sets of triples are commonly called (RDF) graphs or ABoxes.\" (Motik et al 2012:65)
\n\"SWRL allows users to state rules that check for complex conditions. For example, the following rule states that if the device lo cation is the same as the lo cation of another ob ject, then the device is lo cated near this ob ject:\" (Motik et al 2012:65)
\n\"Existing OWL reasoners can b e broadly divided into two groups, according to the kind of implemented reasoning algorithm. In the rst group are reasoners such as Pellet [16], HermiT [15], FaCT++ [19], and RACER [9] that are based on provably correct (hyp er)tableau calculi. These calculi can typically handle all or most of OWL 2 DL, and they can solve a wide range of reasoning tasks, such as classifying an ontology and checking ontology entailment; hence, (hyp er)tableau calculi are particularly useful in applications that require extensive reasoning ab out the schema (i.e., reasoning ab out the de nitions of classes and prop erties). In the second group are reasoners such as Jena [3], Jena2 [23], Oracle [4], and Sesame [2] that are based on (deductive) RDF stores. These systems typically store their data as RDF graphs, and they implement reasoning via materialisation : all (relevant) consequences that follow from RDF data and the OWL ontology are precomputed and stored in a prepro cessing step; after that, user queries can b e simply evaluated in the precomputed data. The main b ene t of such an approach is that computation-intensive pro cessing is concentrated in the prepro cessing phase.\" (Motik et al 2012:65)
\n\"Materialisation, however, has two main drawFirst, materialisation can signi cantly increase the size of the RDF data set, thus requiring e cient storage and management of even larger materialised data sets. Second, materialisation can b e applied only to OWL 2 RL ontologies. Thus, all reasoners in this group supp ort only OWL 2 RL or a fragment thereof, with some also supp orting (a fragment of ) SWRL. backs.\" (Motik et al 2012:65)
\n\"sion by adding\" (Motik et al 2012:66)
\n\"SPARQL cannot express a query that retrieves only the direct sup erclasses of a class. This is primarily b ecause Semantic Web languages are based on rst-order logic, which is monotonic : one cannot invalidate a conclusion triples and/or axioms. A query for direct sup erclasses of a class, however, is clearly nonmonotonic, and so it cannot b e expressed in OWL and SPARQL.\" (Motik et al 2012:66)
\n\"Problems such as the one mentioned ab ove are often solved in practice by issuing several SPARQL queries and combining their results manually. Such solutions, however, are typically hard-co ded to handle only sp eci c typ es of problems, and thus lack exibility. For example, combining class hierarchy queries with instance queries then b ecomes much more involved, b oth from the query sp eci cation and the query evaluation p oints of view. Thus, the lack of adequate supp ort for hierarchy navigation seems to b e an imp ortant feature that has not b een adequately treated in the existing Semantic Web standards.\" (Motik et al 2012:66)
\n\"There are two main b ene ts of using OWL 2 RL. First, the language can readily b e extended with SWRL rules without making the resulting formalism undecidable. This is particularly imp ortant b ecause most conditions for recognising the current context can b e easily expressed as SWRL rules. Second, reasoning with OWL 2 RL ontologies can b e implemented in p olynomial time using techniques known from deductive databases, which is particularly attractive given the constraints on the hardware resources of mobile devices.\" (Motik et al 2012:67)
\n\"In order to facilitate e cient retrieval, Delta-Reasoner employs three hierarchical indexes: Ispo , Ipos , and Iosp .\" (Motik et al 2012:68)
", "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:28Z" } }, { "key": "98W6KE8C", "version": 2, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/98W6KE8C", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/98W6KE8C", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/9D3WHEKW", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "98W6KE8C", "version": 2, "parentItem": "9D3WHEKW", "itemType": "note", "note": "Extracted Annotations (Wed Dec 18 18:10:53 2013)
\nThis is an important summary article for us.
A nice set of tables summarizing reasoners is included. (note on p.339)
\n
\"Semantic web reasoners and languages enable the semantic web to function. Some of the latest reasoning models developed in the last few years are: DLP, FaCT, RACER, Pellet, MSPASS, CEL, Cerebra Engine, QuOnto, KAON2, HermiT and others.\" (Mishra and Kumar 2010:339)
\n\"The description logic is based upon the formal semantics. It has been designed to mainly represent the knowledge. The origin of description logic lies in the structured inheritance networks and frame-based representations. In this logic, the concepts are given set-theoretic interpretation and the descriptions form hierarchical knowledge using two disjoint alphabets i.e. concepts and roles. Concepts denote unary descriptions and are interpreted as a set of individuals, while roles denote binary descriptions and are interpreted as sets of pairs of individuals.1 The description logic provides the constructs like value restrictions for establishing relationships between concepts. It has mainly two basic inferences on the concept expressions: subsumption and satisfiability. If C and D are two concepts, then the subsump-\" (Mishra and Kumar 2010:340)
\n\"tion is denoted by C ⊆ D and is the problem of checking whether the concept denoted by subsumer, D, is more general than the concept denoted by subsume, C. Satisfiability is the problem of checking whether a concept expression does not necessarily denote the empty set.\" (Mishra and Kumar 2010:341)
\n\"The knowledge base in description logic typically consists of two components: TBox and ABox. The TBox contains intensional knowledge representing the general knowledge about the problem domain, while the ABox contains the extensional or assertional knowledge representing the knowledge specific to a particular problem or individual of the domain.\" (Mishra and Kumar 2010:341)
\n\"Due to the increasing complexity of underlying logic in semantic web languages, the reasoning is becoming intractable in them especially in the worst case. To handle this type of situation, Groot et al. (2005) have presented some approximation techniques for description logic. These can be used for simplifying the reasoning process on semantic web languages particularly OWL. The goal of these techniques is to replace the costly reasoning operations with the small number of cheaper approximation reasoning operations without affecting the results of computation. Various approaches of approximation are as follow: By weakening the logical language in which a theory is encoded, based on the trade-off between the expressiveness and reasoning complexity of logical language. It enables to maintain a trade-off between the completeness of reasoning and run-time. By weakening the notion of logical consequence. By pre-processing the ontology off-line such that online reasoning becomes faster. This can also be accomplished by adding the derived facts to the original theory as axioms and avoiding the need to deduce them again.\" (Mishra and Kumar 2010:342)
\n\"Unlike reasoning models in second generation, the reasoners of this generation provide sound and complete reasoning support.\" (Mishra and Kumar 2010:352)
\n\"Jena (see footnote 15) is a Java based application tool for building semantic web applications. In addition to providing a programmatic environment for RDF, RDF-S, and OWL, it also includes a built-in rule based reasoner. The built-in reasoner provides semantic entailments for ontologies using OWL-Lite and some constructs from OWL-DL and OWL-Full. However, this reasoner is computationally expensive for handling complex large ontologies. Also, it can not handle somoe modeling primitives provided by OWL-DL. This problem is solved by Jena's architecture by supporting the external reasoner.\" (Mishra and Kumar 2010:355)
\n\"DAMLJessKB is a description logic based tool for reasoning on the semantic web, particularly with the DAML. It differs from the other description logic based systems as it uses the production system in inferencing process. Just like RDF, DAMLJessKB represents models as a list of triples, no matter how complex its XML form is. In It is a memory-based system and has limited scalability in data loading. OWLJessKB is considered as complete or almost complete OWL Lite reasoning system (Guo et al. 2005).\" (Mishra and Kumar 2010:355)
\n\"OWL is the successor of DAML+OIL.\" (Mishra and Kumar 2010:356)
\n\"DAML-S, a successor of OWL It considers the web based system as consisting of different web services. The ontologies written in DAML-S are organized in three parts: profile, model, and grounding. It enables the automation of various web-services related tasks such as discovery, invocation, composition, interoperation, and monitoring. It allows defining and composing processes using various constructs such as sequence, split, unordered, choice, and condition (Martin 2002). The latest release of DAML-S is known as OWL-S. It provides more expressive power and can be used to describe the semantically rich characteristics of services on the web. The ontology described in OWL-S is organized into four parts: profile, process model, grounding, and services. Profile describes the capabilities and discriminating features of the web services. The Process model describes the way of asking for the service and the effect of carrying out the service. The grounding specifies the details of the process with which an agent can access a service by describing the service-specific details such as communication protocol, message formats, port numbers used in contacting the service etc. The services part in the ontology describes a mean of bundling together the instances of top-level profile, process, and grounding classes that are meant to be used together.\" (Mishra and Kumar 2010:357)
\n\"SWRL is based on the combination of OWL-DL and OWL-Lite sublanguages of OWL with unary/binary sub-languages of RuleML.20 In SWRL, instead of using arbitrary predicates, the arbitrary OWL-DL descriptions are used in both the head and the body of the rule. A unary predicate corresponds with an OWL class and a binary one corresponds with an OWL property. SWRL is considered to be an un-decidable language due to the reason that it allows existential quantification in the head of the rule (inherited from OWL), combined with chaining variables over predicates (inherited from horn logic). However, it does not allow predicates with higher arity, but n-ary predicates can be encoded in a description logic knowledge-base by “emulating” relational parameters through the introduction of a number of functional properties.\" (Mishra and Kumar 2010:357)
", "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:28Z" } }, { "key": "ZIP3DEFT", "version": 2, "library": { "type": "group", "id": 238572, "name": "Semantic Web Inferencing and Reasoning", "links": { "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238572/items/ZIP3DEFT", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/semantic_web_inferencing_and_reasoning/items/ZIP3DEFT", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238572/items/ZSIP343C", "type": "application/json" } }, "meta": { "createdByUser": { "id": 572060, "username": "john.simpson", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/john.simpson", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "ZIP3DEFT", "version": 2, "parentItem": "ZSIP343C", "itemType": "note", "note": "Extracted Annotations (Wed Dec 18 18:10:43 2013)
\nLikely not of much use unless we decide to use Racer as a reasoning agent OR we want to get more technical about reasoners. (note on p.1)
\n", "tags": [], "relations": {}, "dateAdded": "2013-12-18T23:21:28Z", "dateModified": "2013-12-18T23:21:28Z" } } ]