Taking Advantages of Automated Reasoning in Visual Ontology Engineering Environments

LAURA CECCHI; PABLO R. FILLOTTRANI; GERMÁN BRAUN

Grasz

Workshop; Joint Ontology Workshops 2019 Episode {V:} The Styrian Autumn of Ontology, Graz, Austria, September 23-25, 2019; 2019

AbstractIt is well-known that automated reasoning provides important support fortools in ontology engineering, particularly, revealing errors and unexpected (non-)entailments in models. This has been possible thanks to the standardisation of onto-logy languages and the subsequent development of tools and infrastructure to ma-nipulate ontologies in such languages. However, in spite of the fact that nowadaysreasoning systems are integrated into a huge range of these tools, their use for en-hancing automated tasks in ontology engineering processes has not been fully ex-plored in depth, particularly in closing the gap between graphical and formal rep-resentations of ontologies. In this work we detail two scenarios in which it is pos-sible to take advantages of automated reasoning in this sense. The first scenariodeals with the problem of tool interoperability, and the second analyses how toobtain non-trivial graphical inferences.