An Algorithm Tool for Atom Decomposition and Interaction: AD Visualiser

Table 2

Comparison of syntaxes.

DL	OWL	Manchester
T; ⊥ ConceptnameRole name; C ¬ C; D HD; HD; ∃ r . C; ∀ r . C; (≥n r . C); (≤n r . C); (=n r . C)	owl:Thing; owl:Nothing Class; Object property; ObjectComplementOf(C); ObjectUnionOf(C D); ObjectIntersectionOf(C D); ObjectSomeValuesOf(C D); ObjectAllValuesFrom(r C); ObjectMinCardinality(n r C); ObjectMaxCardinality(n rC); ObjectExactCardinality(n rC)	owl:Thing; owl:Nothing; Class; Object property; notC; C or D; C and D; r some D; r only C; r min nC; r max nC; r exactly n C