API4KP 'Knowledge Representation and Reasoning' Terminology Ontology

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

Table of Content

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

Classes

(KRR) knowledge artifactc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/MachinableKnowledgeArtifact

digital carrier that carries a concrete, machine readable knowledge expression, e.g. snapshot of a file on a hard drive, or a Java String in memory.
has super-classes
knowledge artifact
Example: my copy in my Download folder of the encoding in UTF-8 of the serialization in Manchester syntax of an OWL ontology.

(KRR) knowledge endeavorc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/KRRKnowledgeEndeavor

Knowledge Endeavors are per se immutable. Should any part change as a result of some (cognitive) activity, a new distinct Endeavor is created, that is a new version (derivative) of the original one
a knowledge source that is an immutable entity
is equivalent to
immutable entityc and knowledge sourcec and knowledge endeavour
May be identified to be at one of the following levels of abstraction; piece of knowledge, machine readable knowledge resource, knowledge manifestation, or machine readable knowledge artifact.

(KRR) knowledge resourcec back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/MachinableKnowledgeResource

Set of Expressions in one or more machine readable languages, in the context of a Logical Environment determining how these Expressions are jointly interpreted.
has super-classes
knowledge resource
uses language some machine readable language
has sub-classes
heterogeneous (KRR) knowledge resourcec
Examples; Example A: OWL Ground fact expressing that Socrates is a philosopher. Example B: Common Logic sentence expressing that Socrates is a philosopher. Example C: RDF graph expressing that the author of Moby Dick is Herman Melville. Example D: SPARQL query for the names of philosphers. Example E: A and B, together with a mapping that allows OWL to be converted to Common Logic.

(KRR) work of knowledgec back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/MachineReadableWorkOfKnowledge

equivalence class (according to an environment) of one ore more machine readable knowledge resources, assembled into a composite . Note: intuitively, a piece of knowledge is information that may be (equivalently) expressed in one or more KR languages.
is equivalent to
work of knowledge and (conceptualizes some (KRR) knowledge resourcec)
has super-classes
work of knowledge
according toop exactly 1 pivotal knowledge environmentc
Example: assertion that Socrates is a philospher. Example: assertion that the author of Moby Dick is Herman Melville. Example: query for the names of philosphers. Example: a sequence of strings that are asserted to be names of philosphers in some KB.

basic (KRR) knowledge resourcec back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/BasicMachinableKnowledgeResource

unstructured native machine readable knowledge resource
is equivalent to
(KRR) knowledge resourcec and (has structure typeop exactly 0)
is disjoint with
composite (KRR) knowledge resourcec
well-formed, stand-alone formula in the abstract syntax of a machine-readable language
KE1: the instance of the OWL 2 DL abstract syntax for the latest version of a biomedical ontology from an ontology series KA1 defining observable entities, such as the 2015 international version of the SNOMED-CT knowledge base\footnote{http://browser.ihtsdotools.org/} (see also the definition of Basic Knowledge Asset). This ontology differs from other versions of the series only in the natural language definitions.

basic environmentc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/BasicEnvironment

a focused environment having exactly one member
has super-classes
focused environmentc
has environment mappingop exactly 1

categorical environmentc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/CategoricalEnvironment

a composable environment with identies whose composition operation is associative
environment with an associative composition operation for mappings, that is closed under composition and contains an identity mapping for every member
has super-classes
environment with identityc
has sub-classes
categorical, preserving language environment where multiple KRR languages, and mappings thereof, are supportedc, pivotal knowledge environmentc

categorical, preserving language environment where multiple KRR languages, and mappings thereof, are supportedc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/HybridKnowledgeEnvironment

has super-classes
categorical environmentc
language environmentc
preserving environmentc
language environmentc and (not (focused environmentc))

composable environmentc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/ComposableEnvironment

an environment having a composition operation where the composition of its mappings is a mapping of the environment whenever the composition is well-defined
has super-classes
environmentc
has sub-classes
environment with identityc

composite (KRR) knowledge resourcec back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/StructuredMachinableKnowledgeResource

collection of machine readable knowledge resources, which are not necessarily in the same language and may themselves have structure.
is equivalent to
(KRR) knowledge resourcec and (has structure typeop exactly 1)
has super-classes
composite knowledge resource
has structural component some (KRR) knowledge resourcec
has structure typeop exactly 1
is disjoint with
basic (KRR) knowledge resourcec
KE2: a heterogeneous collection of streaming data and RDF graphs, together with static OWL ontologies and CL texts, and ECA rules describing actions of a CDS
KE3: the OWL 2 DL ontology series KA1, viewed as a collection of expressions rather than an equivalence class

computational complexity classc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/ComputationalComplexityClass

has super-classes
defined concept

empty environmentc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/EmptyEnvironment

has super-classes
environmentc
has environment mappingop exactly 0
is disjoint with
nonempty environmentc

environmentc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/Environment

mathematical structure of mappings and members, where the domain and codomains of the mappings are members of the environment
has super-classes
immutable entityc
has sub-classes
composable environmentc, empty environmentc, language environmentc, nonempty environmentc, preserving environmentc
is in domain of
is subenvironment ofop
is in range of
according toop, is subenvironment ofop
a KRR language environment containing semantics-preserving translations from RDF and OWL into CL, assisting in the integrated interpretation of a stream of RDF graphs and OWL ontologies

environment with identityc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/EnvironmentWithIdentities

a composable environment having an identity mapping for each member
has super-classes
composable environmentc
has sub-classes
categorical environmentc

focused environmentc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/FocusedEnvironment

a nonempty environment which has a member F (called the focus or focus member) such that for every other member A, there is a mapping in the environment from A to F
has super-classes
nonempty environmentc
has sub-classes
basic environmentc, pivotal knowledge environmentc

heterogeneous (KRR) knowledge resourcec back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/HeterogeneousMachinableKnowledgeResource

is equivalent to
heterogeneous knowledge resourcec and (KRR) knowledge resourcec and (uses language min 2 knowledge representation and reasoning languagec)
has super-classes
(KRR) knowledge resourcec

heterogeneous knowledge resourcec back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/HeterogeneousKnowledgeResource

knowledge resource expressed by means of 2 or more languages
is equivalent to
knowledge resource and (uses language min 2 language)
has super-classes
knowledge resource

hybrid knowledge basec back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/HybridKnowledgeBase

A knowledge base composed by multiple parts that have different computational semantics and pragmatics, and thus are likely based on different logics
has super-classes
immutable knowledgebasec
conceptualizes some composite (KRR) knowledge resourcec

immutable entityc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/ImmutableEntity

an entity that is not subject to or susceptible of change
has sub-classes
environmentc
is in range of
has snapshotop
is disjoint with
mutable entityc

immutable knowledgebasec back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/ImmutableKnowledgeBase

An KB can be immutable by nature. Otherwise, any snapshot of a KB at a given point in time (including the time of its creation) is considered immutable.
Knowledge Base that is immutable
is equivalent to
(KRR) work of knowledgec
has super-classes
knowledge basec
has sub-classes
hybrid knowledge basec, working knowledge basec

knowledge basec back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/KnowledgeBase

A knowledge base is formed by one or more pieces of knowledge, related in different way, such that each piece plays some kind of role.
A functional complex of pieces of knowledge
has super-classes
knowledge sourcec
has sub-classes
immutable knowledgebasec, mutable knowledge basec

knowledge driven reasoning activityc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/KnowledgeDrivenReasoningActivity

Activity performed by an artificial agent that uses a reasoner (aka "engine") and the knowledge captured by a (working) knowledge base to derive new information, e.g. to make inferences or answer queries
has super-classes
knowledge activity
involves some working knowledge basec
performed by some artificial agent

knowledge representation and reasoning languagec back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/KnowledgeRepresentationAndReasoningLanguage

OMS language, query language, or result language
has super-classes
knowledge representation and reasoning language
has sub-classes
query languagec

knowledge serializationc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/KnowledgeSerialization

has super-classes
defined concept
defined by some definition and (conceptualizes some serialization)

knowledge sourcec back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/KnowledgeSource

a source of information, suitable to be expressed in a machine-readable language, that has (possibly ambiguous) semantics
has super-classes
sourcec
has sub-classes
knowledge basec
a database with a mapping to an ontology
a stateful representation of a patient's history with OWL snapshots
a stream of RDF graphs providing data from biomedical devices

language environmentc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/LanguageEnvironment

environment whose members are languages
has super-classes
environmentc
has environment memberop only knowledge representation and reasoning languagec
has sub-classes
categorical, preserving language environment where multiple KRR languages, and mappings thereof, are supportedc, pivotal knowledge environmentc

mappingc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/Mapping

has super-classes
knowledge processing method specification
is in domain of
preservesop
is in range of
has environment mappingop

minimal knowledge resourcec back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/MinimalKnowledgeResource

a minimal resource cannot be further abdridged while expressing the same work of knowledge
a knowledge resource that expresses a Work of Knowledge, and such that if a fragment of that resource is removed, that resource will no longer be able to express that Work of Knowledge
is equivalent to
knowledge resource and (concisely expresses exactly 1 work of knowledge)
has super-classes
knowledge resource

mutable entityc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/Mutable

has super-classes
has snapshotop some immutable entityc
is in domain of
has snapshotop
is disjoint with
immutable entityc

mutable knowledge basec back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/MutableKnowledgeBase

is equivalent to
mutable sourcec and (has snapshotop some immutable knowledgebasec)
has super-classes
knowledge basec

mutable sourcec back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/MutableSource

container that has, at any point in time, an explicit state that is fully represented by a knowledge endeavor. The language, structure and content of a mutable knowledge source may change over time, but the abstraction level is unchanging.
is equivalent to
mutable entityc and sourcec and (has snapshotop some immutable entityc and sourcec)
the snapshot of a patient's current condition (with timestamp)

native (KRR) knowledge resourcec back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/NativeMachinableKnowledgeResource

sequence of expressions (like non-logical symbols, sentences and structuring elements) from a given KR language.
is equivalent to
(KRR) knowledge resourcec and native knowledge resourcec and (uses language exactly 1 knowledge representation and reasoning languagec)

native knowledge resourcec back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/NativeKnowledgeResource

is equivalent to
knowledge resource and (uses language exactly 1 language)
has super-classes
knowledge resource

nonempty environmentc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/NonemptyEnvironment

has super-classes
environmentc
has environment mappingop some mappingc
has sub-classes
focused environmentc
is in domain of
has environment memberop
is disjoint with
empty environmentc

pivotal knowledge environmentc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/PivotalKnowledgeEnvironment

focused, categorical, preserving language environment where the focus is a KRR language
has super-classes
categorical environmentc
focused environmentc
language environmentc
preserving environmentc

preserving environmentc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/PreservingEnvironment

environment where every mapping preserves a specified property
has super-classes
environmentc
has sub-classes
categorical, preserving language environment where multiple KRR languages, and mappings thereof, are supportedc, pivotal knowledge environmentc
is in domain of
all preserveop

query languagec back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/QueryLanguage

language consisting of a set of query expressions, one or more serializations of these Expressions, and one or more Entailment Regimes (http://www.w3.org/TR/sparql11-entailment/#entRegimeParts) defined in terms of formal, logic-based semantics.
has super-classes
knowledge representation and reasoning languagec

serialized (KRR) knowledge expressionc back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/SerializedMachinableKnowledgeExpression

character sequence, or collection of character sequences, each being the serialization of a machine readable knowledge resource in a knowledge serialization.
has super-classes
concrete expression
Example: character sequence in Manchester OWL syntax that is the serialization of an OWL Ground fact expressing that Socrates is a philosopher. Example: character sequence in OWL RDF/XML syntax that is the serialization of an OWL Ground fact expressing that Socrates is a philosopher. Example: character sequence in CLIF syntax that is the serialization of a Common Logic sentence expressing that Socrates is a philosopher. Example: character sequence in RDF/XML that is the serialization of an RDF graph expressing that the author of Moby Dick is Herman Melville. Example: character sequence in Turtle that is the serialization of an RDF graph expressing that the author of Moby Dick is Herman Melville. Example: SPARQL query String for the names of philosphers.

sourcec back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/Source

has sub-classes
knowledge sourcec

working knowledge basec back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/WorkingKnowledgeBase

(The snapshot of) a KRR knowledge base, internally represented by an artificial (software) agent, used in activities that make use of a 'reasoner' to derive new information from its content
has super-classes
immutable knowledgebasec
internally represented by some artificial agent
involved in some knowledge activity

Object Properties

according toop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/KR/accordingTo

relationship between a collection and an environment whereby the results of application of a mapping of the environment to a member of the collection are also members of the environment
has range
environmentc

all preserveop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/KR/allPreserve

has domain
preserving environmentc

has environment mappingop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/KR/hasEnvironmentMapping

has range
mappingc
is inverse of
is environment mapping ofop

has environment memberop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/KR/hasEnvironmentMember

has sub-properties
has focus memberop
has domain
nonempty environmentc
has range
thingc

has focus memberop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/KR/hasFocusMember

has super-properties
has environment memberop

has set of mappingsop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/KR/hasSetOfMappings

has snapshotop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/KR/hasSnapshot

relationship between a mutable source and its state at one timepoint.
has domain
mutable entityc
has range
immutable entityc

has structure typeop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/KR/hasStructureType

has subenvironmentop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/KR/hasSubenvironment

is inverse of
is subenvironment ofop

is environment mapping ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/KR/isEnvironmentMappingOf

is inverse of
has environment mappingop

is subenvironment ofop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/KR/isSubenvironmentOf

relationship between two environments that is a partial order where the language and logic graphs of the first enviroment are subgraphs, resp., of the language and logic graphs of the second environment

has characteristics: transitive

has domain
environmentc
has range
environmentc
is inverse of
has subenvironmentop

preservesop back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/API4KP/KR/preserves

has super-properties
preserves
has domain
mappingc
has sub-property chains
is environment mapping ofop o all preserveop

Annotation Properties

alt labelap back to ToC or Annotation Property ToC

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

content languageap back to ToC or Annotation Property ToC

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

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

editorial noteap back to ToC or Annotation Property ToC

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

exampleap back to ToC or Annotation Property ToC

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

file abbreviationap back to ToC or Annotation Property ToC

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

file abstractap back to ToC or Annotation Property ToC

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

filenameap back to ToC or Annotation Property ToC

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

is rule enabledap back to ToC or Annotation Property ToC

IRI: http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled

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

scope noteap back to ToC or Annotation Property ToC

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

specification u r lap back to ToC or Annotation Property ToC

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

Namespace Declarations back to ToC

default namespace
http://www.omg.org/spec/API4KP/KR/
06
http://www.omg.org/spec/API4KP/2018/06/
AnnotationVocabulary
https://www.omg.org/spec/EDMC-FIBO/FND/Utilities/AnnotationVocabulary/
AnnotationVocabulary1
http://www.omg.org/spec/EDMC-FIBO/FND/Utilities/AnnotationVocabulary/
DOL-terms
http://www.omg.org/spec/DOL/DOL-terms/
SpecificationMetadata
http://www.omg.org/techprocess/ab/SpecificationMetadata/
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#
swrla
http://swrl.stanford.edu/ontologies/3.3/swrla.owl#
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.