In this paper we study Graphol, 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 Graphol is equivalent to OWL 2, i.e., it can capture every OWL 2 ontology and vice versa.
Jul 27, 2024 · We formally prove that Graphol is equivalent to OWL 2, i.e., it can capture every OWL 2 ontology and vice versa. We also present some usability ...
Graphol : A Graphical Language for Ontology Modeling Equivalent to ...
ideas.repec.org › gam › jftint
We formally prove that Graphol is equivalent to OWL 2, i.e., it can capture every OWL 2 ontology and vice versa. We also present some usability studies ...
It is formally proved that Graphol is equivalent to OWL 2, i.e., it can capture every OWL 1 ontology and vice versa and is suitable for quick adoption by ...
We formally prove that Graphol is equivalent to OWL 2, i.e., it can capture every OWL 2 ontology and vice versa. We also present some usability studies ...
Oct 13, 2023 · We formally prove that Graphol is equivalent to OWL 2, i.e., it can capture every OWL 2 ontology and vice versa. We also present some usability ...
Feb 28, 2022 · We formally prove that Graphol is equivalent to OWL 2, i.e., it can capture every OWL 2 ontology and vice versa. We also present some usability ...
Eddy is specifically designed for creating ontologies in Graphol, a completely visual ontology language that is equivalent to OWL 2. Thus, in Eddy ontologies ...
It is formally proved that Graphol is equivalent to OWL 2, i.e., it can capture every OWL 1 ontology and viceversa and report on successful experiences on ...
Through Graphol we can specify SROIQ(D) ontolo- gies, thus our language essentially captures the OWL 2 standard. In this respect, we developed a basic software ...