A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
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 fordblp:conf/jowo/BraunCF19 fatcat:apupwjqg5bbddbpw4hivrbonym