“…For example, ACE View (Fuchs et al, 2008) (a Protégé extension) presents an "entailments view" showing class assertions, property assertions and subclass axioms where the involved individuals, properties, and classes are always named. OntoVerbal (Liang et al, 2011) (a Protégé plugin) concentrates on axiom realisation, grouping and aggregation, and does not present any approach to tackle axiom selection. The RoundTrip Ontology Authoring (ROA) (Davis et al, 2008) environment only presents axioms that have been explicitly defined, selecting in turn top level classes, subclasses, instances, class properties and their respective domain and ranges, and instance properties.…”