Reproduce “Putting Perspective into OWL [sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order Logic (Extended Version with Appendix)” on OpenResearch

Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.