Decision ontology

IRI:
http://example.com/ns/dec
Version IRI:
http://example.com/ns/dec
Current version:
v1.0
Authors:
Piotr Nowara
Imported Ontologies:
http://example.com/ns/req (visualise it with LODE)
Other visualisation:
Ontology source
Further documentation & examples:
This ontology on GitHub

Abstract

1. Decision-making is initiated by some underlying problem that can be represented in form of a question. 2. Decision-making is a process that can result in some decision and decision is a situation of indicating one of the considered options. Decision Ontology provides means for precise distinguishing and distinct treatment of these two aspects. 3. Option is a considered situation of choosing some specific solution. 4. Options can have associated criteria that is requirements, recommendation (or other normative entities) that should be applied to them.

Table of Content

  1. Classes
  2. Object Properties
  3. Namespace Declarations

Classes

Answerc back to ToC or Class ToC

IRI: http://example.com/ns/dec#Answer

Indication of something requested in a question.
has super-classes
Situationc
is answer forop some Questionc
(indicatesop some thingc) or (indicates boolean valuedp some boolean)
is in domain of
is answer forop
is in range of
has answerop

Contextc back to ToC or Class ToC

IRI: http://example.com/ns/dec#Context

has super-classes
Situationc
is in range of
has contextop

Decisionc back to ToC or Class ToC

IRI: http://example.com/ns/dec#Decision

Recognizing something as the right/appropriate/best possible solution to a question/problem. It can be a consequence of an objective evaluation of clearly defined criteria but also an intuition, emotion or other subjective factor.
is equivalent to
(indicatesop some Optionc) and (is result ofop some Decision makingc)
has super-classes
Situationc

Decision makingc back to ToC or Class ToC

IRI: http://example.com/ns/dec#Decision_making

2011-10-13 A complex process that starts with a question and may result in indication of a solution for the underlying problem. It is important to note that a decision-making is something substantially different than decision, which is an output of the process of deciding. Usually it can be represented by the following pattern: 1. Decision-making starts with a question which is an utterance of some problem 2. The decider gathers and analyzes some information 3. The decider evaluates possible options (under some criteria). 4. One of the options may get recognized as the right/appropriate/best possible solution for the initial question/problem or the decider may choose to restrain from choice. What justifies this act could be an objective evaluation of clearly defined criteria but also an intuition, emotion or other subjective factor. In most cases stages 2-3 consist of many (concurrent or sequential) actions, events, processes related to information gathering, processing, verifying etc. In some cases a decision-making can be viewed as a complex process involving many sub-decisions preceding the recognition of the initial problem solution. In our current work we have focused on the basic elements of the above pattern (the question, gathering information, considering options, choosing solution). It should be considered to what extent this ontology should support the modeling of correlated issues such as: information verification and retrieval etc.
has super-classes
Processc
is initiated byop some Question for indicatingc
is consideration ofop some Optionc

Optionc back to ToC or Class ToC

IRI: http://example.com/ns/dec#Option

Option is a situation in which some entity appears as a possible choice in a decision-making process. Option has always related criteria which correspond to requirements, recommendations,obligations etc. Those criteria might be implied from some documents, agreements, formal regulations etc. but also from subjective preferences or feelings. For example choosing a car may have a criterion related to subjective color or brand preferneces. TODO: A set of entities for representing the criteria "source" may be a valuable addition to Decision-O, but it will require modeling a new set of concepts related to subjective phenomena like attitudes, preferences, emotions, intutions etc.
is equivalent to
(involves choosingop some thingc) and (has criterionop some normative valuec)
has super-classes
Situationc

Problemc back to ToC or Class ToC

IRI: http://example.com/ns/dec#Problem

has super-classes
Situationc
is in domain of
has solutionop
is in range of
is solution forop

Processc back to ToC or Class ToC

IRI: http://example.com/ns/dec#Process

has sub-classes
Decision makingc
is in domain of
is consideration ofop, is initiated byop
is in range of
initiatesop, is considered duringop

Questionc back to ToC or Class ToC

IRI: http://example.com/ns/dec#Question

A situation in which a person indicates a will for acquiring knowledge about something.
has super-classes
Situationc
has sub-classes
Question for confirmingc, Question for indicatingc
is in domain of
has answerop, is question forop, is question for confirmingop, is question for indicatingop
is in range of
is answer forop

Question for confirmingc back to ToC or Class ToC

IRI: http://example.com/ns/dec#Question_for_confirming

A question containing a whole proposition, that is an utterance that could be true or false. It is answerd by confirming or denying that proposition ('yes/no question') Examples: Are you a vegetarian? Is Norway a member of UE?
is equivalent to
(is question for confirmingop some thingc) and (has answerop only indicates boolean valuedp some boolean)
has super-classes
Questionc

Question for indicatingc back to ToC or Class ToC

IRI: http://example.com/ns/dec#Question_for_indicating

A question demanding indication of some concept, thing or its property in order to be anwsered. Examples: What's your date of birth? What is the name of the Director of the W3C?
is equivalent to
(is question for indicatingop some thingc) and (has answerop only indicatesop some thingc)
has super-classes
Questionc
has sub-classes
Question for indicating solutionc

Question for indicating solutionc back to ToC or Class ToC

IRI: http://example.com/ns/dec#Question_for_indicating_solution

has super-classes
Question for indicatingc
is consequence ofop some Problemc

Situationc back to ToC or Class ToC

IRI: http://example.com/ns/dec#Situation

has sub-classes
Answerc, Contextc, Decisionc, Optionc, Problemc, Questionc
is in domain of
has consequenceop, is consequence ofop
is in range of
has consequenceop, is consequence ofop

Object Properties

has answerop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#has_answer

has domain
Questionc
has range
Answerc
is inverse of
is answer forop

has consequenceop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#has_consequence

has domain
Situationc
has range
Situationc
is inverse of
is consequence ofop

has contextop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#has_context

has super-properties
occurs inop
has range
Contextc
is inverse of
is context ofop

has criterionop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#has_criterion

has range
normative valuec

has resultop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#has_result

is inverse of
is result ofop

has solutionop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#has_solution

has domain
Problemc
is inverse of
is solution forop

includesop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#includes

has super-properties
is occurence ofop
is inverse of
is included inop

indicatesop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#indicates

is inverse of
is indicated byop

initiatesop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#initiates

has range
Processc
is inverse of
is initiated byop

involves choosingop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#involves_choosing

has super-properties
is occurence ofop

is adressed toop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#is_adressed_to

is answer forop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#is_answer_for

has domain
Answerc
has range
Questionc
is inverse of
has answerop

is consequence ofop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#is_consequence_of

has domain
Situationc
has range
Situationc
is inverse of
has consequenceop

is consideration ofop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#is_consideration_of

has domain
Processc
is inverse of
is considered duringop

is considered duringop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#is_considered_during

has range
Processc
is inverse of
is consideration ofop

is context ofop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#is_context_of

has super-properties
is occurence ofop
is inverse of
has contextop

is included inop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#is_included_in

has super-properties
occurs inop
is inverse of
includesop

is indicated byop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#is_indicated_by

is inverse of
indicatesop

is initiated byop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#is_initiated_by

has domain
Processc
is inverse of
initiatesop

is question forop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#is_question_for

has sub-properties
is question for confirmingop, is question for indicatingop
has domain
Questionc

is question for confirmingop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#is_question_for_confirming

has super-properties
is question forop
has domain
Questionc

is question for indicatingop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#is_question_for_indicating

has super-properties
is question forop
has domain
Questionc

is solution forop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#is_solution_for

has range
Problemc
is inverse of
has solutionop

supposedly same asop back to ToC or Object Property ToC

IRI: http://example.com/ns/dec#supposedly_same_as

Renamed from 'is supposed to be identical with'.

Namespace Declarations back to ToC

default namespace
http://example.com/ns/dec#
ns
http://example.com/ns/
owl
http://www.w3.org/2002/07/owl#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
ro
http://promsns.org/def/ro#
terms
http://purl.org/dc/terms/
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.