Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering
机构 * Université Côte d’Azur（法国滨海大学） ； Inria（法国国家信息与自动化技术研究所） ； CNRS（法国国家科学研究中心） ； I3S（国际科学计算研究所） ； Sophia Antipolis, France（法国索菲亚大学） ； Data ScienceTech Institute (DSTI)（数据科学技术研究所）
专题命中 代码与定理证明 ：reasoning(abstract,comments)；分类 cs.AI
Comments accepted for the International Joint Conference on Rules and Reasoning (RuleML+RR) 2025
