# baseURI: https://www.omg.org/spec/API4KP/api4kp-ops/
# imports: https://www.omg.org/spec/API4KP/api4kp-krr/
# imports: https://www.omg.org/spec/API4KP/api4kp-lang/
# imports: https://www.omg.org/spec/API4KP/api4kp-rel/
# imports: https://www.omg.org/spec/API4KP/api4kp-series/
# imports: https://www.omg.org/spec/API4KP/api4kp/
# imports: https://www.omg.org/spec/Commons/AnnotationVocabulary/
# imports: https://www.omg.org/spec/Commons/Identifiers/
# imports: https://www.omg.org/spec/DOL/DOL-terms/
# imports: https://www.omg.org/spec/LCC/Languages/LanguageRepresentation/

@base <https://www.omg.org/spec/API4KP/api4kp-ops/> .
@prefix api4kp: <https://www.omg.org/spec/API4KP/api4kp/> .
@prefix api4kp-krr: <https://www.omg.org/spec/API4KP/api4kp-krr/> .
@prefix api4kp-lang: <https://www.omg.org/spec/API4KP/api4kp-lang/> .
@prefix api4kp-ops: <https://www.omg.org/spec/API4KP/api4kp-ops/> .
@prefix api4kp-rel: <https://www.omg.org/spec/API4KP/api4kp-rel/> .
@prefix api4kp-series: <https://www.omg.org/spec/API4KP/api4kp-series/> .
@prefix cmns-av: <https://www.omg.org/spec/Commons/AnnotationVocabulary/> .
@prefix cmns-id: <https://www.omg.org/spec/Commons/Identifiers/> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix dol: <http://www.omg.org/spec/DOL/DOL-terms/> .
@prefix lcc-lr: <https://www.omg.org/spec/LCC/Languages/LanguageRepresentation/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://www.omg.org/spec/API4KP/api4kp-ops/>
	a owl:Ontology ;
	rdfs:label "Ontology of API4KP Operations" ;
	dct:abstract "This ontology focuses on the definition of operations used by API4KP, including but not limited to access and transformation services." ;
	dct:contributor "Elisa Kendall (ekendall at thematix.com)" ;
	dct:creator "Davide Sottara (sottara.davide at mayo.edu)" ;
	dct:license "http://opensource.org/licenses/MIT"^^xsd:anyURI ;
	owl:imports
		<https://www.omg.org/spec/API4KP/api4kp-krr/> ,
		<https://www.omg.org/spec/API4KP/api4kp-lang/> ,
		<https://www.omg.org/spec/API4KP/api4kp-rel/> ,
		<https://www.omg.org/spec/API4KP/api4kp-series/> ,
		<https://www.omg.org/spec/API4KP/api4kp/> ,
		<https://www.omg.org/spec/Commons/AnnotationVocabulary/> ,
		<https://www.omg.org/spec/Commons/Identifiers/> ,
		<https://www.omg.org/spec/DOL/DOL-terms/> ,
		<https://www.omg.org/spec/LCC/Languages/LanguageRepresentation/>
		;
	owl:versionIRI <https://www.omg.org/spec/API4KP/20230201/api4kp-ops/> ;
	skos:changeNote "The https://www.omg.org/spec/API4KP/20210201/api4kp-ops.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." ;
	cmns-av:copyright
		"Copyright (c) 2014-2023 Athan Services" ,
		"Copyright (c) 2014-2023 Fraunhofer Gesellschaft" ,
		"Copyright (c) 2014-2023 Freie Universität Berlin" ,
		"Copyright (c) 2014-2023 Mayo Foundation for Medical Education and Research (MFMER)" ,
		"Copyright (c) 2014-2023 Raytheon Technologies" ,
		"Copyright (c) 2014-2023 Thematix Partners LLC" ,
		"Copyright (c) 2015-2023 Object Management Group, Inc." ,
		"Copyright (c) 2019-2023 Universität Leipzig" ,
		"Copyright (c) 2020-2023 Micro Focus"
		;
	.

api4kp-ops:AbridgmentTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:ParaphraseTask ;
	rdfs:label "abdrigment task" ;
	skos:definition "act of paraphrasing that eliminates elements of an expression that are not essential to reconstruct its meaning" ;
	.

api4kp-ops:CarvingTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:SelectionTask ;
	rdfs:label "carving task" ;
	skos:definition "selection task involoving inclusion of fragments that evoke certain concepts" ;
	.

api4kp-ops:CherryPickingTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:SelectionTask ;
	rdfs:label "cherry-picking task" ;
	skos:definition "selection task whereby the concepts to be included are enumerated explicitly" ;
	.

api4kp-ops:ClassificationTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:LogicBasedReasoningTask ;
	rdfs:label "classification task" ;
	skos:note "reasoning task such that, given an individual and a set of concepts (classes), determines which concepts (classes) that individual is an instance (member) of" ;
	.

api4kp-ops:ClearRepositoryLocationTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:KnowledgeArtifactRepositoryTask ;
	rdfs:label "clear repository location task" ;
	skos:definition "repository task that ensures that no artifact is stored at a given location" ;
	.

api4kp-ops:ComplexityDetectionTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeAnalyticTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:hasSubtask ;
			owl:someValuesFrom api4kp-ops:ParsingTask ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp-krr:ComputationalComplexityClass ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "complexity detection task" ;
	skos:definition "analytic task that detects the computational complexity (space and/or time) of a given knowledge expression" ;
	.

api4kp-ops:ConfigurationParameter
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:KnowledgeProcessingTaskRole ;
	rdfs:label "configuration parameter" ;
	skos:definition "role played by a value, selected from a 'region' of admissible values, that can remove a degree of freedom from the execution of a (knowledge processing) task, without changing the nature of the task" ;
	.

api4kp-ops:ConsistencyCheckTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:LogicBasedReasoningTask ;
	rdfs:label "consistency checking task" ;
	rdfs:seeAlso "https://en.wikipedia.org/wiki/Consistency" ;
	skos:definition "reasoning task that determines whether a knowledge base is inconsistent, i.e. it allows derivation of a logical contradication" ;
	.

api4kp-ops:DecodingTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:LiftingTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:EncodedKnowledgeExpression ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:ConcreteKnowledgeExpression ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "decoding task" ;
	skos:definition "the act of recreating a concrete expression from its encoded version" ;
	.

api4kp-ops:DependencyResolutionTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeResourceDiscoveryTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeResource ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeResource ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "dependency resolution task" ;
	skos:definition "knowledge resource discovery task that resolves dependency relationships between knowledge resources" ;
	.

api4kp-ops:DescriptionTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:KnowledgeReasoningTask ;
	rdfs:label "description task" ;
	skos:definition "reasoning task that produces some description for a given individual" ;
	.

api4kp-ops:DiffingTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:KnowledgeAnalyticTask ;
	rdfs:label "diffing task" ;
	skos:definition "analytic task that detects the differences between two knowledge expressions" ;
	.

api4kp-ops:EncodingTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:LoweringTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp-lang:Encoding ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:ConcreteKnowledgeExpression ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:EncodedKnowledgeExpression ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "encoding task" ;
	skos:definition "lowering task that applies an encoding to a concrete expression" ;
	skos:example "Converting characters into sequences of bits, according to an encoding method, so that they can be written to a RAM, ROM or magnetic disk." ;
	.

api4kp-ops:EntailmentCheckTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:LogicBasedReasoningTask ;
	rdfs:label "entailment check test" ;
	skos:definition "reasoning task that determines whether a given working knowledge base is entailed by a reference working knowledge base through logical consequence" ;
	.

api4kp-ops:Explanation
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:KnowledgeProcessingTaskRole ;
	rdfs:label "explanation" ;
	skos:definition "role played by an expression, generated as part of the execution of a (knowledge processing) activity, that captures knowledge about the course of that activity and/or its inputs, outputs and substrate" ;
	.

api4kp-ops:ExpressionTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:LoweringTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp-lang:AbstractSyntax ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp-lang:Lexicon ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:WorkOfKnowledge ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:AbstractKnowledgeExpression ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "expression task" ;
	skos:definition "lowering task that creates an expression in a given language (sytnax and lexicon), from the information content of a work of knowledge" ;
	.

api4kp-ops:ExtensionTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:InjectionTask ;
	rdfs:label "extension task" ;
	skos:definition "injection of a resource into a second resource, which plays the role of 'extension', providing a wrapping context" ;
	.

api4kp-ops:ExtractionTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:SeparationTask ;
	rdfs:label "extraction task" ;
	skos:definition "separation based on a tree-oriented deconstruction, where the resources that are part of a subtree of the underlying structure are returned" ;
	.

api4kp-ops:FilteringTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:SimplificationTask ;
	rdfs:label "censoring task" ;
	skos:definition "simplification aimed at removing one or more concepts, and their transitive associations, from the input work of knowledge" ;
	skos:note "The expression of the resulting WoK will not contain any linguistic element that evokes the redacted concepts." ;
	.

api4kp-ops:FusionTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:KnowledgeReshapingTask ;
	rdfs:label "fusion task" ;
	skos:definition "reshaping task that consists in combining two resources into a new, distinct resource" ;
	skos:note "conceptually equivalent to structuring two or more resources by construction, then flattening the structure so obtained" ;
	.

api4kp-ops:HorizontalKnowledgeProcessingTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:SyntacticKnowledgeProcessingTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeResource ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeResource ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:retains ;
			owl:someValuesFrom api4kp:WorkOfKnowledge ;
		]
		;
	rdfs:label "horizontal knowledge processing task" ;
	skos:definition "syntactic processing task that consumes and produces resources at the same level of abstraction, altering the primary characteristic that is defined at level of abstraction (abstract syntax/lexicon, concrete syntax, encoding)" ;
	skos:note "While the input I and the product O are different entities, both will refer to the same entities at the higher levels of abstraction: i.e. lift(O) sameAs lift(I), where 'lift' is the execution of any lifting vertical task" ;
	.

api4kp-ops:InferenceTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:LogicBasedReasoningTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeResource ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Substrate
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp-krr:KnowledgeBase ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "inference task" ;
	rdfs:seeAlso "https://en.wikipedia.org/wiki/Logical_consequence" ;
	skos:definition "reasoning task that materializes the logical consequence(s) entailed by a given knowledge base" ;
	skos:scopeNote "The inferred knowledge may be returned independently, or added to (a new version of) the input knowledge base" ;
	.

api4kp-ops:InjectionTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:FusionTask ;
	rdfs:label "injection task" ;
	skos:definition "fusion task involving an implicit tree-oriented structure" ;
	.

api4kp-ops:Input
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:KnowledgeProcessingTaskRole ;
	rdfs:label "input" ;
	skos:definition "role played by a resource that is used in an activity of a given type, exists before that activity is started, and is made available to the agent executing that activity by a different party" ;
	.

api4kp-ops:InterpretationTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:LiftingTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp-lang:AbstractSyntaxTree ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:WorkOfKnowledge ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "interpretation task" ;
	skos:definition "act of extracting the information content expressed by a knowledge expression, by means of analyzing the AST of that expression" ;
	cmns-av:synonym "conceptualization task" ;
	.

api4kp-ops:KnowledgeAnalyticTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:SyntacticKnowledgeProcessingTask ;
	rdfs:label "knowledge analytic task" ;
	skos:definition "task whose objective is the determination of a quality of a knowledge expression (e.g. used language, complexity, etc.)" ;
	.

api4kp-ops:KnowledgeArtifactRegistrationTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeAssetRepositoryTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom [
							a owl:Restriction ;
							owl:onProperty api4kp-ops:isCopyOf ;
							owl:someValuesFrom api4kp:KnowledgeArtifact ;
						] ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "knowledge artifact registration task" ;
	skos:definition "knowledge asset repository task that involves the association of a knowledge artifact (and/or surrogate) with a knowledge asset, and potentially assigning some registration-specific identifier" ;
	.

api4kp-ops:KnowledgeArtifactRepositoryTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeProcessingTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp-series:VersionIdentifier ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:KnowledgeProcessingTaskRole
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeArtifact ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "knowledge artifact repository task" ;
	skos:definition "knowledge processing task focused on the storage, indexing and retrieval of specific versions of knowledge artifacts inside a repository's storage locations" ;
	skos:note "Locations are logical entities, identified by a (location) identifier, regardless of the specific repository implementation, providing abstraction on a persistence layer." ;
	.

api4kp-ops:KnowledgeAssetRegistrationTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeAssetRepositoryTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom [
							a owl:Restriction ;
							owl:onProperty api4kp-ops:isCopyOf ;
							owl:someValuesFrom api4kp:KnowledgeAssetSurrogate ;
						] ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "knowledge asset registration task" ;
	skos:definition "knowledge asset repository task that adds a knowledge asset to the repository, creating a Surrogate in the process" ;
	.

api4kp-ops:KnowledgeAssetRepositoryTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeProcessingTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Substrate
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeAsset ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "knowledge asset repository task" ;
	skos:definition "knowledge processing task focused on the indexing, storage and retrieval of knowledge assets, manifested through their carriers and/or surrogates" ;
	.

api4kp-ops:KnowledgeBaseBuildingTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeResourceAssemblyTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp-krr:KnowledgeBase ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Substrate
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp-krr:KnowledgeBase ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "knowledge base building task" ;
	skos:definition "incremental assembly task that operates on a knowledge base, to produce a new knowledge base that incorporates some additional knowledge resource" ;
	.

api4kp-ops:KnowledgeBaseCreationTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeResourceAssemblyTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp-krr:KnowledgeBase ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "knowledge base creation task" ;
	skos:definition "assembly task that initializes a working knowledge base, possibly using a knowledge resource as initial content" ;
	.

api4kp-ops:KnowledgeCarrierRetrievalTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeAssetRepositoryTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom cmns-id:Identifier ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom [
							a owl:Restriction ;
							owl:onProperty api4kp-ops:isCopyOf ;
							owl:someValuesFrom api4kp:KnowledgeArtifact ;
						] ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "knowledge carrier retrieval task" ;
	skos:definition "retrieves a knowledge artifact that is the carrier of (a given version of) a knowledge asset, possibly choosing between variant carriers using content negotiation" ;
	.

api4kp-ops:KnowledgeProcessingTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp:DefinedConcept ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:KnowledgeProcessingTaskRole
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeResource ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp:archetypes ;
			owl:someValuesFrom api4kp:KnowledgeProcessingActivity ;
		]
		;
	rdfs:label "knowledge processing task" ;
	skos:definition "archetypical abstraction of a class of knowledge processing activities that are executed according to a common method, and involve resources of the same nature" ;
	skos:editorialNote "The notion of 'task', 'activity', and 'method' is informed by the DOLCE DnS ontology." ;
	skos:note
		"A knowledge processing task abstracts and defines the role that different types of knowledge resources play in a knowledge processing activity.  Such a task includes a goal, i.e. a formal description of the expected situation that is the outcome of the execution of an activity of the type defined by the task. When the outcome matches the goal - i.e. the description of the outcome is subsumed by the goal - the activity is considered to be successful. Otherwise, it is considered to be failed." ,
		"Knowledge processing tasks are associated with constructive definitions that are (knowledge processing) methods which specify how to execute the task. Tasks executed according to a method that has some degrees of freedom, can be configured using parameters. Execution of a task may involve the generation of an 'explanation'."
		;
	.

api4kp-ops:KnowledgeProcessingTaskRole
	a owl:Class ;
	rdfs:subClassOf api4kp:DefinedConcept ;
	rdfs:label "knowledge processing task role" ;
	skos:definition "role that is played by a resource in the context of a knowledge processing activity" ;
	skos:editorialNote "Individual task-specific roles allow to define specific roles tailored to specific knowledge processing tasks, and those are the roles 'filled by' the individual resources involved in individual activities." ;
	.

api4kp-ops:KnowledgeReasoningTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeProcessingTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Restriction ;
				owl:onProperty api4kp-ops:isFilledBy ;
				owl:someValuesFrom api4kp-krr:KnowledgeBase ;
			] ;
		]
		;
	rdfs:label "knowledge reasoning task" ;
	skos:definition "processing task involving an agent with reasoning capabilities, that derives new information leveraging the formal semantics of a knowledge base" ;
	.

api4kp-ops:KnowledgeReshapingTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeResourceStructuringTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeExpression ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeExpression ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Substrate
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeFragment ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:retains ;
			owl:someValuesFrom lcc-lr:Language ;
		]
		;
	rdfs:label "knowledge reshaping task" ;
	skos:definition "structuring task that produces a knowledge expression, operating on knowledge fragments (and concepts thereof), preserving the language(s) of the input resources in the process" ;
	.

api4kp-ops:KnowledgeResourceAggregationTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:KnowledgeResourceConstructionTask ;
	rdfs:label "knowledge resource aggregation task" ;
	skos:definition "task involving the construction of a set-oriented structure" ;
	.

api4kp-ops:KnowledgeResourceAssemblyTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeResourceCompositionalTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeResource ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:StructuringKnowledgeExpression ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:CompositeKnowledgeResource ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "knowledge resource assembly task" ;
	skos:note "compositional task that constructs a composite knowledge asset given a structure and the individual components" ;
	.

api4kp-ops:KnowledgeResourceCompositionTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:KnowledgeResourceConstructionTask ;
	rdfs:label "knowledge resource composition task" ;
	skos:definition "construction task resulting in a tree-oriented structure" ;
	.

api4kp-ops:KnowledgeResourceCompositionalTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeResourceStructuringTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Restriction ;
				owl:onProperty api4kp-ops:isFilledBy ;
				owl:someValuesFrom api4kp:StructuringKnowledgeExpression ;
			] ;
		]
		;
	rdfs:label "knowledge resource compositional task" ;
	skos:definition "task that operates on a composite knowledge resource, whose internal organization is manifested by a structuring knowledge resource" ;
	.

api4kp-ops:KnowledgeResourceConstructionTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeResourceCompositionalTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeResource ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:StructuringKnowledgeExpression ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "knowledge resource construction task" ;
	skos:definition "compositional task that creates a structuring knowledge resource that has two or more knowledge resources as referenced components" ;
	.

api4kp-ops:KnowledgeResourceDecompositionTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:KnowledgeResourceDeconstructionTask ;
	rdfs:label "knowledge resource decomposition task" ;
	skos:definition "deconstruction task that is limited to operating on tree-oriented structures" ;
	.

api4kp-ops:KnowledgeResourceDeconstructionTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeResourceCompositionalTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeResource ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:StructuringKnowledgeExpression ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "knowledge resource deconstruction task" ;
	skos:definition "compositional task that creates a structuring knowledge resource from a single deconstructable resource, i.e. a resources that contains fragments which could be promoted to knowledge expressions" ;
	.

api4kp-ops:KnowledgeResourceDescriptionExtractionTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:SemanticKnowledgeManagementTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:hasSubtask ;
			owl:someValuesFrom api4kp-ops:DescriptionTask ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeExpression ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeResourceDescription ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "knowledge resource description extraction task" ;
	skos:definition "reasoning task that infers a knowledge resource description from a knowledge expression" ;
	skos:note "The produced description is manifested as a knowledge asset surrogate." ;
	.

api4kp-ops:KnowledgeResourceDisaggregationTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:KnowledgeResourceDeconstructionTask ;
	rdfs:label "knowledge resource disaggregation task" ;
	skos:definition "deconstruction task that is limited to set-oriented structures" ;
	.

api4kp-ops:KnowledgeResourceDisassemblyTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeResourceCompositionalTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:CompositeKnowledgeResource ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:StructuringKnowledgeExpression ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeResource ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "knowledge resource disassembly task" ;
	skos:definition "compositional task that consists in breaking apart a composite knowledge resources, to obtain the components as a product" ;
	.

api4kp-ops:KnowledgeResourceDiscoveryTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:SemanticKnowledgeManagementTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:hasSubtask ;
			owl:someValuesFrom api4kp-ops:QueryAnswerTask ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeResource ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeResource ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "knowledge resource discovery task" ;
	skos:definition "knowledge management task that, given a knowledge asset repository, determines the knowledge resources that match some search/query criteria applied to the resources metadata" ;
	.

api4kp-ops:KnowledgeResourceFlatteningTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeResourceCompositionalTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Restriction ;
				owl:onProperty api4kp-ops:isFilledBy ;
				owl:someValuesFrom api4kp:StructuringKnowledgeExpression ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:CompositeKnowledgeResource ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeResource ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "knowledge resource flattening task" ;
	skos:definition "compositional task that produces a single, flattened knowledge resource from a composite knowledge resource, respecting the composite's structure" ;
	skos:note "The flattening may require some manipulation of the component resources before they can be merged." ;
	.

api4kp-ops:KnowledgeResourceRearrangementTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeResourceCompositionalTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:StructuringKnowledgeExpression ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:StructuringKnowledgeExpression ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "knowledge resource rearrangement task" ;
	skos:definition "compositional task that retains the identity and type of the components, but alters the mutual relationships" ;
	skos:note
		"That is, the corresponding composites have the same atomic components, but the underlying set-tree organization is different." ,
		"The operation generates a new structure, that is a versioned revision of the input structure."
		;
	.

api4kp-ops:KnowledgeResourceStructuringTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeProcessingTask ,
		[
			a owl:Class ;
			owl:complementOf [
				a owl:Restriction ;
				owl:onProperty api4kp-ops:retains ;
				owl:someValuesFrom api4kp:WorkOfKnowledge ;
			] ;
		]
		;
	rdfs:label "knowledge resource structuring task" ;
	skos:definition "task that produces a derivative knowledge resource that embodies a derivative work of knowledge" ;
	skos:scopeNote """In API4KP a 'structure' denotes, in a narrow sense, two or more resources organized into composite resources. In DOL, 'structuring' is used in a broader sense, not only to cover the API4KP sense, but also the API4KP notion of '(complex) manipulation' - operations that are possibly, but not necessarily, used to prepare resources to become part of a structure.

To remain aligned, in API4KP 'structuring' denotes manipulations other than 'horizontal' and 'vertical' manipulations which preserve the work of knowledge.  Hence, 'structuring' tasks do not preserve the WoK. 'Structuring' is then further partitioned into 'Composition' - dealing with API4KP structures and composite resources - and 'Reshaping' - dealing with non-WoK preserving transrepresentations.""" ;
	.

api4kp-ops:KnowledgeSurrogateRetrievalTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeCarrierRetrievalTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:allValuesFrom [
							a owl:Restriction ;
							owl:onProperty api4kp-ops:isCopyOf ;
							owl:someValuesFrom api4kp:KnowledgeAssetSurrogate ;
						] ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "knowledge surrogate retrieval task" ;
	skos:definition "knowledge carrier retrieval task that returns a surrogate" ;
	.

api4kp-ops:LanguageInformationDetectionTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeAnalyticTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:hasSubtask ;
			owl:someValuesFrom api4kp-ops:ParsingTask ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom dol:Profile ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp-lang:Serialization ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom lcc-lr:Language ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "language information detection task" ;
	skos:definition "analytic task that detects the language, profile and/or concrete syntax used in a knowledge expression" ;
	.

api4kp-ops:LiftingTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:VerticalKnowledgeProcessingTask ;
	rdfs:label "lifting task" ;
	skos:definition "vertical knowledge processing task that produces a resource at a higher level of abstraction that its input" ;
	.

api4kp-ops:LogicBasedReasoningTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:KnowledgeReasoningTask ;
	rdfs:label "logic-based reasoning task" ;
	skos:definition "knowledge reasoning task based on the semantics and pragmatics of some underlying logic, based on symbolic methods, suitable to be peformed by 'reasoners'" ;
	.

api4kp-ops:LogicDetectionTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeAnalyticTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom dol:Logic ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "logic detection task" ;
	skos:definition "analytic task that detects the (simplest) logic that is expressive enough to formalize the given knowledge expression" ;
	.

api4kp-ops:LoweringTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:VerticalKnowledgeProcessingTask ;
	rdfs:label "lowering task" ;
	skos:definition "vertical knowledge processing task that produces a resource at a lower level of abstraction that its input" ;
	skos:note "With respect to a lowering, there is usually a 1:N relationship between the resource at the higher level and the resource(s) at the lower level." ;
	.

api4kp-ops:ParaphraseTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:HorizontalKnowledgeProcessingTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeExpression ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeExpression ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:retains ;
			owl:someValuesFrom lcc-lr:Language ;
		]
		;
	rdfs:label "paraphrase task" ;
	skos:definition "horizontal translation task that creates an alternative expression (concrete or abstract) that carries the same meaning, but uses different fragments (sentences and/or linguistic elements)" ;
	skos:note "Meaning (work of knowledge), language and format are preserved through paraphrasing, but not the internal structure of an expression. Paraphrase is only admissible in languages that are redundant, i.e. allow alternative, different expressions of the same meaning." ;
	skos:scopeNote "Interesting 'paraphrases' are the ones that cast an expression, in a given language, within the boundaries of a profile of that language." ;
	.

api4kp-ops:ParsingTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:LiftingTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:ConcreteKnowledgeExpression ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:AbstractKnowledgeExpression ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "parsing task" ;
	skos:definition "act of creating an AST (of an abstract knowldge expression) from a concrete knowledge expression" ;
	.

api4kp-ops:PartitionTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:SeparationTask ;
	rdfs:label "partition task" ;
	skos:definition "separation based on a set-oriented deconstruction" ;
	.

api4kp-ops:Product
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:KnowledgeProcessingTaskRole ;
	rdfs:label "product" ;
	skos:definition "role played by a resource that is used in an activity, and comes into being as a consequence of the successful completion of the activity" ;
	.

api4kp-ops:ProofGenerationTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:LogicBasedReasoningTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Explanation
					api4kp-ops:Product
				) ;
			] ;
		]
		;
	rdfs:label "proof generation task" ;
	skos:definition "reasoning task that produces a proof, i.e. an explanation, of how a knowledge base is entailed by another knowledge base" ;
	.

api4kp-ops:QueryAnswerTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:LogicBasedReasoningTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom dol:Query ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeExpression ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "query answering task" ;
	skos:definition "reasoning task that, given a knowledge base and a query, (question expressed by means of a proper knowledge expression that contains variables), returns an 'answer' in terms of bindings of those variables with respect to the contents of the knowledge base" ;
	.

api4kp-ops:ReadTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:LiftingTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:SerializedKnowledgeExpression ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:EncodedKnowledgeExpression ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Substrate
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeArtifact ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "read task" ;
	skos:definition "task that extracts an encoded knowledge expression from a carrier" ;
	skos:example "opening a file and reading the stream of Unicode-encoded characters" ;
	cmns-av:synonym "extraction task" ;
	.

api4kp-ops:RedactionTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:SimplificationTask ;
	rdfs:label "redaction task" ;
	skos:definition "simplification that removes concepts by means of removing fragments that evoke them" ;
	.

api4kp-ops:ReductionTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:SimplificationTask ;
	rdfs:label "reduction task" ;
	skos:definition "simplification that removes one or more classes of concepts" ;
	skos:note "reductions can be performed in preparation of a translation or a profile projection, removing concepts that would not be expressible in the target language" ;
	.

api4kp-ops:RemovalTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:SeparationTask ;
	rdfs:label "removal task" ;
	skos:definition "separation based on a tree-oriented deconstruction, where the resources that are part of a subtree of the underlying Structure are discarded" ;
	.

api4kp-ops:ReplicationTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:HorizontalKnowledgeProcessingTask ;
	rdfs:label "replication task" ;
	skos:definition "horizontal translation task that creates a new, equal, copy of the input resource" ;
	.

api4kp-ops:RetrieveArtifactFromRepositoryLocationTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:KnowledgeArtifactRepositoryTask ;
	rdfs:label "retrieve artifact from location task" ;
	skos:definition "returns (a copy of) an artifact stored at a given location" ;
	.

api4kp-ops:SatisfiabilityCheckTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:LogicBasedReasoningTask ;
	rdfs:label "satisfiability check task" ;
	rdfs:seeAlso "https://en.wikipedia.org/wiki/Satisfiability" ;
	skos:definition "reasoning task that determines whether a knowledge base with open variables is satisfiable or not, i.e. there is at least one binding of those variables that is not inconsistent" ;
	.

api4kp-ops:SelectionTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:KnowledgeReshapingTask ;
	rdfs:label "selection task" ;
	skos:definition "reshaping task that results in (the expression of) a work of knowledge that uses a subset of the concepts used by the original knowledge resource, where the subset is defined by inclusion" ;
	skos:note "Selection is additive (to the target WoK), whereas simplification is subtractive (to the source WoK)" ;
	.

api4kp-ops:SemanticKnowledgeManagementTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeAssetRepositoryTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:hasSubtask ;
			owl:someValuesFrom api4kp-ops:KnowledgeReasoningTask ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Restriction ;
				owl:onProperty api4kp-ops:isFilledBy ;
				owl:someValuesFrom api4kp:KnowledgeResourceDescription ;
			] ;
		]
		;
	rdfs:label "semantic knowledge management task" ;
	skos:definition "knowledge asset repository task that is a reasoning task applied to the knowledge base constituted by the surrogates managed in the repository" ;
	.

api4kp-ops:SemanticTranslationTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:TranslationTask ,
		[
			a owl:Class ;
			owl:intersectionOf (
				[
					a owl:Restriction ;
					owl:onProperty api4kp-ops:hasSubtask ;
					owl:someValuesFrom api4kp-ops:ExpressionTask ;
				]
				[
					a owl:Restriction ;
					owl:onProperty api4kp-ops:hasSubtask ;
					owl:someValuesFrom api4kp-ops:InterpretationTask ;
				]
			) ;
		]
		;
	rdfs:label "semantic translation task" ;
	skos:definition "translation task that leverages the interpretation of the input expression" ;
	.

api4kp-ops:SeparationTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:KnowledgeReshapingTask ;
	rdfs:label "separation task" ;
	skos:definition "reshaping task that breaks a knowledge resource into components, which are returned as individual resources" ;
	skos:note "Separation is conceptually equivalent to a deconstruction followed by a disassembly. Deconstructable knowledge resources are perfectly separable, i.e. the resulting resources carry, globally, the same information as the source one." ;
	.

api4kp-ops:SerializationTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:LoweringTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp-lang:Serialization ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:AbstractKnowledgeExpression ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:ConcreteKnowledgeExpression ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "serialization task" ;
	skos:definition "lowering task that serializes an abstract expression, using one of the concrete syntaxes supported by the langauge" ;
	.

api4kp-ops:SignatureDetectionTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeAnalyticTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp-lang:Lexicon ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "signature detection task" ;
	skos:definition 'analytic task that detects the non-logical symbols (a.k.a. "terms" - concretizations of linguistic elements that express domain concepts) used in an expression, identifying the lexicon they have been extracted from' ;
	.

api4kp-ops:SimplificationTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:KnowledgeReshapingTask ;
	rdfs:label "simplification task" ;
	skos:definition "reshaping task that results in (the expression of) a Work of Knowledge that uses a subset of the concepts used by the original Knowledge Resource, where the subset is defined by elimination" ;
	.

api4kp-ops:StoreArtifactAtRepositoryLocationTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeArtifactRepositoryTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeArtifact ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "store artifact at location task" ;
	skos:definition "task ensuring that an artifact is available at a given location" ;
	.

api4kp-ops:Substrate
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:KnowledgeProcessingTaskRole ;
	rdfs:label "substrate" ;
	skos:definition "role played by a resource that is used in an activity of a given type, exists before the activity is started, and is available to the agent executing the activity before the activity is started" ;
	.

api4kp-ops:SubsumptionTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:LogicBasedReasoningTask ;
	rdfs:label "subsumption task" ;
	skos:note "reasoning task that, given two concepts (classes), determines whether one is necessarily broader than (a subclass of) the other" ;
	.

api4kp-ops:SummarizationTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:SimplificationTask ;
	rdfs:label "summarization task" ;
	skos:definition "simplification that removes concepts which are redundant, i.e. whose elimination produces a minimal loss of information" ;
	.

api4kp-ops:SyntacticAnalysisTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:LiftingTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp-lang:ConcreteSyntaxTree ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp-lang:AbstractSyntaxTree ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "syntactic analysis task" ;
	skos:definition "act of deriving an AST from a parse tree" ;
	.

api4kp-ops:SyntacticKnowledgeProcessingTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeProcessingTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeExpression ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "syntactic knowledge processing task" ;
	skos:definition "task that leverages the syntactic aspects of a knowledge expression, as determined by the grammar of the language(s) used in the expression, without impacting the knowledge content of the resource" ;
	.

api4kp-ops:SyntacticParsingTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:LiftingTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:ConcreteKnowledgeExpression ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp-lang:ConcreteSyntaxTree ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "syntactic parsing task" ;
	skos:definition "act of creating a parse tree from a concrete knowledge expression. scanning and tokenization are considered sub-atomic parts of this task" ;
	.

api4kp-ops:TranscreationTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeResourceStructuringTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeResource ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom [
							a owl:Class ;
							owl:intersectionOf (
								api4kp:KnowledgeResource
								[
									a owl:Restriction ;
									owl:onProperty api4kp:isDerivedFrom ;
									owl:someValuesFrom api4kp:KnowledgeResource ;
								]
							) ;
						] ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "transcreation task" ;
	skos:definition "complex transformation that can alter the language and/or semantics of an input resource" ;
	.

api4kp-ops:TranscriptionTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:HorizontalKnowledgeProcessingTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp-lang:Serialization ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeExpression ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeExpression ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:retains ;
			owl:someValuesFrom lcc-lr:Language ;
		]
		;
	rdfs:label "syntactic transcription task" ;
	skos:definition "horizontal translation task that maps an expression in the concrete syntax of a given language to an expression in a different concrete syntax of the same language" ;
	.

api4kp-ops:TranslationTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:HorizontalKnowledgeProcessingTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeExpression ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom lcc-lr:Language ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeExpression ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "syntactic translation task" ;
	skos:definition "horizontal translation task that maps an expression in a given language to an expression of the same knowledge in a target language" ;
	.

api4kp-ops:UnionTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:FusionTask ;
	rdfs:label "union task" ;
	skos:definition "fusion task in terms of a set-oriented implicit structure" ;
	.

api4kp-ops:VerticalKnowledgeProcessingTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:SyntacticKnowledgeProcessingTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeResource ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeResource ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:retains ;
			owl:someValuesFrom api4kp:WorkOfKnowledge ;
		]
		;
	rdfs:label "vertical knowledge processing task" ;
	skos:definition 'syntactic knowledge processing task that produces knowledge resources at higher or lower level of abstraction along the "artifact - asset" chain' ;
	.

api4kp-ops:WeavingTask
	a owl:Class ;
	rdfs:subClassOf api4kp-ops:KnowledgeReshapingTask ;
	rdfs:label "weaving task" ;
	skos:definition "reshaping such that fragments of one or more expressions are embedded in a target expression" ;
	.

api4kp-ops:WellFormednessCheckTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:KnowledgeAnalyticTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom lcc-lr:Language ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "well-formedness check task" ;
	skos:definition "analytic task that detects whether a knowledge expression is a valid sentence according to the syntax - abstract and/or concrete - of some language, or profile thereof" ;
	.

api4kp-ops:WriteTask
	a owl:Class ;
	rdfs:subClassOf
		api4kp-ops:LoweringTask ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Input
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:EncodedKnowledgeExpression ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Product
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:SerializedKnowledgeExpression ;
					]
				) ;
			] ;
		] ,
		[
			a owl:Restriction ;
			owl:onProperty api4kp-ops:involvesRole ;
			owl:someValuesFrom [
				a owl:Class ;
				owl:intersectionOf (
					api4kp-ops:Substrate
					[
						a owl:Restriction ;
						owl:onProperty api4kp-ops:isFilledBy ;
						owl:someValuesFrom api4kp:KnowledgeArtifact ;
					]
				) ;
			] ;
		]
		;
	rdfs:label "write task" ;
	skos:definition "lowering task that imprints an encoded expression on a carrier artifact" ;
	skos:example "writing a stream of ASCII characters to a (text) file" ;
	cmns-av:synonym "engraving task" ;
	.

api4kp-ops:hasSubtask
	a owl:ObjectProperty ;
	rdfs:subPropertyOf api4kp:hasProperPart ;
	rdfs:label "has subtask" ;
	rdfs:domain api4kp-ops:KnowledgeProcessingTask ;
	rdfs:range api4kp-ops:KnowledgeProcessingTask ;
	skos:definition "relationship between a task T and a task S, such that an activity of kind T will have an activity of type S as a sub-activity, i.e. as a (temporal) proper process part" ;
	.

api4kp-ops:involvesRole
	a owl:ObjectProperty ;
	rdfs:subPropertyOf api4kp:hasProperPart ;
	rdfs:label "involves role" ;
	rdfs:domain api4kp-ops:KnowledgeProcessingTask ;
	rdfs:range api4kp-ops:KnowledgeProcessingTaskRole ;
	skos:definition "has a definition, part of which is the given role" ;
	skos:note "Tasks (activity definitions) involve roles, and roles are filled by entities that participate in the activities of the given type." ;
	.

api4kp-ops:isCopyOf
	a owl:ObjectProperty ;
	rdfs:label "is copy of" ;
	skos:definition "distinct individual that, at creation time, replicates all the qualities/characteristics of" ;
	.

api4kp-ops:isFilledBy
	a owl:ObjectProperty ;
	rdfs:subPropertyOf api4kp:archetypes ;
	rdfs:label "is filled by" ;
	rdfs:domain api4kp-ops:KnowledgeProcessingTaskRole ;
	skos:definition "abstracts the characteristics of, with respect to the participation in a knowledge processing activity of a given type" ;
	.

api4kp-ops:retains
	a owl:ObjectProperty ;
	rdfs:label "retains" ;
	rdfs:domain api4kp-ops:KnowledgeProcessingTask ;
	skos:definition "does not impact an (invariant) characteristic shared by its inputs and outputs" ;
	.