IRI:
http://www.omg.org/spec/API4KP/rel
Version IRI:
http://www.omg.org/spec/API4KP/2018/06/rel
Imported Ontologies:
http://www.omg.org/spec/API4KP/2018/06/core (visualise it with LODE)
Other visualisation:
Ontology source

Table of Content

  1. Object Properties
  2. Annotation Properties
  3. Namespace Declarations

Object Properties

abdridgement ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#abridgement-of

An expression E1 is an abridgement of a target expression E2 if - both express the same Work of Knowledge AND - they have equivalent ASTs ( i.e. parse(E1) = parse(E2) ), but the parse tree of E2 is a subtree of the parse tree of E1. OR - the AST of E2 is a subtree of the AST of E1,
has super-properties
compact representation ofop
derived fromop
has domain
knowledge expressionc
has range
knowledge expressionc

adaptation ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#adaptation-of

The concepts used by the derived work are more suitable from a certain perspective, including but not limited to delivering to an audience or a setting, or expressing in some language
the relationship between two derivative works of knowledge that capture the same piece of knowledge
has super-properties
derived fromop
alternative representation ofop
has sub-properties
linguistic adaptation ofop, transcreation ofop
has domain
work of knowledgec
has range
work of knowledgec

alternative representation ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#variant-of

an endeavor is a variant of another endeavor if - the two endeavors represent the same piece of knowledge - both exist at the same level of abstraction (work, expression, serialization, encoding/artifact) - both refer to the same entity at the higher level(s) of abstraction - the two are iso-semantic, i.e. they preserve the information content at the same level, but differ in the choice of concepts (to capture the same knowledge), language (for the same work), serialization (for the same language), or carrier (for the same concretization)

has characteristics: symmetric

has sub-properties
adaptation ofop, rearrangement ofop, transcodification ofop, transcription ofop, translation ofop, transliteration ofop, transwordation ofop
has domain
knowledge endeavourc
has range
knowledge endeavourc

carried byop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/core#carried-by

has super-properties
liftsop

carriesop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/core#carries

has super-properties
lowersop

compact representation ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#compact-representation-of

a source endeavor is more compact than a target endeavor if it uses less elements to capture (a salient, proper part of) the piece of knowledge captured by the target endeavor
has sub-properties
abdridgement ofop, compression ofop, summarization ofop
has domain
knowledge endeavourc
has range
knowledge endeavourc

compatible withop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#compatible-with

sometimes the complementary notion of 'incompatibility' may be of interest. Two endeavors are incompatible if their involvement in the same activity will necessarily cause that activity to fail
An endeavor X is compatible with an another endeavor Y if there is at least one activity that can successfully completed when both X and Y are involved in that activity
has sub-properties
complementsop, complies withop, depends onop, effectuatesop, supplementsop
has domain
knowledge endeavourc
has range
knowledge endeavourc

complementsop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#complements

An endeavor X complements another endeavor Y if Y does not depend on X, bu Y can be used to extend X
has super-properties
compatible withop
has domain
knowledge endeavourc
has range
knowledge endeavourc
this relationship implies that (tree-oriented) structuring of X and Y is possible, but not necessary nor actual

complies withop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#complies-with

An endeavor X complies with an endeavor Y if it satisfies all the constraints in Y
has super-properties
compatible withop
has domain
knowledge endeavourc
has range
knowledge endeavourc

compression ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#compression-of

transcodification such that the target encoding requires less space in order to be engraved on a carrier, may be lossy or lossless
has super-properties
compact representation ofop
transcodification ofop

conceptualizesop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/core#conceptualizes

has super-properties
liftsop

concretely expressed byop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/core#concretely-expressed-by

has super-properties
liftsop

concretely expressesop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/core#concretely-expresses

has super-properties
lowersop

copy ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#copy-of

An endeavor E1 is a copy of another endeavor E2 if they are equal, and E2 is the product of an activity ("copying") that used E1 as a primary input
has super-properties
equal toop
has domain
knowledge endeavourc
has range
knowledge endeavourc

depends onop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#depends-on

An endeavor X depends on an another endeavor Y if any activity that involves X must also involve Y in order to be successful.
has super-properties
compatible withop
has sub-properties
importsop
has domain
knowledge endeavourc
has range
knowledge endeavourc

derived fromop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#derived-from

An endeavor E1 is derived from an endeavor E2 if the activity that produced E2 used E1 as a primary input
has sub-properties
abdridgement ofop, adaptation ofop, flattening ofop, inspired byop, is later revision ofop, paraphrase ofop, rearrangement ofop, summarization ofop, transcodification ofop, transcription ofop, translation ofop, transliteration ofop, transwordation ofop
has domain
knowledge endeavourc
has range
knowledge endeavourc
is inverse of
has derivativeop

digest ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#digest-of

An expression E1 is a digest of another expression E2 if the WoK that conceptualizes E2 cannot be completely reconstructed from the WoK that conceptualizes E1 without additional contextual knowledge
has super-properties
summarization ofop
has domain
knowledge expressionc
has range
knowledge expressionc

effectuatesop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#effectuates

The relationship between two endeavors X and Y, such that: - X is a knowledge endeavor, which either is or can be conceptualized as a knowledge processing method specification - When X is used in a knowledge processing activity, that activity will produce another knowledge endeavor Z - Z complies with Y
has super-properties
compatible withop
has domain
knowledge endeavourc
has range
knowledge endeavourc
The definition needs to be formalized as a rule

encoding ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/core#encoding-of

has super-properties
lowersop

engraved onop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/core#engraved-on

has super-properties
liftsop

engraved withop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/core#engraved-with

has super-properties
lowersop

equal toop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#equal-to

Like any other individual, an endeavor is equal to itself at any given point in time. Two distinct (according to some principle of identity) endeavors are equal if and only if they are indistinguishable: - two semantic graphs have equal nodes and edges - two (abstract or concrete) trees have equal nodes and parent/child edges - two artifacts carry the same (or equal) concrete expressions, and all their other qualities and configurations are equal
has sub-properties
copy ofop, imitation ofop
has domain
knowledge endeavourc
has range
knowledge endeavourc

expressesop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/core#expresses

has super-properties
lowersop

flattening ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/core#flattening-of

has super-properties
derived fromop

has derivativeop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#has-derivative

has sub-properties
has later revisionop
has domain
knowledge endeavourc
has range
knowledge endeavourc
is inverse of
derived fromop

has encodingop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/core#has-encoding

has super-properties
liftsop

has later revisionop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#has-later-revision

Scoped to Work of Knowledge: A revision of a WoK is a new WoK that preserves the same Piece of Knowledge. That is, the new WoK will choose a different set of concepts (and associations thereof) to ensure that the WoK can be communicated more properly. Scoped to Knowledge Expressions: The new expression preserves the WoK: conceptualizing either the previous or the later revision will yield the same WoK. However, the new revision alters the AST (or the Parse tree) to reduce the cost and/or the likelihood of errors in the act of conceptualizing its WoK content
The relationship between two endeavors E1 and E2, where E2 is explicitly derived from E1, and E2 is intended to be preferred to E1 in activities where either would be suitably involved. Moreover, this relationships implies that: - both endeavors are defined at the same level of abstraction - both refer to the same entity at the higher level(s) of abstraction - the two endeavors have different information content - the derivation preserves the representation methods (as applicable): language, serialization, and/or carrier
has super-properties
has derivativeop
has sub-properties
has later versioned revisionop
has domain
knowledge endeavourc
has range
knowledge endeavourc
is inverse of
is later revision ofop

has later versioned revisionop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#has-later-versioned-revision

the 'has revision' relationship, where both subject and object are versioned according to a common versioning scheme that determines the version identifiers assigned to either endeavors
has super-properties
has later revisionop
has successor versionop
has sub-properties
has latestop, has next immediate versioned revisionop
has domain
versioned knowledge endeavorc
has range
versioned knowledge endeavorc
is inverse of
is later versioned revision ofop

has latestop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#has-latest

the relationship between an endeavor E and the (versioned) revision L within that endeavor's series, such that there are no later revisions of L
has super-properties
has later versioned revisionop
has domain
versioned knowledge endeavorc
has range
versioned knowledge endeavorc

has next immediate versioned revisionop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#has-next-immediate-versioned-revision

The relationship between two expressions E1 and E2, with E2 a work-preserving revision of E1, where both are ordered by the same (partially) ordered versioning scheme v, and such that v(E1) < v(E2), and there is no E3 such that v(E1) < v(E3) < v(E2)
has super-properties
has later versioned revisionop
has next versionop
has domain
versioned knowledge endeavorc
has range
versioned knowledge endeavorc
is inverse of
is immediate next versioned revision ofop

has next versionop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#has-next-version

given the subject E1 and its successor object E2, there is no E3 such that v(E1) < v(E3) < v(E2)
has super-properties
has successor versionop
has sub-properties
has next immediate versioned revisionop
has domain
knowledge endeavourc
has range
knowledge endeavourc
is inverse of
has previous versionop

has originalop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#has-original

the relationship between an endeavor E and the (versioned) revision O within that endeavor's series, such that there are no prior revisions of O
has super-properties
is later versioned revision ofop
has domain
versioned knowledge endeavorc
has range
versioned knowledge endeavorc

has previous versionop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#has-previous-version

has super-properties
has prior versionop
has sub-properties
is immediate next versioned revision ofop
is inverse of
has next versionop

has prior versionop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#has-prior-version

has super-properties
in series withop
has sub-properties
has previous versionop, is later versioned revision ofop
has domain
knowledge endeavourc
has range
knowledge endeavourc
is inverse of
has successor versionop

has successor versionop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#has-succesor-version

Being related by means of a versioning scheme, in general, does not imply derivation: when preparing a new endeavor to be released as part of a series, It is not uncommon to 'start from scratch'. Hence, versioning due to revision is treated as a special case, at the intersection of versioning and revision
The relationship between two endeavors E1 and E2 part of the same series, where both are ordered by the same (partially) ordered versioning scheme v, and such that v(E1) < v(E2).
has super-properties
in series withop
has sub-properties
has later versioned revisionop, has next versionop
has domain
knowledge endeavourc
has range
knowledge endeavourc
is inverse of
has prior versionop

imitation ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#imitation-of

A derivative Work W1 is an actual imitation of a Work W2 if the similarity between the underlying concept graphs is sufficient so that they can be considered equal
has super-properties
equal toop
inspired byop
has domain
work of knowledgec
has range
work of knowledgec

importsop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#imports

A Representation S imports another Representation T if there is at least one fragment of S that implicitly declares the need to perform a structuring operation involving S and T before S can be used in a knowledge processing activity
has super-properties
depends onop
has sub-properties
includesop
has domain
knowledge representation
has range
knowledge representation

in series withop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#in-series-with

The relationship between two endeavors that belong to the same series, in the context of a versioning scheme
has sub-properties
has prior versionop, has successor versionop
has domain
knowledge endeavourc
has range
knowledge endeavourc

includesop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#includes

A stronger form of import, stating that the target representation T must be injected into the source S (i.e. there is an implicit tree-based structure where S is a parent of T)
has super-properties
importsop
has domain
knowledge representation
has range
knowledge representation

inspired byop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#inspired-by

a derivative work W1 is inspired by another work W2 if the underlying semantic graphs are similar enough according to some similarity measure (i.e. if the derivative work uses enough of the same concepts and associations as the original one)
has super-properties
derived fromop
has sub-properties
imitation ofop
has domain
work of knowledgec
has range
work of knowledgec

is immediate next versioned revision ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#is-immediate-next-versioned-revision-of

has super-properties
has previous versionop
is later versioned revision ofop
has domain
versioned knowledge endeavorc
has range
versioned knowledge endeavorc
is inverse of
has next immediate versioned revisionop

is later revision ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#is-later-revision-of

has super-properties
derived fromop
has sub-properties
is later versioned revision ofop
has domain
knowledge endeavourc
has range
knowledge endeavourc
is inverse of
has later revisionop

is later versioned revision ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#is-later-versioned-revision-of

has super-properties
has prior versionop
is later revision ofop
has sub-properties
has originalop, is immediate next versioned revision ofop
has domain
versioned knowledge endeavorc
has range
versioned knowledge endeavorc
is inverse of
has later versioned revisionop

liftsop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#TODO-lifts-lowers

The relationship between endeavors E1 and E2, where E1 is at a higher level of abstraction
has sub-properties
carried byop, conceptualizesop, concretely expressed byop, engraved onop, has encodingop, serialized intoop
has domain
knowledge endeavourc
has range
knowledge endeavourc
is inverse of
lowersop

linguistic adaptation ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#linguistic-adaptation-of

An adaptation that facilitates the expression of the derivative WoK in some language
has super-properties
adaptation ofop
has domain
work of knowledgec
has range
work of knowledgec

lowersop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#lowers

The relationship between endeavors E1 and E2, where E1 is at a lower level of abstraction
has sub-properties
carriesop, concretely expressesop, encoding ofop, engraved withop, expressesop, serialization ofop
has domain
knowledge endeavourc
has range
knowledge endeavourc
is inverse of
liftsop

paraphrase ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#paraphrase-of

An expression of a Work W1 paraphrases an expression of a Work W2 if the two use different concepts, but W1 entails W2 and vice versa. As such, both expression capture the same piece of knowledge
has super-properties
derived fromop
has domain
abstract expressionc
has range
abstract expressionc

rearrangement ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#rearrangement-of

A structured resource R1 is a rearrangement of another structured resource R2 if they have different structure and components, but their flattening yields two Resources F1 and F2 that express the same Work of Knowledge
has super-properties
derived fromop
alternative representation ofop
has domain
structured knowledge resourcec
has range
structured knowledge resourcec

serialization ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/core#serialization-of

has super-properties
lowersop

serialized intoop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/core#serialized-into

has super-properties
liftsop

summarization ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#summarization-of

An expresison E1 summarizes an expression E2 if the WoK that conceptualizes E1 uses a subset of the concepts (and associations thereof) used by the WoK that conceptualizes E2
has super-properties
compact representation ofop
derived fromop
has sub-properties
digest ofop, synopsis ofop
has domain
knowledge expressionc
has range
knowledge expressionc

supplementsop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#supplements

An endeavor X supplements another endeavor Y if Y does not depend on X, bu Y can be used in parallel with X
has super-properties
compatible withop
has domain
knowledge endeavourc
has range
knowledge endeavourc
this relationship implies that (set-oriented) structuring of X and Y is possible, but not necessary nor actual

synopsis ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#synopsis-of

A synopsis is a summary such that the original WoK (i.e. the WoK that conceptualizes the expression that is the target of this relationship) can be inferred from the WoK that conceptualizes the derived WoK
has super-properties
summarization ofop
has domain
knowledge expressionc
has range
knowledge expressionc

transcodification ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#transcodification-of

A relationship between two encodings of the same concrete expression that use two different encoding mechanisms
has super-properties
derived fromop
alternative representation ofop
has sub-properties
compression ofop
has domain
encoded knowledge expressionc
has range
encoded knowledge expressionc

transcreation ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#transcreation-of

Adaptation that facilitates the interpretation of (an expression of) the derived WoK by a target audience, for which all the concepts used by the derived Work are common knowledge, but some of the ones used in the original WoK are not
has super-properties
adaptation ofop
has domain
work of knowledgec
has range
work of knowledgec

transcription ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#transcription-of

A relationship between two concrete expressions, in the same language but two different concrete syntaxes, that concretize the same abstract expression (and thus express the same work of knowledge), such that the subject is derived from the object by means of a transcription operation
has super-properties
derived fromop
alternative representation ofop
has domain
concrete expressionc
has range
concrete expressionc

translation ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#translation-of

A relationship between two abstract expressions, in two different languages, that express the same work of knowledge, such that the subject is derived from the object by means of a translation operation
has super-properties
derived fromop
alternative representation ofop
has domain
abstract expressionc
has range
abstract expressionc

transliteration ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#transliteration-of

A relationship between two concretizations C1 and C2 of the same abstract expression, in the same language and using the same lexicon, but such that the tokens are constructed using alternative alphabets
has super-properties
derived fromop
alternative representation ofop
has domain
concrete expressionc
has range
concrete expressionc

transwordation ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/rel#transwordation-of

A relationship between two expressions, such that the lexical tokens ('words') used to express atomic concepts in the source are replaced by synonyms in the target
has super-properties
derived fromop
alternative representation ofop
has domain
concrete expressionc
has range
concrete expressionc

Annotation Properties

alt labelap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2004/02/skos/core#altLabel

copyrightap back to ToC or Annotation Property ToC

IRI: http://www.omg.org/techprocess/ab/SpecificationMetadata/copyright

definitionap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2004/02/skos/core#definition

has aspectap back to ToC or Annotation Property ToC

IRI: http://www.omg.org/spec/API4KP/Aspects/has-aspect

licenseap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/terms/license

noteap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2004/02/skos/core#note

Namespace Declarations back to ToC

default namespace
http://www.omg.org/spec/API4KP/rel#
06
http://www.omg.org/spec/API4KP/2018/06/
Aspects
http://www.omg.org/spec/API4KP/Aspects/
SpecificationMetadata
http://www.omg.org/techprocess/ab/SpecificationMetadata/
api4kp
http://www.omg.org/spec/API4KP/
core
http://www.omg.org/spec/API4KP/core#
dc
http://purl.org/dc/elements/1.1/
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#
skos
http://www.w3.org/2004/02/skos/core#
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.