cicero2codo.owl
type: Ontology
comment: 0.1: Description of Cicero created by Klaas Dellschaft 0.2: Adapted by Aldo Gangemi for linking to codolight 0.3: Revised a redundant axiom for CiceroWikiWorkflow 0.4: Made broad refactoring after more careful analysis. Refactored UserType subclasses as individuals; also refactored the anonymous typing dependent on those classes as simple object values; added import of specialization.owl pattern; refactored rdf:type axioms to DesignOperation as inputType axioms to DesignFunctionality; also refactored the executesTask axioms dependent on those individuals as isPartOf axioms. 0.5: added labels and knowledge types 0.6: corrected bug in type of CiceroWikiWorkfow
imports: specialization.owl
imports: codolight.owl

Cicero solution proposal
type: Class
subclass of: Idea
subclass of: http://lodlaundromat.org/.well-known/genid/e51fe9cb9e23e8a099ec5f90ed1e2ba7#1
subclass of: http://lodlaundromat.org/.well-known/genid/e51fe9cb9e23e8a099ec5f90ed1e2ba7#2

Cicero solution proposal KType
type: KnowledgeType
specializes: IdeaKType
is input type for: Provide argument
is output type for: Propose solution

Provide argument
type: DesignFunctionality
different from: Project moderator
comment: A supporting or objecting argument with regard to a specific solution proposal is given.
follows: Propose solution
is part of: Discuss design rationale
follows: Create issue
has output type: Cicero argument KType
has input type: Cicero solution proposal KType
is functionality included in: Cicero wiki workflow
is functionality included in: Cicero toolkit plugin workflow

Project moderator
type: UserType
different from: Start preferential voting
requires: Project member
different from: Cicero toolkit plugin workflow
different from: GuidedTour
different from: Wizard
different from: Paging
different from: Create project
different from: Decide on solution
different from: ActionButton
different from: PulldownButton
is required by: Issue moderator
different from: Breadcrumbs
different from: Accordion
different from: Stepping
different from: Slideshow
different from: Provide argument

Start preferential voting
type: DesignFunctionality
different from: Stepping
different from: Wizard
different from: Cicero toolkit plugin workflow
different from: Paging
is functionality included in: Cicero wiki workflow
different from: ActionButton
comment: An Issue Moderator explicitly starts a preferential voting. This phase is optional, i.e. either an Issue Moderator can directly take a decision or an automatic transistion into the PreferentialVoting phase is triggered after a certain time.
different from: Slideshow
different from: PulldownButton
directly follows: Discuss design rationale
is task of: Issue moderator
is functionality included in: Cicero toolkit plugin workflow
precedes: Preferential voting
different from: Project moderator
follows: Discuss design rationale
follows: Create project
different from: Breadcrumbs
different from: GuidedTour
directly precedes: Preferential voting
different from: Accordion
precedes: Decide on solution

Cicero toolkit plugin workflow
type: CollaborativeWorkflow
includes functionality: Propose solution
includes functionality: Create issue
includes functionality: Decide on solution
includes functionality: Create project
includes functionality: Discuss design rationale
includes functionality: Provide argument
includes functionality: Take decision
different from: Start preferential voting
includes functionality: Start preferential voting
includes functionality: Create annotation
includes functionality: Preferential voting
different from: Create project
different from: Project moderator
is implemented in: Cicero toolkit plugin
includes functionality: Cast vote
different from: Decide on solution

Propose solution
type: DesignFunctionality
is functionality included in: Cicero wiki workflow
has output type: Cicero solution proposal KType
different from: Project moderator
follows: Create issue
comment: A single solution is proposed how to solve the previously raised issue.
is part of: Discuss design rationale
precedes: Provide argument
has input type: Cicero issue KType
is functionality included in: Cicero toolkit plugin workflow

Cicero wiki workflow
type: CollaborativeWorkflow
different from: Create project
includes functionality: Discuss design rationale
includes functionality: Preferential voting
includes functionality: Take decision
includes functionality: Create project
includes functionality: Cast vote
includes functionality: Provide argument
different from: Start preferential voting
includes functionality: Decide on solution
includes functionality: Propose solution
includes functionality: Create issue
includes functionality: Create annotation
includes functionality: Start preferential voting
different from: Project moderator
is implemented in: Cicero wiki
different from: Decide on solution

Create project
type: DesignFunctionality
is task of: Cicero administrator
precedes: Discuss design rationale
different from: Wizard
different from: Slideshow
different from: Paging
different from: Accordion
precedes: Decide on solution
precedes: Start preferential voting
precedes: Preferential voting
different from: Breadcrumbs
different from: ActionButton
comment: Creating a new discussion project that groups all discussions related to a specific ontology project.
different from: Project moderator
different from: PulldownButton
different from: GuidedTour
different from: Cicero toolkit plugin workflow
is functionality included in: Cicero wiki workflow
is functionality included in: Cicero toolkit plugin workflow
different from: Stepping

Cicero administrator
type: UserType
different from: ActionButton
different from: Cicero wiki workflow
different from: GuidedTour
requires: Issue moderator
different from: Wizard
different from: Slideshow
different from: Create project
different from: Paging
different from: Breadcrumbs
different from: Accordion
different from: PulldownButton
different from: Start preferential voting
different from: Propose solution
has task: Create project
different from: Provide argument
different from: Stepping
different from: Discuss design rationale
different from: Decide on solution
different from: Cicero toolkit plugin workflow

Issue moderator
type: UserType
requires: Project moderator
is required by: Cicero administrator
different from: GuidedTour
different from: PulldownButton
different from: Paging
different from: Wizard
different from: Stepping
different from: Discuss design rationale
different from: Create project
different from: Cicero wiki workflow
has task: Start preferential voting
different from: ActionButton
different from: Start preferential voting
different from: Cicero toolkit plugin workflow
has task: Decide on solution
different from: Decide on solution
different from: Accordion
different from: Breadcrumbs
different from: Provide argument
different from: Propose solution
different from: Slideshow

Discuss design rationale
type: DesignFunctionality
different from: Slideshow
directly precedes: Start preferential voting
different from: Project member
different from: Accordion
is task of: Project member
different from: Cicero wiki workflow
has part: Propose solution
different from: Paging
different from: Cicero toolkit plugin workflow
is functionality included in: Cicero toolkit plugin workflow
has part: Provide argument
precedes: Decide on solution
different from: Wizard
has part: Create issue
different from: ActionButton
follows: Create project
different from: PulldownButton
different from: GuidedTour
different from: Project moderator
different from: Stepping
precedes: Preferential voting
comment: During the discussion of an issue, the members of a project exchange solution proposals and arguments.
precedes: Start preferential voting
is functionality included in: Cicero wiki workflow
different from: Breadcrumbs

Project member
type: UserType
different from: Accordion
different from: Wizard
has task: Discuss design rationale
different from: Discuss design rationale
different from: ActionButton
different from: Cicero wiki workflow
different from: Decide on solution
different from: Start preferential voting
different from: Paging
different from: Slideshow
different from: Breadcrumbs
is user type for: Cicero toolkit plugin
different from: PulldownButton
different from: GuidedTour
different from: Propose solution
is required by: Project moderator
different from: Create project
different from: Provide argument
different from: Cicero toolkit plugin workflow
different from: Stepping
has task: Preferential voting
is user type for: Cicero wiki

Decide on solution
type: DesignFunctionality
different from: PulldownButton
follows: Preferential voting
is functionality included in: Cicero toolkit plugin workflow
different from: Paging
different from: Project moderator
has input type: PositionKType
different from: Stepping
different from: GuidedTour
different from: ActionButton
different from: Wizard
different from: Slideshow
comment: An Issue Moderator decides, which solution should be implemented in the ontology project. The decision is based on the previous discussion and may be based on a previously held preferential voting.
different from: Accordion
is task of: Issue moderator
follows: Discuss design rationale
follows: Create project
different from: Breadcrumbs
different from: Cicero toolkit plugin workflow
has part: Take decision
follows: Start preferential voting
is functionality included in: Cicero wiki workflow

Preferential voting
type: DesignFunctionality
has part: Cast vote
different from: Cicero administrator
different from: Wizard
different from: Cicero toolkit plugin workflow
different from: Slideshow
different from: Project moderator
is functionality included in: Cicero toolkit plugin workflow
different from: Project member
follows: Start preferential voting
is task of: Project member
follows: Discuss design rationale
precedes: Decide on solution
different from: ActionButton
directly follows: Start preferential voting
different from: Breadcrumbs
different from: Accordion
is functionality included in: Cicero wiki workflow
different from: Paging
different from: Stepping
comment: The preferential voting is an optional phase in the workflow of the Cicero Wiki.
different from: PulldownButton
follows: Create project
different from: Issue moderator
different from: Cicero wiki workflow
different from: GuidedTour

Cast vote
type: DesignFunctionality
is functionality included in: Cicero wiki workflow
is part of: Preferential voting
different from: Project member
is functionality included in: Cicero toolkit plugin workflow
different from: Project moderator
has input type: Cicero argument KType
has output type: PositionKType
different from: Issue moderator
different from: Cicero administrator
comment: Casting a single vote for one of the proposed solutions.

Cicero argument KType
type: KnowledgeType
specializes: ArgumentKType
is input type for: Cast vote
is output type for: Provide argument

Take decision
type: DesignFunctionality
is functionality included in: Cicero wiki workflow
is functionality included in: Cicero toolkit plugin workflow
is part of: Decide on solution
different from: Cicero administrator
different from: Project moderator
different from: Issue moderator
different from: Project member

Cicero toolkit plugin
type: DesignTool
implements: Take decision
implements: Provide argument
implements: Propose solution
implements: Create annotation
implements: Decide on solution
implements: Preferential voting
implements: Cicero toolkit plugin workflow
implements: Cast vote
comment: The Cicero Plugin for the NeOn Toolkit can be used for annotating ontology elements with related discussions in a Cicero Argumentation Wiki.
implements: Create issue
implements: Discuss design rationale
implements: Start preferential voting
implements: Create project
has user type: Project member

Create annotation
type: DesignFunctionality
different from: ActionButton
different from: Wizard
is functionality included in: Cicero toolkit plugin workflow
different from: Cicero toolkit plugin workflow
has output type: AnnotationKType
different from: Breadcrumbs
different from: Slideshow
has input type: OntologyElementKType
different from: Cicero wiki workflow
different from: Project moderator
different from: GuidedTour
different from: Issue moderator
different from: PulldownButton
different from: Paging
is functionality included in: Cicero wiki workflow
has input type: Cicero issue KType
different from: Accordion
different from: Project member
different from: Cicero administrator
comment: Annotating ontology elements with a discussion in the Cicero Wiki.
different from: Stepping

Cicero issue KType
type: KnowledgeType
specializes: ArgumentationThreadKType
is input type for: Propose solution
is input type for: Create annotation
is output type for: Create issue

Create issue
type: DesignFunctionality
has output type: Cicero issue KType
different from: Project member
different from: Cicero administrator
is functionality included in: Cicero wiki workflow
is functionality included in: Cicero toolkit plugin workflow
precedes: Provide argument
different from: Issue moderator
different from: Project moderator
comment: Creating a new issue that should be discussed in the following.
precedes: Propose solution
is part of: Discuss design rationale

Cicero wiki
type: DesignTool
implements: Create project
implements: Start preferential voting
implements: Create annotation
implements: Cast vote
implements: Preferential voting
implements: Take decision
implements: Cicero wiki workflow
comment: The Cicero Argumentation Wiki can be used for discussing issues that are raised during an OntologyProject with regard to the development of the ontology.
implements: Create issue
implements: Provide argument
has user type: Project member
implements: Decide on solution
implements: Discuss design rationale
implements: Propose solution

Cicero issue
type: Class
subclass of: ArgumentationThread
subclass of: http://lodlaundromat.org/.well-known/genid/e51fe9cb9e23e8a099ec5f90ed1e2ba7#3

Cicero argument
type: Class
subclass of: Argument
subclass of: http://lodlaundromat.org/.well-known/genid/e51fe9cb9e23e8a099ec5f90ed1e2ba7#4