From Vit.Koksa at honeywell.com Mon Aug 8 11:45:13 2016 From: Vit.Koksa at honeywell.com (Koksa, Vit) Date: Mon, 8 Aug 2016 09:45:13 +0000 Subject: [Hets-users] concept graphs Message-ID: Hello, For the specifications written in CASL, the Hets tool can generate useful Concept graphs. It would be nice if one could get a similar graphical representation of ontologies. As the ontologies are treated as single sorted (Thing) specifications, the generated graphs contain just a single rectangle, which is not useful. After translating the ontology to CASL by using the built-in morphism OWL -> CASL the result is naturally single-sorted, too. If a many-sorted CASL specification was generated from the ontology, one could create automatically a meaningful concept diagram for the ontology/specification. E.g. if the ontology Logic OWL ontology X_OWL = Class: C1 Class: C2 SubClassOf: C1 Class: C3 Individual: i1 Types: C1 ObjectProperty: obp1 Domain: C2 Range: C3 DataProperty: dap1 Domain: C1 Range: xsd:boolean end would be translated to something like this logic CASL spec X_CASL = sorts C3; C2 < C1; op i1 : C1; pred obp1: C2 * C3 pred dap1: C1 end , then the related concept graph would provide some relevant information. One more issue related to the concept graphs - sometimes I wish they were more adjustable, e.g. - the changes of the position of elements are limited just to the horizontal direction, - the positioning of lines and their labels is also not very flexible - sometimes the labels overlap or it is not clear to which line a label belongs and it would be desirable to move the labels independently from the lines, - the labels of lines are grey which suppresses their readability, - the visibility/hiding of elements in the diagram cannot be set (the possibility to do this is a useful feature of the Prot?g?'s OntoGraph). With regards, Vit -------------- next part -------------- An HTML attachment was scrubbed... URL: