An Algorithm Tool for Atom Decomposition and Interaction: AD Visualiser

Table 1

DLs semantics.

Language	Name	Syntax	Semantics
	Top
	Bottom
	Intersection
	Atomic negation
	Limited
	Existential
	Quantification value
	Restriction
	Union
	Negation
	Role chain
	Nominal		with#
	Inverse
	Role
	Unqualified
	Number
	Restriction		bin
	Qualified
	Number
	Restriction