1 citations · 2 across the 4 of their papers we have counts for
4 papers
Bringing analytic rigor to agentic AI for science: The Brain Researcher platform for neuroimaging data analysis
Zijiao Chen, Nicholas Lu, Xinhui Li +14
AI agents can execute scientific analyses, but an analytic output becomes a defensible claim only after alternatives are weighed and the claim is limited to what the evidence suppo…
Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and beyond)
Christian Kindermann, Anne-Marie George, Bijan Parsia +1
In this paper, we introduce the problem of rewriting finite formal languages using syntactic macros such that the rewriting is minimal in size. We present polynomial-time algorithm…
A Survey of Syntactic Modelling Structures in Biomedical Ontologies
Christian Kindermann, Martin G. Skjæveland
Despite the large-scale uptake of semantic technologies in the biomedical domain, little is known about common modelling practices in published ontologies. OWL ontologies are often…
Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity
Henrik Forssell, Christian Kindermann, Daniel P. Lupp +2
We present a second-order language that can be used to succinctly specify ontologies in a consistent and transparent manner. This language is based on ontology templates (OTTR), a…