Service Outsourcing Character Oriented Privacy Conflict Detection Method in Cloud Computing

Table 2

Syntax and semantic of ALC.

Constructor	Syntax	Semantic	Instances
Atomic concept	𝐴	𝐴^𝐼⊆△^𝐼	Name
Atomic relationship	𝑅	𝑅^𝐼⊆△^𝐼×△^𝐼	hasIDNumber
Atomic negation	¬𝐴	△^𝐼⧵𝐶	¬Name
Intersection	𝐴⊓𝐵	𝐶^𝐼∩𝐷^𝐼	Name ⊓ IDNumber
Value restriction	∀𝑅⋅𝐶	{𝑥|∃𝑦.𝑥,𝑦∈𝑅^𝐼∧𝑦∈𝐶^𝐼}	∀ hasIDNumber. Name
Limited existential	∃𝑅⋅𝐶	{𝑥|∀𝑦.𝑥,𝑦∈𝑅^𝐼→𝑦∈𝐶^𝐼}	∃ hasIDNumber. Name