The Design Intent Ontology - A content ontology design pattern

IRI:
https://w3id.org/dio#
Date:
04-01-2016
Current version:
1.1.000
Authors:
Monika Solanki (monika.solanki@cs.ox.ac.uk)
Imported Ontologies:
http://aligned.cs.ox.ac.uk/ontologies/prov_dio (visualise it with LODE)
Other visualisation:
Ontology source

Table of Content

  1. Introduction
  2. Classes
  3. Object Properties
  4. Data Properties
  5. Named Individuals
  6. Namespace Declarations

Introduction

The Design Intent Ontology (DIO) is a generic ontology that provides the conceptualisation needed to capture the knowledge generated during various phases of the overall design lifecycle. It provides definitions for design artifacts such as requirements, designs, design issues, solutions, justifications and evidence and relationships between them to represent the design process and how these things lead to design outcomes. It draws upon the paradigms of IBIS(Issue Based Information System), argumentation and design rationale. It is linked to W3C PROV by defining the actors in the design process as PROV agents and the design artifacts themselves are PROV entities. However DIO uses a modualrised version of PROV-O, based on Syntactic locality. DIO makes few assumptions about the design process used as the definitions of these activities properly belongs in the software lifecycle and data lifecycle models. The Figure below illustrates the conceptual entities in DIO and their relationships.

Classes

Alternative Solutionc back to ToC or Class ToC

IRI: https://w3id.org/dio#AlternativeSolution

An entity representing the proposed solution.
has super-classes
Solutionc
is in range of
hasAlternativeSolutionop

Argumentc back to ToC or Class ToC

IRI: https://w3id.org/dio#Argument

A reason presented against a proposed solution.
has super-classes
Design Intent Artifactc
is in domain of
hasEvidenceop
is in range of
hasArgumentop, supportsop

Assumptionc back to ToC or Class ToC

IRI: https://w3id.org/dio#Assumption

The assumption on which a proposed solution is based.
has super-classes
Design Intent Artifactc
is in range of
usesAssumptionop

Commentc back to ToC or Class ToC

IRI: https://w3id.org/dio#Comment

A comment made by an agent in response to an argument, a justification or another comment
has super-classes
Design Intent Artifactc

Constraintc back to ToC or Class ToC

IRI: https://w3id.org/dio#Constraint

A constraint that underlies the proposed solution.
has super-classes
Design Intent Artifactc
is in range of
hasConstraintop

Designc back to ToC or Class ToC

IRI: https://w3id.org/dio#Design

A design is a specification of an object, manifested by an agent, intended to accomplish goals, in a particular environment, using a set of components, satisfying a set of requirements, subject to constraints.
is in domain of
fullfillsRequirementsop
is in range of
governsDesignop

Design Artifactc back to ToC or Class ToC

IRI: https://w3id.org/dio#DesignArtifact

The concrete artifact that is implemented or developed following the design that emerges from the design decisions.

Design Decisionc back to ToC or Class ToC

IRI: https://w3id.org/dio#DesignDecision

The final design decision made based on the various alternative solutions proposed. A design decision is driven by a mandated solution.
is in domain of
governsDesignop
is in range of
leadsToop

Design Goalc back to ToC or Class ToC

IRI: https://w3id.org/dio#DesignGoal

An entity representing the problem, goal, question or issue the design intent aims to address.
is equivalent to
Design Issuec
has super-classes
Design Intent Artifactc and (hasAlternativeSolutionop only Alternative Solutionc) and (hasMandatedSolutionop only Mandated Solutionc) and (hasMandatedSolutionop max 1 Mandated Solutionc)

Design Intentc back to ToC or Class ToC

IRI: https://w3id.org/dio#DesignIntent

A entity defining the notion of a design intent, i.e., the rationale underpinning the choices that are made from the alternatives available during various phases of the overall design lifecycle.
has super-classes
Design Intent Artifactc

Design Intent Artifactc back to ToC or Class ToC

IRI: https://w3id.org/dio#DesignIntentArtifact

An entity representing any artifact that plays a part in capturing the design intent. The minimum ontological commitment required for this entity is a brief description of the artifact, the version info and the date.
has super-classes
(was attributed toop exactly 1 agent) and (generated at timedp exactly 1) and (versiondp exactly 1)
has sub-classes
Argumentc, Assumptionc, Commentc, Constraintc, Design Intentc, Design Issuec, Design Requirementsc, Evaluationc, Evidencec, Heuristicc, Justificationc, Solutionc
is in domain of
fullfillsRequirementsop

Design Issuec back to ToC or Class ToC

IRI: https://w3id.org/dio#DesignIssue

An entity representing the problem, goal, question or issue the design intent aims to address.
has super-classes
Design Intent Artifactc
is in domain of
hasStatusop

Design Requirementsc back to ToC or Class ToC

IRI: https://w3id.org/dio#DesignRequirement

An entity capturing the requirements that result in the design intent
has super-classes
Design Intent Artifactc
is in range of
fullfillsRequirementsop

Evaluationc back to ToC or Class ToC

IRI: https://w3id.org/dio#Evaluation

An entity representing the evaluation that supports the solution.
has super-classes
Design Intent Artifactc

Evidencec back to ToC or Class ToC

IRI: https://w3id.org/dio#Evidence

An entity representing an evidence that supports a proposed solution.
has super-classes
Design Intent Artifactc
is in range of
hasEvidenceop

Heuristicc back to ToC or Class ToC

IRI: https://w3id.org/dio#Heuristic

An entity representing the requirements to be fulfilled for realising the solution
has super-classes
Design Intent Artifactc
is in range of
usesHeuristicop

Justificationc back to ToC or Class ToC

IRI: https://w3id.org/dio#Justification

A reason supporting the proposed solution.
has super-classes
Design Intent Artifactc
is in domain of
hasEvidenceop
is in range of
hasJustificationop, supportsop

Mandated Solutionc back to ToC or Class ToC

IRI: https://w3id.org/dio#MandatedSolution

An entity representing the solution accepted as a result of the design deliberation process.
has super-classes
Solutionc
is in domain of
leadsToop
is in range of
hasMandatedSolutionop

Rationale Capture Methodologyc back to ToC or Class ToC

IRI: https://w3id.org/dio#RationaleCaptureMethod

An entity representing the methodology used to capture the design intent artifact

Solutionc back to ToC or Class ToC

IRI: https://w3id.org/dio#Solution

has super-classes
Design Intent Artifactc
has sub-classes
Alternative Solutionc, Mandated Solutionc
is in domain of
contradictsop, hasConstraintop, refinesop, usesAssumptionop, usesHeuristicop
is in range of
contradictsop, refinesop

Statusc back to ToC or Class ToC

IRI: https://w3id.org/dio#Status

An entity representing the status of a design issue.
is in range of
hasStatusop
has members
Activeni, onHoldni, resolvedni, terminatedni

Object Properties

addressedByop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#addressedBy

A relationship stating the design intent addressing a requirement.

captureMethodologyop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#captureMethodology

A relationship identifying the capture methodology for a design issue

contradictsop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#contradicts

A relationship indicating contradictory issues.
has domain
Solutionc
has range
Solutionc

fullfillsRequirementsop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#fulfillsRequirement

A relationship between the design and its requirement.

generatedByIntentop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#generatedByIntent

A relationship between the design issue and intent.
is inverse of
generatesIssueop

generatesIssueop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#generatesIssue

A relationship between the design intent and issue.
is inverse of
generatedByIntentop

governsDesignop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#governsDesign

The design decision governing the design.
has domain
Design Decisionc
has range
Designc

hasAlternativeSolutionop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#hasAlternativeSolution

The realtionship between the issue and an alternative solution for it.
has super-properties
top object property
has range
Alternative Solutionc
is inverse of
providesAlternativeSolutionop

hasArgumentop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#hasArgument

The relationship between a solution and an argument made against it.
has range
Argumentc

hasCommentop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#hasComment

The relationship between a comment and a design intent artifact for which the comment is made.

hasConstraintop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#hasConstraint

A relationship between a solution and a constarint on it.
has domain
Solutionc
has range
Constraintc

hasEvidenceop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#hasEvidence

A relationship between a solution and an evidence for it.
has domain
Argumentc
Justificationc
has range
Evidencec

hasJustificationop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#hasJustification

A relationship between a solution and the justification for it.
has range
Justificationc

hasMandatedSolutionop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#hasMandatedSolution

A relationship between the issue and its mandated solution.
has super-properties
top object property
has range
Mandated Solutionc
is inverse of
providesMandatedSolutionop

hasStatusop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#hasStatus

The relationship between an issue and its status.
has domain
Design Issuec
has range
Statusc

identifiedByRequirementop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#identifiedByRequirement

The relationship between an issue and the requirement that identifies it.
is inverse of
identifiesop

identifiesop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#identifies

A relationship between the requirement and the issue it identifies.

leadsToop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#leadsTo

A relationship between a mandated solution and design decision made based on it.
has super-properties
top object property
has domain
Mandated Solutionc
has range
Design Decisionc

providesAlternativeSolutionop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#providesAlternativeSolution

A relationship between an alternative solution and the issue.
is inverse of
hasAlternativeSolutionop

providesMandatedSolutionop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#providesMandatedSolution

A relationship between a mandated solution and the issue.
is inverse of
hasMandatedSolutionop

rationaleCapturedUsingop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#rationaleCapturedUsing

A relationship between the design rationale and its capture methodology.

refinesop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#refines

A relationship between two requirememts when one refines the other.
has domain
Solutionc
has range
Solutionc

requirementFulfilledByop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#requirementFulfilledBy

A relationship between the design and its originating requirements
is inverse of
fullfillsRequirementsop

supportsop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#supports

A relationship between an agent and a design solution argument or justification.

usesAssumptionop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#usesAssumption

A relationship between a solution and the Assumption it makes.
has domain
Solutionc
has range
Assumptionc

usesHeuristicop back to ToC or Object Property ToC

IRI: https://w3id.org/dio#usesHeuristic

A relationship between a solution and the heuristic iy uses.
has domain
Solutionc
has range
Heuristicc

Data Properties

versiondp back to ToC or Data Property ToC

IRI: https://w3id.org/dio#version

Named Individuals

Activeni back to ToC or Named Individual ToC

IRI: https://w3id.org/dio#Active

The status of an issue when it is active.
belongs to
Statusc

onHoldni back to ToC or Named Individual ToC

IRI: https://w3id.org/dio#OnHold

The status of an issue when it is onHold
belongs to
Statusc

resolvedni back to ToC or Named Individual ToC

IRI: https://w3id.org/dio#Resolved

The status of an issue when it is resolved.
belongs to
Statusc

terminatedni back to ToC or Named Individual ToC

IRI: https://w3id.org/dio#Terminated

The status of an issue when it is terminated.
belongs to
Statusc

Namespace Declarations back to ToC

default namespace
https://w3id.org/dio
dc
http://purl.org/dc/elements/1.1/
dio
https://w3id.org/dio#
images
http://aligned.cs.ox.ac.uk/images/
ontologies
http://aligned.cs.ox.ac.uk/ontologies/
owl
http://www.w3.org/2002/07/owl#
prov
http://www.w3.org/ns/prov#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.