Proceedings
type: Class
subclass of: Restriction
  min cardinality: 1
  on property: volumeContainsPaper
disjoint with: Paper
disjoint with: Programme Brochure
subclass of: Restriction
  on property: volumeContainsPaper
  all values from: Class
    union of: Accepted Paper
    union of: Invited Talk Abstract
disjoint with: Review
disjoint with: Web Site
disjoint with: Flyer

Accepted Paper
type: Class
disjoint with: Camera Ready Paper
subclass of: Restriction
  on property: hasReview
  some values from: Positive Review
disjoint with: Rejected Paper
comment: Accepted paper to become part of proceedings. Note that camera-ready paper is not considered as 'accepted paper', as it was accepted in a different form!

Assigned Paper
type: Class
subclass of: Restriction
  min cardinality: 3
  on property: hasReviewer

Contributed Talk
type: Class
disjoint with: Tutorial
disjoint with: Social Event
disjoint with: Invited Talk
disjoint with: Conference
subclass of: Restriction
  on property: presentationOfPaper
  some values from: Camera Ready Paper
subclass of: Restriction
  on property: presentationOfPaper
  cardinality: 1
disjoint with: Session
disjoint with: Track

Conference
type: Class
disjoint with: Tutorial
comment: One edition of a conference
disjoint with: Social Event
disjoint with: Track
disjoint with: Workshop
disjoint with: Invited Talk
disjoint with: Contributed Talk
disjoint with: Session

Evaluated Paper
type: Class
subclass of: Restriction
  min cardinality: 3
  on property: hasReview
disjoint with: Camera Ready Paper