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

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

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

Accepted Paper
type: Class
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!
disjoint with: Rejected Paper
subclass of: Evaluated Paper
disjoint with: Camera Ready Paper
subclass of: Restriction
  some values from: Positive Review
  on property: hasReview

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

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