Algorithm ODP

Metadata

IRI
https://w3id.org/polifonia/ontology/algorithm-pattern/
Title

Algorithm ODP

Creator

  • Nicolas Lazzari

  • Jacopo de Berardinis

  • Andrea Poltronieri

Date Modified

"2023-05-09"^^xsd:date

Date Issued

"2023-04-12"^^xsd:date

License
https://creativecommons.org/licenses/by-sa/4.0/
Version Info

1.0

Preferred Namespace Prefix

algo:

Preferred Namespace Uri
https://w3id.org/polifonia/ontology/algorithm-pattern/
Description

  • The Algorithm Ontology Design Pattern describe computational procedures and their relationships, their parametrisation, metadata, and relationships with input and output data.

  • The Algorithm Ontology Design Pattern (ODP) describe computational procedures and their relationships, their parametrisation, metadata, and relationships with input and output data.

Classes

Agent c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/Agent
Description

An agent is an entity that is involved into the creation process of an algorithm.
In Range Of has author op

Algorithm c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/Algorithm
Description

TBD
In Domain Of
In Range Of

Computational Complexity c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/ComputationalComplexity
Sub Class Of PerformanceMeasure c

Data c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/Data
In Domain Of has amount dp

Data Role c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/DataRole

Executable Formalisation c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/ExecutableFormalisation
In Domain Of

Executable Formalization c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/ExecutableFormalization

Formalization c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/Formalization
In Domain Of involves op
In Range Of is realized in op

Goal c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/Goal
In Range Of accomplishes op

License c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/License

Metric c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/Metric
Sub Class Of PerformanceMeasure c

Output c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/Output
In Range Of produces op

Parameter c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/Parameter
In Domain Of

Parameter Type c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/ParameterType
In Range Of is of parameter type op

Parametrization c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/Parametrization
In Range Of

Performance c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/Performance
In Domain Of

Performance Measure c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/PerformanceMeasure
Super Class Of

Processed Entity c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/ProcessedEntity
In Domain Of refers to op
In Range Of

Processing Role c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/ProcessingRole

Processing Type c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/ProcessingType
In Range Of is of processing type op

Programming Language c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/ProgrammingLanguage
In Range Of implemented using op

Public Implementation c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/PublicImplementation

Task c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/Task
In Domain Of
In Range Of

Task Processing Situation c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/TaskProcessingSituation
In Domain Of

Task Type c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/TaskType
In Range Of is of task type op

Theoretical Formalisation c

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/TheoreticalFormalisation

Object Properties

accomplishes op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/accomplishes
Description

Relation between a task and the goal accomplished.
Domain Task c
Range Goal c

depends on op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/dependsOn
Description

Relation between two dependant tasks.
Domain Task c
Range Task c

has author op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/hasAuthor
Description

Relation between an algorithm and an author.
Domain Algorithm c
Range Agent c

hasParameter op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/hasParameter
Description

Relation between a parametrization situation and a parameter.
Domain Parameter c
Range Parametrization c

has performance op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/hasPerformance
Description

Relation between an algorithm and a measured performance.
Domain Performance c
Range Algorithm c

accomplishes op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/hasProcess
Description

Relation between a task and the goal accomplished.
Domain TaskProcessingSituation c
Range Task c

implemented using op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/implementedUsing
Description

Relation between an implemented algorithm and a programming language used to implement it.
Domain ExecutableFormalisation c
Range ProgrammingLanguage c

involves op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/involves
Description

Entity involved in a task processing situation.
Domain TaskProcessingSituation c
Range ProcessedEntity c

is based on op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/isBasedOn
Description

Relation between two algorithms where the object is based on the latter.
Domain Algorithm c
Range Algorithm c

involves op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/isDescribedBy
Description

Entity involved in a task processing situation.
Domain Formalization c
Range ProcessedEntity c

involves op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/isFormalizedIn
Description

Relates an entity to the task it is involved to.
Domain TaskProcessingSituation c
Range ProcessedEntity c

is of processing type op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/isOfProcessingType
Description

Relation between a task and the goal accomplished.
Domain TaskProcessingSituation c
Range ProcessingType c

is of task type op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/isOfTaskType
Description

Relation between a task and a task type.
Domain Task c
Range TaskType c

is of parameter type op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/isOfType
Description

Relation between a parameter and a type.
Domain Parameter c
Range ParameterType c

is realized in op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/isRealizedIn
Description

Relation between an algorithm and a formalization of that algorithm.
Domain Algorithm c
Range Formalization c

measures op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/measures
Description

Relation a performance and a task it is measuring.
Domain Performance c
Range Task c

obtained with op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/obtainedWith
Description

Relation between a performance and the parametrisation it has been used to obtain it.
Domain Performance c
Range Parametrization c

produces op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/outputs
Description

Relation between an executable formalization and an output of that formalisation.
Domain ExecutableFormalisation c
Range Output c

performs task op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/performsTask
Description

Relation between an algorithm and a task it performs.
Domain Algorithm c
Range Task c

measures op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/producesOutput
Description

Relation between a task and an output it produces measuring.
Domain Task c
Range Thing c

refers to op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/refersTo
Description

Relation between a processed entity and the original entity.
Domain ProcessedEntity c
Range Thing c

requires input op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/requiresInput
Description

Relation between a task and an input it produces requires.
Domain Task c
Range Thing c

uses op

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/uses
Description

Dependency relation between two algorithms.
Domain Algorithm c
Range Algorithm c

Datatype Properties

has amount dp

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/hasAmount
Description

Quantity of data.
Domain Data c
Range Literal

has inception dp

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/hasInception
Description

Relation between an algorithm and its inception date.
Domain Algorithm c
Range xsd:date

has value dp

IRI https://w3id.org/polifonia/ontology/algorithm-pattern/hasValue
Description

Relation between a parameter and its value.
Domain Parameter c
Range Literal

Namespaces

:
https://w3id.org/polifonia/ontology/algorithm-pattern/
cc
http://creativecommons.org/ns#
dc
http://purl.org/dc/elements/1.1/
dcterms
http://purl.org/dc/terms/
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#
vann
http://purl.org/vocab/vann/
xsd
http://www.w3.org/2001/XMLSchema#

Legend

c Classes
op Object Properties
dp Datatype Properties

made by p y LODE 3.0.5 with the OntPub profile

Table of Contents