{"id":"https://openalex.org/W4403792812","doi":"https://doi.org/10.24963/kr.2024/70","title":"Nemo: Your Friendly and Versatile Rule Reasoning Toolkit","display_name":"Nemo: Your Friendly and Versatile Rule Reasoning Toolkit","publication_year":2024,"publication_date":"2024-10-26","ids":{"openalex":"https://openalex.org/W4403792812","doi":"https://doi.org/10.24963/kr.2024/70"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2024/70","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/70","pdf_url":"https://proceedings.kr.org/2024/70/kr2024-0070-ivliev-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/70/kr2024-0070-ivliev-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068951354","display_name":"Alex Ivliev","orcid":"https://orcid.org/0000-0002-1604-6308"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Alex Ivliev","raw_affiliation_strings":["Knowledge-Based Systems Group, TU Dresden, Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Knowledge-Based Systems Group, TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092705492","display_name":"Lukas Gerlach","orcid":null},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lukas Gerlach","raw_affiliation_strings":["Knowledge-Based Systems Group, TU Dresden, Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Knowledge-Based Systems Group, TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092705493","display_name":"Simon Meusel","orcid":null},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Simon Meusel","raw_affiliation_strings":["Knowledge-Based Systems Group, TU Dresden, Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Knowledge-Based Systems Group, TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114416953","display_name":"Jakob Steinberg","orcid":null},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jakob Steinberg","raw_affiliation_strings":["Knowledge-Based Systems Group, TU Dresden, Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Knowledge-Based Systems Group, TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087579719","display_name":"Markus Kr\u00f6tzsch","orcid":"https://orcid.org/0000-0002-9172-2601"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Markus Kr\u00f6tzsch","raw_affiliation_strings":["Knowledge-Based Systems Group, TU Dresden, Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Knowledge-Based Systems Group, TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5068951354"],"corresponding_institution_ids":["https://openalex.org/I78650965"],"apc_list":null,"apc_paid":null,"fwci":0.6294,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.75132867,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"743","last_page":"754"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11574","display_name":"Artificial Intelligence in Games","score":0.9883999824523926,"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"}},"topics":[{"id":"https://openalex.org/T11574","display_name":"Artificial Intelligence in Games","score":0.9883999824523926,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9868000149726868,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9692000150680542,"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.7027512192726135},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41751962900161743},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.32886993885040283}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7027512192726135},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41751962900161743},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32886993885040283}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2024/70","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/70","pdf_url":"https://proceedings.kr.org/2024/70/kr2024-0070-ivliev-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/70","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/70","pdf_url":"https://proceedings.kr.org/2024/70/kr2024-0070-ivliev-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/G3032849772","display_name":null,"funder_award_id":"TRR 248","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G4712284355","display_name":null,"funder_award_id":"57616814","funder_id":"https://openalex.org/F4320320875","funder_display_name":"Deutscher Akademischer Austauschdienst"},{"id":"https://openalex.org/G6098565189","display_name":null,"funder_award_id":"57616814","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G890954746","display_name":null,"funder_award_id":"389792660","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320313144","display_name":"ITEA","ror":null},{"id":"https://openalex.org/F4320320875","display_name":"Deutscher Akademischer Austauschdienst","ror":"https://ror.org/039djdh30"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403792812.pdf","grobid_xml":"https://content.openalex.org/works/W4403792812.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":{"We":[0],"present":[1,79],"Nemo,":[2],"a":[3,21,49,67,100],"toolkit":[4,81],"for":[5,36,56],"rule-based":[6,88],"reasoning":[7],"and":[8,14,23,41,54,62,71,82,94],"data":[9,60],"processing":[10],"that":[11,27],"emphasises":[12],"robustness":[13],"ease":[15],"of":[16,32,52,102],"use.":[17],"Nemo\u2019s":[18,108],"core":[19,47],"is":[20,48],"scalable":[22],"efficient":[24],"main-memory":[25],"reasoner":[26,95],"supports":[28],"an":[29],"expressive":[30],"extension":[31],"Datalog":[33],"with":[34,58],"support":[35],"datatypes,":[37],"existential":[38],"rules,":[39],"aggregates,":[40],"(stratified)":[42],"negation.":[43],"Built":[44],"around":[45],"this":[46,75,80],"versatile":[50],"system":[51,76],"libraries":[53],"applications":[55],"interfacing":[57],"several":[59],"formats":[61],"programming":[63],"languages,":[64],"use":[65],"as":[66],"progressive":[68],"web":[69],"application,":[70],"IDE":[72],"integration.":[73],"In":[74],"description,":[77],"we":[78],"discuss":[83],"relevant":[84],"application":[85],"areas":[86,106],"in":[87,111],"knowledge":[89,91],"representation,":[90],"graph":[92],"processing,":[93],"prototyping.":[96],"Our":[97],"evaluation":[98],"on":[99],"range":[101],"tasks":[103],"from":[104],"these":[105],"demonstrates":[107],"robust":[109],"performance":[110],"comparison":[112],"to":[113],"state-of-the-art":[114],"rule":[115],"engines.":[116]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}