Research Article
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 |
|
|