API4KP Ontology of Knowledge Platforms
type: Ontology
abstract: This ontology formalizes the notion of a Knowledge Platform.
contributor: Elisa Kendall (ekendall at thematix.com)
creator: Davide Sottara (sottara.davide at mayo.edu)
license: http://opensource.org/licenses/MIT
imports: api4kp
imports: AnnotationVocabulary
imports: DOL-terms
version IRI: api4kp-kp
change note: The https://www.omg.org/spec/API4KP/20210201/api4kp-kp.rdf version of this ontology was modified to leverage the Commons Ontology Library (API4KP-22), including replacement of references to Specification Metadata and references to LCC with the Commons Annotation Vocabulary and other Commons ontologies, and to reduce the dependency on DOL as appropriate.
copyright: Copyright (c) 2014-2023 Athan Services
copyright: Copyright (c) 2014-2023 Fraunhofer Gesellschaft
copyright: Copyright (c) 2014-2023 Freie Universität Berlin
copyright: Copyright (c) 2014-2023 Mayo Foundation for Medical Education and Research (MFMER)
copyright: Copyright (c) 2014-2023 Raytheon Technologies
copyright: Copyright (c) 2014-2023 Thematix Partners LLC
copyright: Copyright (c) 2015-2023 Object Management Group, Inc.
copyright: Copyright (c) 2019-2023 Universität Leipzig
copyright: Copyright (c) 2020-2023 Micro Focus

algorithm
type: Class
subclass of: WorkOfKnowledge
definition: finite sequence of well-defined, computer-implementable instructions, typically to solve a class of problems or to perform a computation

computer program
type: Class
subclass of: KnowledgeExpression
definition: the expression of an algorithm in some programming language

computing environment
type: Class
subclass of: Restriction
  on property: hosts
  some values from: deployed software
definition: combination of general purpose hardware and software designed to interpret programs that drive the execution of information processing tasks
scope note: includes physical and virtual machines, operating systems, containers and other computing platform/infrastructure components

deployed software
type: Class
subclass of: ArtificialAgent
subclass of: Restriction
  on property: is deployment of
  some values from: software
subclass of: Restriction
  on property: performs
  some values from: software execution
definition: the result of installing a particular software application or agent into some computing environment
synonym: deployed software module

description logic reasoner
type: Class
subclass of: reasoner
definition: reasoner optimized for logic based classification, subsumption and query answering tasks that conforms to one or more description logic(s)

knowledge based execution
type: Class
subclass of: software execution
definition: software execution that uses and/or generates some knowledge artfact

knowledge platform
type: Class
subclass of: computing environment
equivalent class: Class
  intersection of: computing environment
  intersection of: Restriction
    on property: hosts
    some values from: Class
      intersection of: knowledge platform module
      intersection of: Restriction
        on property: performs
        some values from: KnowledgeProcessingActivity
definition: computing environment designed to host reasoners, and consume knowledge artifacts

knowledge platform module
type: Class
subclass of: deployed software
subclass of: Restriction
  on property: internallyRepresents
  some values from: KnowledgeResource
subclass of: Restriction
  on property: isProperPartOf
  some values from: knowledge platform
subclass of: Restriction
  on property: performs
  some values from: knowledge based execution
definition: deployed software component that is part of a knowledge platform and performs knowledge-based tasks

process engine
type: Class
subclass of: reasoner
definition: reasoner that supports stateful, temporal reasoning centered on tasks, roles and events

production rule engine
type: Class
subclass of: rule engine
definition: rule engine optimized for production (condition-action) rules

reasoner
type: Class
subclass of: software
comment: software that has the capability of performing reasoning operations
synonym: reasoning engine

rule engine
type: Class
subclass of: reasoner
definition: reasoner that supports inferences performed on rule bases

server
type: Class
subclass of: deployed software
definition: deployed software that can perform computations as a service, on a client's request

software
type: Class
subclass of: KnowledgeArtifact
definition: distributable application or library that carries a computer program

software execution
type: Class
subclass of: KnowledgeProcessingActivity
comment: The process by which a (virtual) machine interpretes and executes the instructions that are fragments of a computer program.
scope note: at a minimum, a software execution is a knowledge processing activity in the sense that the computing machine follows the "plan" stated by the computer program
synonym: software run

hosts
type: ObjectProperty
domain: computing environment
range: deployed software
definition: relationship between an execution environment, and a software component that has been launched and/or deployed in that environment

is deployment of
type: ObjectProperty
domain: deployed software
range: software
definition: relationship between a a software component that has been launched and/or deployed in some environment and its basic form