Taking Advantages of Automated Reasoning in Visual Ontology Engineering Environments

Germán Alejandro Braun, Laura Andrea Cecchi, Pablo R. Fillottrani
2019 Joint Ontology Workshops  
AbstractIt is well-known that automated reasoning provides important support for tools in ontology engineering, particularly, revealing errors and unexpected (non-) entailments in models. This has been possible thanks to the standardisation of ontology languages and the subsequent development of tools and infrastructure to manipulate ontologies in such languages. However, in spite of the fact that nowadays reasoning systems are integrated into a huge range of these tools, their use for
more » ... automated tasks in ontology engineering processes has not been fully explored in depth, particularly in closing the gap between graphical and formal representations of ontologies. In this work we detail two scenarios in which it is possible to take advantages of automated reasoning in this sense. The first scenario deals with the problem of tool interoperability, and the second analyses how to obtain non-trivial graphical inferences.
dblp:conf/jowo/BraunCF19 fatcat:apupwjqg5bbddbpw4hivrbonym