{"id":"https://openalex.org/W4403792791","doi":"https://doi.org/10.24963/kr.2024/84","title":"Relational Graph Convolutional Networks Do Not Learn Sound Rules","display_name":"Relational Graph Convolutional Networks Do Not Learn Sound Rules","publication_year":2024,"publication_date":"2024-10-26","ids":{"openalex":"https://openalex.org/W4403792791","doi":"https://doi.org/10.24963/kr.2024/84"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2024/84","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/84","pdf_url":"https://proceedings.kr.org/2024/84/kr2024-0084-morris-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2024/84/kr2024-0084-morris-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102024997","display_name":"Matthew Morris","orcid":"https://orcid.org/0000-0002-1236-1255"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Matthew Morris","raw_affiliation_strings":["Department of Compute Science, University of Oxford"],"affiliations":[{"raw_affiliation_string":"Department of Compute Science, University of Oxford","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058098725","display_name":"David J. Tena Cucala","orcid":"https://orcid.org/0000-0001-9847-4949"},"institutions":[{"id":"https://openalex.org/I184558857","display_name":"Royal Holloway University of London","ror":"https://ror.org/04g2vpn86","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I184558857"]},{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David J. Tena Cucala","raw_affiliation_strings":["Department of Compute Science, University of Oxford","Department of Computer Science, Royal Holloway, University of London"],"affiliations":[{"raw_affiliation_string":"Department of Compute Science, University of Oxford","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"Department of Computer Science, Royal Holloway, University of London","institution_ids":["https://openalex.org/I184558857"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023732514","display_name":"Bernardo Cuenca Grau","orcid":"https://orcid.org/0000-0003-2909-5923"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Bernardo Cuenca Grau","raw_affiliation_strings":["Department of Compute Science, University of Oxford"],"affiliations":[{"raw_affiliation_string":"Department of Compute Science, University of Oxford","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060350556","display_name":"Ian Horrocks","orcid":"https://orcid.org/0000-0002-2685-7462"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ian Horrocks","raw_affiliation_strings":["Department of Compute Science, University of Oxford"],"affiliations":[{"raw_affiliation_string":"Department of Compute Science, University of Oxford","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5102024997"],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.20437685,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"897","last_page":"908"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11309","display_name":"Music and Audio Processing","score":0.9866999983787537,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11309","display_name":"Music and Audio Processing","score":0.9866999983787537,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9678000211715698,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.9283000230789185,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.777393102645874},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5111120343208313},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.42845430970191956},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37560561299324036},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35518911480903625},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.2245950996875763}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.777393102645874},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5111120343208313},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.42845430970191956},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37560561299324036},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35518911480903625},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.2245950996875763}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2024/84","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/84","pdf_url":"https://proceedings.kr.org/2024/84/kr2024-0084-morris-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2024/84","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/84","pdf_url":"https://proceedings.kr.org/2024/84/kr2024-0084-morris-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2781714857","display_name":"AnaLOG: Datalog Extensions for the Analysis of Static and Streaming Data (Ext.)","funder_award_id":"EP/P025943/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3253514882","display_name":"ConCur: Knowledge Base Construction and Curation","funder_award_id":"EP/V050869/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3504612760","display_name":null,"funder_award_id":"237889","funder_id":"https://openalex.org/F4320323299","funder_display_name":"Norges Forskningsr\u00e5d"},{"id":"https://openalex.org/G3748656914","display_name":null,"funder_award_id":"Norway","funder_id":"https://openalex.org/F4320323299","funder_display_name":"Norges Forskningsr\u00e5d"},{"id":"https://openalex.org/G5652537686","display_name":"UK FIRES: Locating Resource Efficiency at the heart of Future Industrial Strategy in the UK","funder_award_id":"EP/S019111/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G667038190","display_name":"OASIS: Ontology Reasoning over Frequently-changing and Streaming Data","funder_award_id":"EP/S032347/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8719353587","display_name":null,"funder_award_id":"EP/P0","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320290","display_name":"University of Oxford","ror":"https://ror.org/052gg0110"},{"id":"https://openalex.org/F4320323299","display_name":"Norges Forskningsr\u00e5d","ror":"https://ror.org/00epmv149"},{"id":"https://openalex.org/F4320332195","display_name":"Samsung","ror":"https://ror.org/04w3jy968"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403792791.pdf","grobid_xml":"https://content.openalex.org/works/W4403792791.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Graph":[0],"neural":[1],"networks":[2],"(GNNs)":[3],"are":[4,81,117,135],"frequently":[5],"used":[6,39],"to":[7,31,48,73,137,155,168,182,191],"predict":[8],"missing":[9],"facts":[10],"in":[11,83],"knowledge":[12],"graphs":[13],"(KGs).":[14],"Motivated":[15],"by":[16,90,96],"the":[17,22,60,84,91,97,121,150,163,172,183,203],"lack":[18],"of":[19,24,51,59,114,165,174,186,205],"explainability":[20,173],"for":[21,65,99,120,145],"outputs":[23],"these":[25,146],"models,":[26,147],"recent":[27],"work":[28,44],"has":[29,45],"aimed":[30],"explain":[32,77],"their":[33,175],"predictions":[34,79],"using":[35],"Datalog,":[36],"a":[37,106,197],"widely":[38],"logic-based":[40],"formalism.":[41],"However,":[42],"such":[43],"been":[46],"restricted":[47],"certain":[49,112],"subclasses":[50],"GNNs.":[52],"In":[53,123],"this":[54],"paper,":[55],"we":[56,69,104,126,134],"consider":[57],"one":[58],"most":[61],"popular":[62],"GNN":[63],"architectures":[64],"KGs,":[66],"R-GCN,":[67],"and":[68,80,133,170,195,202],"provide":[70,105,179],"two":[71,180],"methods":[72],"extract":[74],"rules":[75,92,116,194],"that":[76,86,108,111,139,188],"its":[78],"sound,":[82],"sense":[85],"each":[87],"fact":[88],"derived":[89],"is":[93,143],"also":[94],"predicted":[95],"GNN,":[98],"any":[100],"input":[101],"dataset.":[102],"Furthermore,":[103],"method":[107],"can":[109],"verify":[110,138],"classes":[113],"Datalog":[115,141],"not":[118],"sound":[119,144,193,207],"R-GCN.":[122],"our":[124],"experiments,":[125],"train":[127],"R-GCNs":[128],"on":[129],"KG":[130],"completion":[131],"benchmarks,":[132],"able":[136],"no":[140],"rule":[142],"even":[148],"though":[149],"models":[151,167],"often":[152],"obtain":[153],"high":[154],"near-perfect":[156],"accuracy.":[157],"This":[158],"raises":[159],"some":[160],"concerns":[161],"about":[162,171],"ability":[164],"R-GCN":[166,187],"generalise":[169],"predictions.":[176],"We":[177],"further":[178],"variations":[181],"training":[184],"paradigm":[185],"encourage":[189],"it":[190],"learn":[192],"find":[196],"trade-off":[198],"between":[199],"model":[200],"accuracy":[201],"number":[204],"learned":[206],"rules.":[208]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}