Summary: | In this paper we study <span style="font-variant: small-caps;">Graphol</span>, a fully graphical language inspired by standard formalisms for conceptual modeling, similar to the UML class diagram and the ER model, but equipped with formal semantics. We formally prove that <span style="font-variant: small-caps;">Graphol</span> is equivalent to OWL 2, i.e., it can capture every OWL 2 ontology and vice versa. We also present some usability studies indicating that <span style="font-variant: small-caps;">Graphol</span> is suitable for quick adoption by conceptual modelers that are familiar with UML and ER. This is further testified by the adoption of <span style="font-variant: small-caps;">Graphol</span> for ontology representation in several industrial projects.
|