{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,5]],"date-time":"2026-05-05T02:41:01Z","timestamp":1777948861845,"version":"3.51.4"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T00:00:00Z","timestamp":1777680000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,5,3]],"date-time":"2026-05-03T00:00:00Z","timestamp":1777766400000},"content-version":"vor","delay-in-days":1,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Deutsche Forschungsgesellschaft","award":["522907718"],"award-info":[{"award-number":["522907718"]}]},{"DOI":"10.13039\/501100016379","name":"Universit\u00e4t Osnabr\u00fcck","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100016379","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Cheminform"],"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Modern biochemistry is producing vast amounts of chemical knowledge. Ontologies, such as the Chemical Entities of Biological Interest (ChEBI) ontology, can help organising this knowledge. With manual classification alone however, ontologies cannot keep up with the growth of their domain. In this work, we propose a novel taxonomy of 67 classes related to peptides, a large branch in ChEBI with nearly 15,000 compounds. The existing natural language definitions in ChEBI have been expanded and specified more precisely. These natural language definitions are accompanied by a logical axiomatisation in monadic second-order logic (MSOL). To use the axiomatisation for automated classification, a methodology has been developed that translates monadic second-order definitions first into partial first-order definitions and finally into an algorithmic classification. This connects three aspects important to ontological definitions: They reflect the opinions of experts, they are unambiguous, and they can be checked automatically. In our evaluation, we compare the results of our classification to the current taxonomy of ChEBI . This reveals potential inconsistencies in ChEBI as well as areas that might benefit from automated extensions. We also evaluate our natural-language definitions in an expert survey.<\/jats:p>\n                  <jats:p>\n                    <jats:bold>Scientific contribution:<\/jats:bold>\n                    This work provides precise natural-language definitions of 14 current ChEBI classes as well as 53 new peptide-related classes. These definitions are formalised in MSOL and come with an efficient implementation that allows for large-scale molecule classification, including a full classification of ChEBI and PubChem.\n                  <\/jats:p>","DOI":"10.1186\/s13321-026-01196-4","type":"journal-article","created":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T13:26:21Z","timestamp":1777728381000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Defining peptides in ChEBI"],"prefix":"10.1186","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3754-9016","authenticated-orcid":false,"given":"Simon","family":"Fl\u00fcgel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabian","family":"Neuhaus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik","family":"Pfanenstiel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Glauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edgar","family":"Haak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adnan","family":"Malik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noel M.","family":"O\u2019Boyle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,5,2]]},"reference":[{"key":"1196_CR1","volume-title":"Peptides: chemistry and biology","author":"N Sewald","year":"2015","unstructured":"Sewald N, Jakubke H-D (2015) Peptides: chemistry and biology. Wiley, Chichester"},{"issue":"1","key":"1196_CR2","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1038\/s41392-022-00904-4","volume":"7","author":"L Wang","year":"2022","unstructured":"Wang L, Wang N, Zhang W, Cheng X, Yan Z, Shao G, Wang X, Wang R, Fu C (2022) Therapeutic peptides: current applications and future directions. Signal Transduct Target Ther 7(1):48","journal-title":"Signal Transduct Target Ther"},{"issue":"4","key":"1196_CR3","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1038\/s41573-020-00135-8","volume":"20","author":"M Muttenthaler","year":"2021","unstructured":"Muttenthaler M, King GF, Adams DJ, Alewood PF (2021) Trends in peptide drug discovery. Nat Rev Drug Discovery 20(4):309\u2013325","journal-title":"Nat Rev Drug Discovery"},{"key":"1196_CR4","doi-asserted-by":"publisher","DOI":"10.3389\/fmicb.2020.582779","volume":"11","author":"Y Huan","year":"2020","unstructured":"Huan Y, Kong Q, Mou H, Yi H (2020) Antimicrobial peptides: classification, design, application and research progress in multiple fields. Front Microbiol 11:582779","journal-title":"Front Microbiol"},{"issue":"9","key":"1196_CR5","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1016\/S1473-3099(20)30327-3","volume":"20","author":"M Magana","year":"2020","unstructured":"Magana M, Pushpanathan M, Santos AL, Leanse L, Fernandez M, Ioannidis A, Giulianotti MA, Apidianakis Y, Bradfute S, Ferguson AL et al (2020) The value of antimicrobial peptides in the age of resistance. Lancet Infect Dis 20(9):216\u2013230","journal-title":"Lancet Infect Dis"},{"issue":"7","key":"1196_CR6","first-page":"3919","volume":"11","author":"J Lei","year":"2019","unstructured":"Lei J, Sun L, Huang S, Zhu C, Li P, He J, Mackey V, Coy DH, He Q (2019) The antimicrobial peptides and their potential clinical applications. Am J Transl Res 11(7):3919","journal-title":"Am J Transl Res"},{"issue":"6","key":"1196_CR7","doi-asserted-by":"publisher","first-page":"1167","DOI":"10.1038\/s41388-019-1056-3","volume":"39","author":"A Sorolla","year":"2020","unstructured":"Sorolla A, Wang E, Golden E, Duffy C, Henriques ST, Redfern AD, Blancafort P (2020) Precision medicine by designer interference peptides: applications in oncology and molecular therapeutics. Oncogene 39(6):1167\u20131184","journal-title":"Oncogene"},{"issue":"5","key":"1196_CR8","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1080\/10408390701425615","volume":"48","author":"RJ Elias","year":"2008","unstructured":"Elias RJ, Kellerby SS, Decker EA (2008) Antioxidant activity of proteins and peptides. Crit Rev Food Sci Nutr 48(5):430\u2013441","journal-title":"Crit Rev Food Sci Nutr"},{"key":"1196_CR9","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1016\/j.tifs.2018.07.003","volume":"79","author":"JM Lorenzo","year":"2018","unstructured":"Lorenzo JM, Munekata PE, G\u00f3mez B, Barba FJ, Mora L, P\u00e9rez-Santaescol\u00e1stica C, Toldr\u00e1 F (2018) Bioactive peptides as natural antioxidants in food products-a review. Trends Food Sci Technol 79:136\u2013147","journal-title":"Trends Food Sci Technol"},{"key":"1196_CR10","unstructured":"Neuhaus F (2018) What is an ontology? arXiv preprint arXiv:1810.09171"},{"issue":"D1","key":"1196_CR11","doi-asserted-by":"publisher","first-page":"1214","DOI":"10.1093\/nar\/gkv1031","volume":"44","author":"J Hastings","year":"2016","unstructured":"Hastings J, Owen G, Dekker A, Ennis M, Kale N, Muthukrishnan V, Turner S, Swainston N, Mendes P, Steinbeck C (2016) ChEBI in 2016: improved services and an expanding collection of metabolites. Nucleic Acids Res 44(D1):1214\u20131219","journal-title":"Nucleic Acids Res"},{"key":"1196_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s13321-016-0174-y","volume":"8","author":"Y Djoumbou Feunang","year":"2016","unstructured":"Djoumbou Feunang Y, Eisner R, Knox C, Chepelev L, Hastings J, Owen G, Fahy E, Steinbeck C, Subramanian S, Bolton E et al (2016) ClassyFire: automated chemical classification with a comprehensive, computable taxonomy. Journal of Cheminformatics 8:1\u201320","journal-title":"Journal of Cheminformatics"},{"issue":"D1","key":"1196_CR13","first-page":"440","volume":"48","author":"K Haug","year":"2020","unstructured":"Haug K, Cochrane K, Nainala VC, Williams M, Chang J, Jayaseelan KV, O\u2019Donovan C (2020) MetaboLights: a resource evolving in response to the needs of its scientific community. Nucleic Acids Res 48(D1):440\u2013444","journal-title":"Nucleic Acids Res"},{"key":"1196_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1471-2105-13-3","volume":"13","author":"LL Chepelev","year":"2012","unstructured":"Chepelev LL, Hastings J, Ennis M, Steinbeck C, Dumontier M (2012) Self-organizing ontology of biochemically relevant small molecules. BMC Bioinform 13:1\u201318","journal-title":"BMC Bioinform"},{"key":"1196_CR15","doi-asserted-by":"crossref","unstructured":"Kutz O, Hastings J, Mossakowski T (2012) Modelling highly symmetrical molecules: Linking ontologies and graphs. In: International conference on artificial intelligence: methodology, systems, and applications. Lecture notes in computer science, vol 7557, pp 103\u2013111. Springer","DOI":"10.1007\/978-3-642-33185-5_11"},{"key":"1196_CR16","unstructured":"Glauer M, Fl\u00fcgel S. Chebifier. https:\/\/chebifier.hastingslab.org\/. Accessed 30 Jul 2025"},{"issue":"1","key":"1196_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1758-2946-4-40","volume":"4","author":"C Bobach","year":"2012","unstructured":"Bobach C, B\u00f6hme T, Laube U, P\u00fcschel A, Weber L (2012) Automated compound classification using a chemical ontology. J Cheminform 4(1):1\u201312","journal-title":"J Cheminform"},{"key":"1196_CR18","unstructured":"Weininger D, Daylight Inc (2012) The SMiles ARbitrary target specification (SMARTS) manual . http:\/\/www.daylight.com\/dayhtml\/doc\/theory\/theory.smarts.html"},{"issue":"3","key":"1196_CR19","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/S0172-2190(03)00073-5","volume":"25","author":"ES Simmons","year":"2003","unstructured":"Simmons ES (2003) Markush structure searching over the years. World Patent Inf 25(3):195\u2013202","journal-title":"World Patent Inf"},{"issue":"2","key":"1196_CR20","doi-asserted-by":"publisher","DOI":"10.3233\/SW-243440","volume":"16","author":"S Fl\u00fcgel","year":"2025","unstructured":"Fl\u00fcgel S, Glauer M, Neuhaus F, Hastings J (2025) When one logic is not enough: integrating first-order annotations in owl ontologies. Semant Web 16(2):243440. https:\/\/doi.org\/10.3233\/SW-243440","journal-title":"Semant Web"},{"key":"1196_CR21","doi-asserted-by":"publisher","unstructured":"IUPAC (2025) zwitterions https:\/\/doi.org\/10.1351\/goldbook.Z06752","DOI":"10.1351\/goldbook.Z06752"},{"key":"1196_CR22","doi-asserted-by":"publisher","unstructured":"IUPAC (2019) peptides. IUPAC compendium of chemical terminology https:\/\/doi.org\/10.1351\/goldbook.P04479","DOI":"10.1351\/goldbook.P04479"},{"key":"1196_CR23","doi-asserted-by":"publisher","unstructured":"IUPAC (2019) amines. IUPAC compendium of chemical terminology. https:\/\/doi.org\/10.1351\/goldbook.A00274","DOI":"10.1351\/goldbook.A00274"},{"key":"1196_CR24","volume-title":"Medicinal natural products: a biosynthetic approach","author":"PM Dewick","year":"2002","unstructured":"Dewick PM (2002) Medicinal natural products: a biosynthetic approach. Wiley, Chichester"},{"issue":"1","key":"1196_CR25","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1002\/malq.19750210112","volume":"21","author":"R Fagin","year":"1975","unstructured":"Fagin R (1975) Monadic generalized spectra. Math Log Q 21(1):89\u201396","journal-title":"Math Log Q"},{"issue":"2","key":"1196_CR26","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/0168-0072(95)00021-6","volume":"77","author":"E Gr\u00e4del","year":"1996","unstructured":"Gr\u00e4del E, McColm GL (1996) Hierarchies in transitive closure logic, stratified datalog and infinitary logic. Ann Pure Appl Logic 77(2):169\u2013199","journal-title":"Ann Pure Appl Logic"},{"key":"1196_CR27","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/978-3-030-99524-9_24","volume-title":"Tools and algorithms for the construction and analysis of systems","author":"H Barbosa","year":"2022","unstructured":"Barbosa H, Barrett C, Brain M, Kremer G, Lachnitt H, Mann M, Mohamed A, Mohamed M, Niemetz A, N\u00f6tzli A, Ozdemir A, Preiner M, Reynolds A, Sheng Y, Tinelli C, Zohar Y (2022) cvc5: a versatile and industrial-strength SMT solver. In: Fisman D, Rosu G (eds) Tools and algorithms for the construction and analysis of systems. Springer, Cham, pp 415\u2013442. https:\/\/doi.org\/10.1007\/978-3-030-99524-9_24"},{"issue":"1\u20133","key":"1196_CR28","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.apal.2004.01.007","volume":"130","author":"M Frick","year":"2004","unstructured":"Frick M, Grohe M (2004) The complexity of first-order and monadic second-order logic revisited. Ann Pure Appl Logic 130(1\u20133):3\u201331","journal-title":"Ann Pure Appl Logic"},{"key":"1196_CR29","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511977619","volume-title":"Graph structure and monadic second-order logic: a language-theoretic approach","author":"B Courcelle","year":"2012","unstructured":"Courcelle B, Engelfriet J (2012) Graph structure and monadic second-order logic: a language-theoretic approach, vol 138. Cambridge University Press, Cambridge"},{"key":"1196_CR30","unstructured":"Stockmeyer LJ (1974) The complexity of decision problems in automata theory and logic. PhD thesis, Massachusetts Institute of Technology"},{"key":"1196_CR31","unstructured":"Fl\u00fcgel S. ChemLog Peptides GitHub repository. https:\/\/www.github.com\/sfluegel05\/chemlog-peptides. Accessed 30 Jul 2025"},{"key":"1196_CR32","doi-asserted-by":"publisher","unstructured":"Fl\u00fcgel S, Glauer M, Mossakowski T, Neuhaus F (2025) ChemLog: making MSOL viable for ontological classification and learning. In: 5th international joint conference on learning and reasoning (accepted). preprint available on arXiv, online .https:\/\/doi.org\/10.48550\/arXiv.2507.13987 . Accessed 21 Jul 2025","DOI":"10.48550\/arXiv.2507.13987"},{"key":"1196_CR33","doi-asserted-by":"crossref","unstructured":"Henriksen JG, Jensen J, J\u00f8rgensen M, Klarlund N, Paige R, Rauhe T, Sandholm A (1995) MONA: Monadic second-order logic in practice. In: Tools and algorithms for the construction and analysis of systems: first international workshop, TACAS\u201995 Aarhus, Denmark, May 19\u201320, 1995 selected papers 1. Lecture notes in computer science, vol 1019, pp 89\u2013110. Springer","DOI":"10.1007\/3-540-60630-0_5"},{"issue":"1","key":"1196_CR34","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/BF01117482","volume":"1","author":"G Tseitin","year":"1973","unstructured":"Tseitin G (1973) Reduced form of normal algorithms and a linear acceleration theorem. J Sov Math 1(1):148\u2013153","journal-title":"J Sov Math"},{"key":"1196_CR35","doi-asserted-by":"crossref","unstructured":"Biere A, Lonsing F, Seidl M (2011) Blocked clause elimination for QBF. In: International conference on automated deduction, pp 101\u2013115. Springer","DOI":"10.1007\/978-3-642-22438-6_10"},{"key":"1196_CR36","doi-asserted-by":"crossref","unstructured":"Lonsing F, Egly U (2017) DepQBF 6.0: A search-based QBF solver beyond traditional QCDCL. In: CADE 26, pp 371\u2013384. Springer","DOI":"10.1007\/978-3-319-63046-5_23"},{"key":"1196_CR37","unstructured":"RDKit: RDKit: Open-Source Cheminformatics Software. https:\/\/www.rdkit.org\/. Accessed 30 Jul 2025"},{"key":"1196_CR38","unstructured":"NetworkX: NetworkX: Network analysis in Python. https:\/\/networkx.org\/documentation\/stable\/index.html. Accessed 30 Jul 2025"},{"issue":"1","key":"1196_CR39","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1177\/001316446002000104","volume":"20","author":"J Cohen","year":"1960","unstructured":"Cohen J (1960) A coefficient of agreement for nominal scales. Educ Psychol Measur 20(1):37\u201346","journal-title":"Educ Psychol Measur"},{"key":"1196_CR40","doi-asserted-by":"crossref","unstructured":"Klaedtke F, Rue\u00df H (2003) Monadic second-order logics with cardinalities. In: International colloquium on automata, languages, and programming, pp 681\u2013696 . Springer","DOI":"10.1007\/3-540-45061-0_54"},{"key":"1196_CR41","doi-asserted-by":"crossref","unstructured":"Warrens MJ (2015) Five ways to look at Cohen\u2019s kappa. J Psychol Psychother 5","DOI":"10.4172\/2161-0487.1000197"}],"container-title":["Journal of Cheminformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/article\/10.1186\/s13321-026-01196-4","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s13321-026-01196-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s13321-026-01196-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,3]],"date-time":"2026-05-03T21:01:20Z","timestamp":1777842080000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1186\/s13321-026-01196-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,2]]},"references-count":41,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2026,12]]}},"alternative-id":["1196"],"URL":"https:\/\/doi.org\/10.1186\/s13321-026-01196-4","relation":{},"ISSN":["1758-2946"],"issn-type":[{"value":"1758-2946","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,5,2]]},"assertion":[{"value":"2 October 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 March 2026","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 May 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interest"}}],"article-number":"56"}}