9 papers
OntoExtend: A Framework for Requirement-driven and Scalable Ontology Extension with LLMs
Anna Sofia Lippolis, Mohammad Javad Saeedizade, Stefan Schmid +5
Ontology extension refers to the process of enriching an existing ontology in response to emerging requirements, making it more complete. This task is a resource-intensive and erro…
When CQs Go Wrong: Challenges in CQ Verification with OE-Assist
Anna Sofia Lippolis, Mohammad Javad Saeedizade, Robin Keskisärkkä +3
Competency Questions (CQs) are the central component of CQ-verification, an established process in which an ontology is evaluated against a set of natural language questions to det…
Tacit Knowledge Extraction via Logic Augmented Generation and Active Inference
Lorenzo Lamazzi, Aldo Gangemi, Alessio Giberti +4
Tacit knowledge plays a central role in human expertise, yet it remains difficult to capture, formalize, and reuse in machine-interpretable form. This challenge is especially relev…
The Medical Metaphors Corpus (MCC)
Anna Sofia Lippolis, Andrea Giovanni Nuzzolese, Aldo Gangemi
Metaphor is a fundamental cognitive mechanism that shapes scientific understanding, enabling the communication of complex concepts while potentially constraining paradigmatic think…
Large Language Models Assisting Ontology Evaluation
Anna Sofia Lippolis, Mohammad Javad Saeedizade, Robin Keskisärkkä +3
Ontology evaluation through functional requirements, such as testing via competency question (CQ) verification, is a well-established yet costly, labour-intensive, and error-prone…
Enhancing multimodal analogical reasoning with Logic Augmented Generation
Anna Sofia Lippolis, Andrea Giovanni Nuzzolese, Aldo Gangemi
Recent advances in Large Language Models have demonstrated their capabilities across a variety of tasks. However, automatically extracting implicit knowledge from natural language…