@prefix : . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix rdfs: . @base . rdf:type owl:Ontology ; owl:versionIRI ; "The CoreSense Ontology in OWL 2, generated from the SysML v2 model in sysml/coresense/, which is the canonical source. Each term records the SysML definition it derives from."@en ; ; "The CORESENSE Consortium"@en ; ; "CoreSense Ontology (CSO)"@en ; rdfs:seeAlso ; owl:versionInfo "2026-07-29" . ################################################################# # Annotation properties ################################################################# ### http://purl.org/dc/terms/description rdf:type owl:AnnotationProperty . ### http://purl.org/dc/terms/license rdf:type owl:AnnotationProperty . ### http://purl.org/dc/terms/publisher rdf:type owl:AnnotationProperty . ### http://purl.org/dc/terms/source rdf:type owl:AnnotationProperty . ### http://purl.org/dc/terms/title rdf:type owl:AnnotationProperty . ### http://w3id.org/coresense/cso#sysmlKind :sysmlKind rdf:type owl:AnnotationProperty ; rdfs:isDefinedBy ; rdfs:label "SysML definition kind"@en ; "The SysML v2 definition keyword this term was generated from."@en . ### http://w3id.org/coresense/cso#sysmlName :sysmlName rdf:type owl:AnnotationProperty ; rdfs:isDefinedBy ; rdfs:label "SysML qualified name"@en ; "The fully qualified name of the SysML v2 element this term was generated from."@en . ### http://www.w3.org/2004/02/skos/core#altLabel rdf:type owl:AnnotationProperty . ### http://www.w3.org/2004/02/skos/core#definition rdf:type owl:AnnotationProperty . ################################################################# # Object Properties ################################################################# ### http://w3id.org/coresense/cso#actions :actions rdf:type owl:ObjectProperty ; rdfs:domain :Functionality ; rdfs:range :Action ; :sysmlKind "ref" ; :sysmlName "CSBase::Functionality::actions" ; rdfs:isDefinedBy ; rdfs:label "actions"@en ; "actions"@en ; "Generated from the SysML v2 feature CSBase::Functionality::actions."@en . ### http://w3id.org/coresense/cso#adverseEvent :adverseEvent rdf:type owl:ObjectProperty ; rdfs:domain :Risk ; rdfs:range :AdverseOccurrence ; :sysmlKind "ref" ; :sysmlName "CSBase::Risk::adverseEvent" ; rdfs:isDefinedBy ; rdfs:label "adverseEvent"@en ; "adverse event"@en ; "Generated from the SysML v2 feature CSBase::Risk::adverseEvent."@en . ### http://w3id.org/coresense/cso#agent :agent rdf:type owl:ObjectProperty ; rdfs:domain :ActionAssignedTo ; rdfs:range :Agent ; :sysmlKind "end" ; :sysmlName "CSActionControl::ActionAssignedTo::agent" ; rdfs:isDefinedBy ; rdfs:label "agent (feature)"@en ; "agent"@en ; "Generated from the SysML v2 feature CSActionControl::ActionAssignedTo::agent."@en . ### http://w3id.org/coresense/cso#aspect :aspect rdf:type owl:ObjectProperty ; rdfs:domain :Modelet ; rdfs:range :ModeletAspect ; :sysmlKind "attribute" ; :sysmlName "CSCore::Modelet::aspect" ; rdfs:isDefinedBy ; rdfs:label "aspect"@en ; "aspect"@en ; "Generated from the SysML v2 feature CSCore::Modelet::aspect."@en . ### http://w3id.org/coresense/cso#assigned_action :assigned_action rdf:type owl:ObjectProperty ; rdfs:domain :ActionAssignedTo ; rdfs:range :Action ; :sysmlKind "end" ; :sysmlName "CSActionControl::ActionAssignedTo::assigned_action" ; rdfs:isDefinedBy ; rdfs:label "assigned_action"@en ; "assigned action"@en ; "Generated from the SysML v2 feature CSActionControl::ActionAssignedTo::assigned_action."@en . ### http://w3id.org/coresense/cso#assignee :assignee rdf:type owl:ObjectProperty ; rdfs:domain :ActionOrder ; rdfs:range :Agent ; :sysmlKind "derived ref" ; :sysmlName "CSActionControl::ActionOrder::assignee" ; rdfs:isDefinedBy ; rdfs:label "assignee"@en ; "assignee"@en ; "Generated from the SysML v2 feature CSActionControl::ActionOrder::assignee."@en . ### http://w3id.org/coresense/cso#assignment :assignment rdf:type owl:ObjectProperty ; rdfs:domain :ActionOrder ; rdfs:range :ActionAssignedTo ; :sysmlKind "allocation" ; :sysmlName "CSActionControl::ActionOrder::assignment" ; rdfs:isDefinedBy ; rdfs:label "assignment"@en ; "assignment"@en ; "Generated from the SysML v2 feature CSActionControl::ActionOrder::assignment."@en . ### http://w3id.org/coresense/cso#assignments :assignments rdf:type owl:ObjectProperty ; rdfs:domain :ActionSpecification ; rdfs:range :ActionAssignedTo ; :sysmlKind "allocation" ; :sysmlName "CSActionControl::ActionSpecification::assignments" ; rdfs:isDefinedBy ; rdfs:label "assignments"@en ; "assignments"@en ; "Generated from the SysML v2 feature CSActionControl::ActionSpecification::assignments."@en . ### http://w3id.org/coresense/cso#awarePhenomenon :awarePhenomenon rdf:type owl:ObjectProperty ; rdfs:domain :Awareness ; rdfs:range :Phenomenon ; :sysmlKind "ref" ; :sysmlName "CSCore::Awareness::awarePhenomenon" ; rdfs:isDefinedBy ; rdfs:label "awarePhenomenon"@en ; "aware phenomenon"@en ; "Generated from the SysML v2 feature CSCore::Awareness::awarePhenomenon."@en . ### http://w3id.org/coresense/cso#behavior :behavior rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :ContributesToBehavior :ManifestCapability ) ] ; :sysmlKind "end item" ; :sysmlName "CSBase::ContributesToBehavior::behavior" ; rdfs:isDefinedBy ; rdfs:label "behavior"@en ; "behavior"@en ; "Generated from the SysML v2 feature CSBase::ContributesToBehavior::behavior."@en . ### http://w3id.org/coresense/cso#candidateActions :candidateActions rdf:type owl:ObjectProperty ; rdfs:domain :Policy ; rdfs:range :Action ; :sysmlKind "ref" ; :sysmlName "CSActionControl::Policy::candidateActions" ; rdfs:isDefinedBy ; rdfs:label "candidateActions"@en ; "candidate actions"@en ; "Generated from the SysML v2 feature CSActionControl::Policy::candidateActions."@en . ### http://w3id.org/coresense/cso#capability :capability rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :Functionality :ManifestCapability :TaskRequiresSystemCapability ) ] ; rdfs:range :Capability ; :sysmlKind "end item, ref" ; :sysmlName "CSBase::Functionality::capability" ; rdfs:isDefinedBy ; rdfs:label "capability (feature)"@en ; "capability"@en ; "Generated from the SysML v2 feature CSBase::Functionality::capability."@en . ### http://w3id.org/coresense/cso#category :category rdf:type owl:ObjectProperty ; rdfs:domain :Metric ; rdfs:range :PerformanceMeasureType ; :sysmlKind "attribute" ; :sysmlName "CSBase::Metric::category" ; rdfs:isDefinedBy ; rdfs:label "category"@en ; "category"@en ; "Generated from the SysML v2 feature CSBase::Metric::category."@en . ### http://w3id.org/coresense/cso#commandedBy :commandedBy rdf:type owl:ObjectProperty ; rdfs:domain :Actuator ; rdfs:range :Agent ; :sysmlKind "ref" ; :sysmlName "CSBase::Actuator::commandedBy" ; rdfs:isDefinedBy ; rdfs:label "commandedBy"@en ; "commanded by"@en ; "Generated from the SysML v2 feature CSBase::Actuator::commandedBy."@en . ### http://w3id.org/coresense/cso#commands :commands rdf:type owl:ObjectProperty ; rdfs:domain :Agent ; rdfs:range :Action ; :sysmlKind "perform action" ; :sysmlName "CSBase::Agent::commands" ; rdfs:isDefinedBy ; rdfs:label "commands"@en ; "commands"@en ; "Generated from the SysML v2 feature CSBase::Agent::commands."@en . ### http://w3id.org/coresense/cso#componentStates :componentStates rdf:type owl:ObjectProperty ; rdfs:domain :SystemState ; rdfs:range :EntityState ; :sysmlKind "event occurrence" ; :sysmlName "CSBase::SystemState::componentStates" ; rdfs:isDefinedBy ; rdfs:label "componentStates"@en ; "component states"@en ; "Generated from the SysML v2 feature CSBase::SystemState::componentStates."@en . ### http://w3id.org/coresense/cso#components :components rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :SuperSystem :System ) ] ; :sysmlKind "part" ; :sysmlName "CSBase::SuperSystem::components" ; rdfs:isDefinedBy ; rdfs:label "components"@en ; "components"@en ; "Generated from the SysML v2 feature CSBase::SuperSystem::components."@en . ### http://w3id.org/coresense/cso#condition :condition rdf:type owl:ObjectProperty ; rdfs:domain :Trigger ; rdfs:range :TriggerCondition ; :sysmlKind "constraint" ; :sysmlName "CSActionControl::Trigger::condition" ; rdfs:isDefinedBy ; rdfs:label "condition"@en ; "condition"@en ; "Generated from the SysML v2 feature CSActionControl::Trigger::condition."@en . ### http://w3id.org/coresense/cso#context :context rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :ActionEnd :Concern :Evaluation :Feature :Functionality :Meaning :Mission :MissionPlan :MissionSpecification :PerformanceMeasure :Phenomenon :Policy :Projection :Risk :Role :StakeholderValue :Task :Trigger :Understanding ) ] ; rdfs:range :Context ; :sysmlKind "derived ref, ref" ; :sysmlName "CSActionControl::ActionEnd::context" ; rdfs:isDefinedBy ; rdfs:label "context (feature)"@en ; "context"@en ; "Generated from the SysML v2 feature CSActionControl::ActionEnd::context."@en . ### http://w3id.org/coresense/cso#csstakeholder :csstakeholder rdf:type owl:ObjectProperty ; rdfs:domain :SystemOfInterest ; rdfs:range :Stakeholder ; :sysmlKind "ref" ; :sysmlName "CSBase::SystemOfInterest::csstakeholder" ; rdfs:isDefinedBy ; rdfs:label "csstakeholder"@en ; "csstakeholder"@en ; "Generated from the SysML v2 feature CSBase::SystemOfInterest::csstakeholder."@en . ### http://w3id.org/coresense/cso#desiredStates :desiredStates rdf:type owl:ObjectProperty ; rdfs:domain :Goal ; rdfs:range :SystemState ; :sysmlKind "occurrence" ; :sysmlName "CSBase::Goal::desiredStates" ; rdfs:isDefinedBy ; rdfs:label "desiredStates"@en ; "desired states"@en ; "Generated from the SysML v2 feature CSBase::Goal::desiredStates."@en . ### http://w3id.org/coresense/cso#desires :desires rdf:type owl:ObjectProperty ; rdfs:domain :Stakeholder ; rdfs:range :Desire ; :sysmlKind "connection" ; :sysmlName "CSBase::Stakeholder::desires" ; rdfs:isDefinedBy ; rdfs:label "desires"@en ; "desires"@en ; "Generated from the SysML v2 feature CSBase::Stakeholder::desires."@en . ### http://w3id.org/coresense/cso#engine :engine rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :Exert :ModeletEnginePair ) ] ; rdfs:range :Engine ; :sysmlKind "in ref, ref" ; :sysmlName "CSCore::Exert::engine" ; rdfs:isDefinedBy ; rdfs:label "engine (feature)"@en ; "engine"@en ; "Generated from the SysML v2 feature CSCore::Exert::engine."@en . ### http://w3id.org/coresense/cso#entities :entities rdf:type owl:ObjectProperty ; rdfs:domain :Environment ; rdfs:range :Entity ; :sysmlKind "ref" ; :sysmlName "CSBase::Environment::entities" ; rdfs:isDefinedBy ; rdfs:label "entities"@en ; "entities"@en ; "Generated from the SysML v2 feature CSBase::Environment::entities."@en . ### http://w3id.org/coresense/cso#entity :entity rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :EntityState :Feature :SystemState ) ] ; :sysmlKind "ref" ; :sysmlName "CSBase::EntityState::entity" ; rdfs:isDefinedBy ; rdfs:label "entity (feature)"@en ; "entity"@en ; "Generated from the SysML v2 feature CSBase::EntityState::entity."@en . ### http://w3id.org/coresense/cso#environment :environment rdf:type owl:ObjectProperty ; rdfs:domain :ExtendedSystem ; rdfs:range :Environment ; :sysmlKind "part" ; :sysmlName "CSBase::ExtendedSystem::environment" ; rdfs:isDefinedBy ; rdfs:label "environment (feature)"@en ; "environment"@en ; "Generated from the SysML v2 feature CSBase::ExtendedSystem::environment."@en . ### http://w3id.org/coresense/cso#environmentEntities :environmentEntities rdf:type owl:ObjectProperty ; rdfs:subPropertyOf :components ; rdfs:domain :ExtendedSystem ; rdfs:range :Entity ; :sysmlKind "part" ; :sysmlName "CSBase::ExtendedSystem::environmentEntities" ; rdfs:isDefinedBy ; rdfs:label "environmentEntities"@en ; "environment entities"@en ; "Generated from the SysML v2 feature CSBase::ExtendedSystem::environmentEntities."@en . ### http://w3id.org/coresense/cso#epistemicState :epistemicState rdf:type owl:ObjectProperty ; rdfs:domain :ModelMetadata ; rdfs:range :EpistemicState ; :sysmlKind "attribute" ; :sysmlName "CSCore::ModelMetadata::epistemicState" ; rdfs:isDefinedBy ; rdfs:label "epistemicState"@en ; "epistemic state"@en ; "Generated from the SysML v2 feature CSCore::ModelMetadata::epistemicState."@en . ### http://w3id.org/coresense/cso#executes :executes rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :Actuator :Agent ) ] ; rdfs:range :Action ; :sysmlKind "perform action" ; :sysmlName "CSBase::Actuator::executes" ; rdfs:isDefinedBy ; rdfs:label "executes"@en ; "executes"@en ; "Generated from the SysML v2 feature CSBase::Actuator::executes."@en . ### http://w3id.org/coresense/cso#exerts :exerts rdf:type owl:ObjectProperty ; rdfs:domain :Engine ; rdfs:range :Exert ; :sysmlKind "perform action" ; :sysmlName "CSCore::Engine::exerts" ; rdfs:isDefinedBy ; rdfs:label "exerts"@en ; "exerts"@en ; "Generated from the SysML v2 feature CSCore::Engine::exerts."@en . ### http://w3id.org/coresense/cso#exhibitedBehavior :exhibitedBehavior rdf:type owl:ObjectProperty ; rdfs:domain :PerformanceMeasure ; rdfs:range :ExhibitedBehavior ; :sysmlKind "ref" ; :sysmlName "CSBase::PerformanceMeasure::exhibitedBehavior" ; rdfs:isDefinedBy ; rdfs:label "exhibitedBehavior"@en ; "exhibited behavior"@en ; "Generated from the SysML v2 feature CSBase::PerformanceMeasure::exhibitedBehavior."@en . ### http://w3id.org/coresense/cso#exhibitedBy :exhibitedBy rdf:type owl:ObjectProperty ; rdfs:domain :Phenomenon ; rdfs:range :Entity ; :sysmlKind "ref" ; :sysmlName "CSCore::Phenomenon::exhibitedBy" ; rdfs:isDefinedBy ; rdfs:label "exhibitedBy"@en ; "exhibited by"@en ; "Generated from the SysML v2 feature CSCore::Phenomenon::exhibitedBy."@en . ### http://w3id.org/coresense/cso#expectedPerformance :expectedPerformance rdf:type owl:ObjectProperty ; rdfs:domain :Functionality ; rdfs:range :PerformanceMeasure ; :sysmlKind "ref" ; :sysmlName "CSBase::Functionality::expectedPerformance" ; rdfs:isDefinedBy ; rdfs:label "expectedPerformance"@en ; "expected performance"@en ; "Generated from the SysML v2 feature CSBase::Functionality::expectedPerformance."@en . ### http://w3id.org/coresense/cso#extendedSystem :extendedSystem rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :Context :Data :Evaluation :Event :Feature :Functionality :Goal :Meaning :Mission :MissionPlan :MissionSpecification :PerformanceMeasure :Phenomenon :Policy :Projection :Sense :SystemOfInterest :Task :Trigger :TriggerCondition ) ] ; rdfs:range :ExtendedSystem ; :sysmlKind "derived ref, in ref, ref" ; :sysmlName "CSActionControl::Policy::extendedSystem" ; rdfs:isDefinedBy ; rdfs:label "extendedSystem"@en ; "extended system"@en ; "Generated from the SysML v2 feature CSActionControl::Policy::extendedSystem."@en . ### http://w3id.org/coresense/cso#function :function rdf:type owl:ObjectProperty ; rdfs:domain :ContributesToFunction ; rdfs:range :Function ; :sysmlKind "end item" ; :sysmlName "CSBase::ContributesToFunction::function" ; rdfs:isDefinedBy ; rdfs:label "function (feature)"@en ; "function"@en ; "Generated from the SysML v2 feature CSBase::ContributesToFunction::function."@en . ### http://w3id.org/coresense/cso#goals :goals rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :Evaluation :Functionality :MissionSpecification :PerformanceMeasure :Task ) ] ; rdfs:range :Goal ; :sysmlKind "ref" ; :sysmlName "CSBase::Functionality::goals" ; rdfs:isDefinedBy ; rdfs:label "goals"@en ; "goals"@en ; "Generated from the SysML v2 feature CSBase::Functionality::goals."@en . ### http://w3id.org/coresense/cso#holdsOver :holdsOver rdf:type owl:ObjectProperty ; rdfs:domain :Situation ; rdfs:range :SystemState ; :sysmlKind "in ref" ; :sysmlName "CSBase::Situation::holdsOver" ; rdfs:isDefinedBy ; rdfs:label "holdsOver"@en ; "holds over"@en ; "Generated from the SysML v2 feature CSBase::Situation::holdsOver."@en . ### http://w3id.org/coresense/cso#inputFeatures :inputFeatures rdf:type owl:ObjectProperty ; rdfs:domain :Meaning ; rdfs:range :Feature ; :sysmlKind "ref" ; :sysmlName "CSCore::Meaning::inputFeatures" ; rdfs:isDefinedBy ; rdfs:label "inputFeatures"@en ; "input features"@en ; "Generated from the SysML v2 feature CSCore::Meaning::inputFeatures."@en . ### http://w3id.org/coresense/cso#interests :interests rdf:type owl:ObjectProperty ; rdfs:domain :Stakeholder ; rdfs:range :Interest ; :sysmlKind "connection" ; :sysmlName "CSBase::Stakeholder::interests" ; rdfs:isDefinedBy ; rdfs:label "interests"@en ; "interests"@en ; "Generated from the SysML v2 feature CSBase::Stakeholder::interests."@en . ### http://w3id.org/coresense/cso#maintainedUnderstanding :maintainedUnderstanding rdf:type owl:ObjectProperty ; rdfs:domain :Awareness ; rdfs:range :Understanding ; :sysmlKind "ref" ; :sysmlName "CSCore::Awareness::maintainedUnderstanding" ; rdfs:isDefinedBy ; rdfs:label "maintainedUnderstanding"@en ; "maintained understanding"@en ; "Generated from the SysML v2 feature CSCore::Awareness::maintainedUnderstanding."@en . ### http://w3id.org/coresense/cso#metamodelingLevel :metamodelingLevel rdf:type owl:ObjectProperty ; rdfs:domain :ModelMetadata ; rdfs:range :OMG_MOF ; :sysmlKind "attribute" ; :sysmlName "CSCore::ModelMetadata::metamodelingLevel" ; rdfs:isDefinedBy ; rdfs:label "metamodelingLevel"@en ; "metamodeling level"@en ; "Generated from the SysML v2 feature CSCore::ModelMetadata::metamodelingLevel."@en . ### http://w3id.org/coresense/cso#metric :metric rdf:type owl:ObjectProperty ; rdfs:domain :MissionSuccessCriterion ; rdfs:range :Metric ; :sysmlKind "ref" ; :sysmlName "CSBase::MissionSuccessCriterion::metric" ; rdfs:isDefinedBy ; rdfs:label "metric (feature)"@en ; "metric"@en ; "Generated from the SysML v2 feature CSBase::MissionSuccessCriterion::metric."@en . ### http://w3id.org/coresense/cso#mission :mission rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :MissionPlan :MissionSpecification ) ] ; rdfs:range :Mission ; :sysmlKind "ref" ; :sysmlName "CSBase::MissionPlan::mission" ; rdfs:isDefinedBy ; rdfs:label "mission (feature)"@en ; "mission"@en ; "Generated from the SysML v2 feature CSBase::MissionPlan::mission."@en . ### http://w3id.org/coresense/cso#modelet :modelet rdf:type owl:ObjectProperty ; rdfs:domain :ModeletEnginePair ; rdfs:range :Modelet ; :sysmlKind "ref" ; :sysmlName "CSCore::ModeletEnginePair::modelet" ; rdfs:isDefinedBy ; rdfs:label "modelet (feature)"@en ; "modelet"@en ; "Generated from the SysML v2 feature CSCore::ModeletEnginePair::modelet."@en . ### http://w3id.org/coresense/cso#modelets :modelets rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :CognitiveCapability :CognitiveFunction :Engine :Estimation :Exert :Meaning :Model ) ] ; rdfs:range :Modelet ; :sysmlKind "derived ref, in ref, part, ref" ; :sysmlName "CSCore::CognitiveCapability::modelets" ; rdfs:isDefinedBy ; rdfs:label "modelets"@en ; "modelets"@en ; "Generated from the SysML v2 feature CSCore::CognitiveCapability::modelets."@en . ### http://w3id.org/coresense/cso#modeltype :modeltype rdf:type owl:ObjectProperty ; rdfs:domain :Model ; rdfs:range :ModelType ; :sysmlKind "attribute" ; :sysmlName "CSCore::Model::modeltype" ; rdfs:isDefinedBy ; rdfs:label "modeltype"@en ; "modeltype"@en ; "Generated from the SysML v2 feature CSCore::Model::modeltype."@en . ### http://w3id.org/coresense/cso#object :object rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :Functionality :PerformanceMeasure ) ] ; rdfs:range :Entity ; :sysmlKind "ref" ; :sysmlName "CSBase::Functionality::object" ; rdfs:isDefinedBy ; rdfs:label "object"@en ; "object"@en ; "Generated from the SysML v2 feature CSBase::Functionality::object."@en . ### http://w3id.org/coresense/cso#observes :observes rdf:type owl:ObjectProperty ; rdfs:domain :Sensor ; rdfs:range :Entity ; :sysmlKind "ref" ; :sysmlName "CSBase::Sensor::observes" ; rdfs:isDefinedBy ; rdfs:label "observes"@en ; "observes"@en ; "Generated from the SysML v2 feature CSBase::Sensor::observes."@en . ### http://w3id.org/coresense/cso#on :on rdf:type owl:ObjectProperty ; rdfs:domain :Interest ; rdfs:range :ExtendedSystem ; :sysmlKind "end item" ; :sysmlName "CSBase::Interest::on" ; rdfs:isDefinedBy ; rdfs:label "on"@en ; "on"@en ; "Generated from the SysML v2 feature CSBase::Interest::on."@en . ### http://w3id.org/coresense/cso#order :order rdf:type owl:ObjectProperty ; rdfs:domain :ActionOrderStatus ; rdfs:range :ActionOrder ; :sysmlKind "ref" ; :sysmlName "CSActionControl::ActionOrderStatus::order" ; rdfs:isDefinedBy ; rdfs:label "order"@en ; "order"@en ; "Generated from the SysML v2 feature CSActionControl::ActionOrderStatus::order."@en . ### http://w3id.org/coresense/cso#perfType :perfType rdf:type owl:ObjectProperty ; rdfs:domain :PerformanceMeasure ; rdfs:range :PerformanceMeasureType ; :sysmlKind "attribute" ; :sysmlName "CSBase::PerformanceMeasure::perfType" ; rdfs:isDefinedBy ; rdfs:label "perfType"@en ; "perf type"@en ; "Generated from the SysML v2 feature CSBase::PerformanceMeasure::perfType."@en . ### http://w3id.org/coresense/cso#performance :performance rdf:type owl:ObjectProperty ; rdfs:domain :Evaluation ; rdfs:range :PerformanceMeasure ; :sysmlKind "ref" ; :sysmlName "CSCore::Evaluation::performance" ; rdfs:isDefinedBy ; rdfs:label "performance"@en ; "performance"@en ; "Generated from the SysML v2 feature CSCore::Evaluation::performance."@en . ### http://w3id.org/coresense/cso#performanceConstraint :performanceConstraint rdf:type owl:ObjectProperty ; rdfs:domain :ModelMetadata ; rdfs:range :PerformanceConstraint ; :sysmlKind "constraint" ; :sysmlName "CSCore::ModelMetadata::performanceConstraint" ; rdfs:isDefinedBy ; rdfs:label "performanceConstraint"@en ; "performance constraint"@en ; "Generated from the SysML v2 feature CSCore::ModelMetadata::performanceConstraint."@en . ### http://w3id.org/coresense/cso#performedBy :performedBy rdf:type owl:ObjectProperty ; rdfs:domain :MissionPlan ; rdfs:range :System ; :sysmlKind "derived ref" ; :sysmlName "CSBase::MissionPlan::performedBy" ; rdfs:isDefinedBy ; rdfs:label "performedBy"@en ; "performed by"@en ; "Generated from the SysML v2 feature CSBase::MissionPlan::performedBy."@en . ### http://w3id.org/coresense/cso#phenomenon :phenomenon rdf:type owl:ObjectProperty ; rdfs:domain :Feature ; rdfs:range :Phenomenon ; :sysmlKind "ref" ; :sysmlName "CSCore::Feature::phenomenon" ; rdfs:isDefinedBy ; rdfs:label "phenomenon (feature)"@en ; "phenomenon"@en ; "Generated from the SysML v2 feature CSCore::Feature::phenomenon."@en . ### http://w3id.org/coresense/cso#plannedActions :plannedActions rdf:type owl:ObjectProperty ; rdfs:domain :Task ; rdfs:range :Action ; :sysmlKind "ref" ; :sysmlName "CSBase::Task::plannedActions" ; rdfs:isDefinedBy ; rdfs:label "plannedActions"@en ; "planned actions"@en ; "Generated from the SysML v2 feature CSBase::Task::plannedActions."@en . ### http://w3id.org/coresense/cso#playedBy :playedBy rdf:type owl:ObjectProperty ; rdfs:domain :Role ; rdfs:range :Entity ; :sysmlKind "ref" ; :sysmlName "CSBase::Role::playedBy" ; rdfs:isDefinedBy ; rdfs:label "playedBy"@en ; "played by"@en ; "Generated from the SysML v2 feature CSBase::Role::playedBy."@en . ### http://w3id.org/coresense/cso#posteriorState :posteriorState rdf:type owl:ObjectProperty ; rdfs:domain :Event ; rdfs:range :SystemState ; :sysmlKind "snapshot occurrence" ; :sysmlName "CSBase::Event::posteriorState" ; rdfs:isDefinedBy ; rdfs:label "posteriorState"@en ; "posterior state"@en ; "Generated from the SysML v2 feature CSBase::Event::posteriorState."@en . ### http://w3id.org/coresense/cso#potentialBehavior :potentialBehavior rdf:type owl:ObjectProperty ; rdfs:domain :Projection ; rdfs:range :PotentialBehavior ; :sysmlKind "part" ; :sysmlName "CSCore::Projection::potentialBehavior" ; rdfs:isDefinedBy ; rdfs:label "potentialBehavior"@en ; "potential behavior"@en ; "Generated from the SysML v2 feature CSCore::Projection::potentialBehavior."@en . ### http://w3id.org/coresense/cso#priorState :priorState rdf:type owl:ObjectProperty ; rdfs:domain :Event ; rdfs:range :SystemState ; :sysmlKind "snapshot occurrence" ; :sysmlName "CSBase::Event::priorState" ; rdfs:isDefinedBy ; rdfs:label "priorState"@en ; "prior state"@en ; "Generated from the SysML v2 feature CSBase::Event::priorState."@en . ### http://w3id.org/coresense/cso#projection :projection rdf:type owl:ObjectProperty ; rdfs:domain :Evaluation ; rdfs:range :Projection ; :sysmlKind "ref" ; :sysmlName "CSCore::Evaluation::projection" ; rdfs:isDefinedBy ; rdfs:label "projection (feature)"@en ; "projection"@en ; "Generated from the SysML v2 feature CSCore::Evaluation::projection."@en . ### http://w3id.org/coresense/cso#provenance :provenance rdf:type owl:ObjectProperty ; rdfs:domain :ModelMetadata ; rdfs:range :Provenance ; :sysmlKind "attribute" ; :sysmlName "CSCore::ModelMetadata::provenance" ; rdfs:isDefinedBy ; rdfs:label "provenance (feature)"@en ; "provenance"@en ; "Generated from the SysML v2 feature CSCore::ModelMetadata::provenance."@en . ### http://w3id.org/coresense/cso#rawData :rawData rdf:type owl:ObjectProperty ; rdfs:domain :Sense ; rdfs:range :Data ; :sysmlKind "out item" ; :sysmlName "CSBase::Sense::rawData" ; rdfs:isDefinedBy ; rdfs:label "rawData"@en ; "raw data"@en ; "Generated from the SysML v2 feature CSBase::Sense::rawData."@en . ### http://w3id.org/coresense/cso#realizedBy :realizedBy rdf:type owl:ObjectProperty ; rdfs:domain :Estimation ; rdfs:range :ModeletEnginePair ; :sysmlKind "ref" ; :sysmlName "CSCore::Estimation::realizedBy" ; rdfs:isDefinedBy ; rdfs:label "realizedBy"@en ; "realized by"@en ; "Generated from the SysML v2 feature CSCore::Estimation::realizedBy."@en . ### http://w3id.org/coresense/cso#realizes :realizes rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :Capability :CognitiveCapability ) ] ; :sysmlKind "ref" ; :sysmlName "CSBase::Capability::realizes" ; rdfs:isDefinedBy ; rdfs:label "realizes"@en ; "realizes"@en ; "Generated from the SysML v2 feature CSBase::Capability::realizes."@en . ### http://w3id.org/coresense/cso#referent :referent rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :Estimation :Model :Modelet :SelfModel :WorldModel ) ] ; :sysmlKind "derived ref, ref" ; :sysmlName "CSCore::Estimation::referent" ; rdfs:isDefinedBy ; rdfs:label "referent"@en ; "referent"@en ; "Generated from the SysML v2 feature CSCore::Estimation::referent."@en . ### http://w3id.org/coresense/cso#relation :relation rdf:type owl:ObjectProperty ; rdfs:domain :BinaryRelationState ; rdfs:range :BinaryRelation ; :sysmlKind "ref" ; :sysmlName "CSBase::BinaryRelationState::relation" ; rdfs:isDefinedBy ; rdfs:label "relation"@en ; "relation"@en ; "Generated from the SysML v2 feature CSBase::BinaryRelationState::relation."@en . ### http://w3id.org/coresense/cso#relationStates :relationStates rdf:type owl:ObjectProperty ; rdfs:domain :SystemState ; rdfs:range :BinaryRelationState ; :sysmlKind "event occurrence" ; :sysmlName "CSBase::SystemState::relationStates" ; rdfs:isDefinedBy ; rdfs:label "relationStates"@en ; "relation states"@en ; "Generated from the SysML v2 feature CSBase::SystemState::relationStates."@en . ### http://w3id.org/coresense/cso#relations :relations rdf:type owl:ObjectProperty ; rdfs:domain :System ; rdfs:range :BinaryRelation ; :sysmlKind "connection" ; :sysmlName "CSBase::System::relations" ; rdfs:isDefinedBy ; rdfs:label "relations"@en ; "relations"@en ; "Generated from the SysML v2 feature CSBase::System::relations."@en . ### http://w3id.org/coresense/cso#risks :risks rdf:type owl:ObjectProperty ; rdfs:domain :Evaluation ; rdfs:range :Risk ; :sysmlKind "ref" ; :sysmlName "CSCore::Evaluation::risks" ; rdfs:isDefinedBy ; rdfs:label "risks"@en ; "risks"@en ; "Generated from the SysML v2 feature CSCore::Evaluation::risks."@en . ### http://w3id.org/coresense/cso#role :role rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :ContributesToBehavior :ContributesToFunction ) ] ; rdfs:range :Role ; :sysmlKind "end item" ; :sysmlName "CSBase::ContributesToBehavior::role" ; rdfs:isDefinedBy ; rdfs:label "role (feature)"@en ; "role"@en ; "Generated from the SysML v2 feature CSBase::ContributesToBehavior::role."@en . ### http://w3id.org/coresense/cso#scalabilityConstraint :scalabilityConstraint rdf:type owl:ObjectProperty ; rdfs:domain :ModelMetadata ; rdfs:range :ScalabilityConstraint ; :sysmlKind "constraint" ; :sysmlName "CSCore::ModelMetadata::scalabilityConstraint" ; rdfs:isDefinedBy ; rdfs:label "scalabilityConstraint"@en ; "scalability constraint"@en ; "Generated from the SysML v2 feature CSCore::ModelMetadata::scalabilityConstraint."@en . ### http://w3id.org/coresense/cso#senses :senses rdf:type owl:ObjectProperty ; rdfs:domain :Sensor ; rdfs:range :Sense ; :sysmlKind "perform action" ; :sysmlName "CSBase::Sensor::senses" ; rdfs:isDefinedBy ; rdfs:label "senses"@en ; "senses"@en ; "Generated from the SysML v2 feature CSBase::Sensor::senses."@en . ### http://w3id.org/coresense/cso#sh :sh rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :Concern :StakeholderValue ) ] ; rdfs:range :Stakeholder ; :sysmlKind "ref" ; :sysmlName "CSBase::Concern::sh" ; rdfs:isDefinedBy ; rdfs:label "sh"@en ; "sh"@en ; "Generated from the SysML v2 feature CSBase::Concern::sh."@en . ### http://w3id.org/coresense/cso#situationContext :situationContext rdf:type owl:ObjectProperty ; rdfs:domain :Situation ; rdfs:range :Context ; :sysmlKind "in ref" ; :sysmlName "CSBase::Situation::situationContext" ; rdfs:isDefinedBy ; rdfs:label "situationContext"@en ; "situation context"@en ; "Generated from the SysML v2 feature CSBase::Situation::situationContext."@en . ### http://w3id.org/coresense/cso#source :source rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :BinaryRelation :BinaryRelationState ) ] ; rdfs:range :Entity ; :sysmlKind "derived constant ref, end item" ; :sysmlName "CSBase::BinaryRelation::source" ; rdfs:isDefinedBy ; rdfs:label "source"@en ; "source"@en ; "Generated from the SysML v2 feature CSBase::BinaryRelation::source."@en . ### http://w3id.org/coresense/cso#specification :specification rdf:type owl:ObjectProperty ; rdfs:domain :ActionOrder ; rdfs:range :ActionSpecification ; :sysmlKind "ref" ; :sysmlName "CSActionControl::ActionOrder::specification" ; rdfs:isDefinedBy ; rdfs:label "specification"@en ; "specification"@en ; "Generated from the SysML v2 feature CSActionControl::ActionOrder::specification."@en . ### http://w3id.org/coresense/cso#stakeholders :stakeholders rdf:type owl:ObjectProperty ; rdfs:domain :ModelMetadata ; rdfs:range :Stakeholder ; :sysmlKind "ref" ; :sysmlName "CSCore::ModelMetadata::stakeholders" ; rdfs:isDefinedBy ; rdfs:label "stakeholders"@en ; "stakeholders"@en ; "Generated from the SysML v2 feature CSCore::ModelMetadata::stakeholders."@en . ### http://w3id.org/coresense/cso#states :states rdf:type owl:ObjectProperty ; rdfs:domain :SystemTrajectory ; rdfs:range :SystemState ; :sysmlKind "snapshot occurrence" ; :sysmlName "CSBase::SystemTrajectory::states" ; rdfs:isDefinedBy ; rdfs:label "states"@en ; "states"@en ; "Generated from the SysML v2 feature CSBase::SystemTrajectory::states."@en . ### http://w3id.org/coresense/cso#status :status rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :ActionEnd :ActionOrderStatus ) ] ; rdfs:range :ActionStatus ; :sysmlKind "attribute" ; :sysmlName "CSActionControl::ActionEnd::status" ; rdfs:isDefinedBy ; rdfs:label "status"@en ; "status"@en ; "Generated from the SysML v2 feature CSActionControl::ActionEnd::status."@en . ### http://w3id.org/coresense/cso#successCriteria :successCriteria rdf:type owl:ObjectProperty ; rdfs:domain :MissionSpecification ; rdfs:range :MissionSuccessCriterion ; :sysmlKind "ref" ; :sysmlName "CSBase::MissionSpecification::successCriteria" ; rdfs:isDefinedBy ; rdfs:label "successCriteria"@en ; "success criteria"@en ; "Generated from the SysML v2 feature CSBase::MissionSpecification::successCriteria."@en . ### http://w3id.org/coresense/cso#system :system rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :Capability :Environment :ExhibitedBehavior :PotentialBehavior :SystemOfInterest :SystemTrajectory ) ] ; rdfs:range :System ; :sysmlKind "derived ref, ref" ; :sysmlName "CSBase::Capability::system" ; rdfs:isDefinedBy ; rdfs:label "system (feature)"@en ; "system"@en ; "Generated from the SysML v2 feature CSBase::Capability::system."@en . ### http://w3id.org/coresense/cso#systemEnvironmentRelations :systemEnvironmentRelations rdf:type owl:ObjectProperty ; rdfs:subPropertyOf :relations ; rdfs:domain :ExtendedSystem ; rdfs:range :BinaryRelation ; :sysmlKind "connection" ; :sysmlName "CSBase::ExtendedSystem::systemEnvironmentRelations" ; rdfs:isDefinedBy ; rdfs:label "systemEnvironmentRelations"@en ; "system environment relations"@en ; "Generated from the SysML v2 feature CSBase::ExtendedSystem::systemEnvironmentRelations."@en . ### http://w3id.org/coresense/cso#target :target rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :BinaryRelation :BinaryRelationState :Sense ) ] ; rdfs:range :Entity ; :sysmlKind "derived constant ref, end item, in ref" ; :sysmlName "CSBase::BinaryRelation::target" ; rdfs:isDefinedBy ; rdfs:label "target"@en ; "target"@en ; "Generated from the SysML v2 feature CSBase::BinaryRelation::target."@en . ### http://w3id.org/coresense/cso#targetSystem :targetSystem rdf:type owl:ObjectProperty ; rdfs:subPropertyOf :components ; rdfs:domain :ExtendedSystem ; rdfs:range :System ; :sysmlKind "part" ; :sysmlName "CSBase::ExtendedSystem::targetSystem" ; rdfs:isDefinedBy ; rdfs:label "targetSystem"@en ; "target system"@en ; "Generated from the SysML v2 feature CSBase::ExtendedSystem::targetSystem."@en . ### http://w3id.org/coresense/cso#task :task rdf:type owl:ObjectProperty ; rdfs:domain :TaskRequiresSystemCapability ; rdfs:range :Task ; :sysmlKind "end action" ; :sysmlName "CSBase::TaskRequiresSystemCapability::task" ; rdfs:isDefinedBy ; rdfs:label "task (feature)"@en ; "task"@en ; "Generated from the SysML v2 feature CSBase::TaskRequiresSystemCapability::task."@en . ### http://w3id.org/coresense/cso#tasks :tasks rdf:type owl:ObjectProperty ; rdfs:domain :MissionPlan ; rdfs:range :Task ; :sysmlKind "ref" ; :sysmlName "CSBase::MissionPlan::tasks" ; rdfs:isDefinedBy ; rdfs:label "tasks"@en ; "tasks"@en ; "Generated from the SysML v2 feature CSBase::MissionPlan::tasks."@en . ### http://w3id.org/coresense/cso#terminatedAction :terminatedAction rdf:type owl:ObjectProperty ; rdfs:domain :ActionEnd ; rdfs:range :Action ; :sysmlKind "ref" ; :sysmlName "CSActionControl::ActionEnd::terminatedAction" ; rdfs:isDefinedBy ; rdfs:label "terminatedAction"@en ; "terminated action"@en ; "Generated from the SysML v2 feature CSActionControl::ActionEnd::terminatedAction."@en . ### http://w3id.org/coresense/cso#timeInterval :timeInterval rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :ExhibitedBehavior :PotentialBehavior :Projection :Role :SystemTrajectory ) ] ; rdfs:range :TimeInterval ; :sysmlKind "attribute, derived attribute" ; :sysmlName "CSBase::ExhibitedBehavior::timeInterval" ; rdfs:isDefinedBy ; rdfs:label "timeInterval"@en ; "time interval"@en ; "Generated from the SysML v2 feature CSBase::ExhibitedBehavior::timeInterval."@en . ### http://w3id.org/coresense/cso#trajectories :trajectories rdf:type owl:ObjectProperty ; rdfs:domain :PotentialBehavior ; rdfs:range :SystemTrajectory ; :sysmlKind "occurrence" ; :sysmlName "CSBase::PotentialBehavior::trajectories" ; rdfs:isDefinedBy ; rdfs:label "trajectories"@en ; "trajectories"@en ; "Generated from the SysML v2 feature CSBase::PotentialBehavior::trajectories."@en . ### http://w3id.org/coresense/cso#trajectory :trajectory rdf:type owl:ObjectProperty ; rdfs:domain :ExhibitedBehavior ; rdfs:range :SystemTrajectory ; :sysmlKind "occurrence" ; :sysmlName "CSBase::ExhibitedBehavior::trajectory" ; rdfs:isDefinedBy ; rdfs:label "trajectory"@en ; "trajectory"@en ; "Generated from the SysML v2 feature CSBase::ExhibitedBehavior::trajectory."@en . ### http://w3id.org/coresense/cso#triggerContext :triggerContext rdf:type owl:ObjectProperty ; rdfs:domain :TriggerCondition ; rdfs:range :Context ; :sysmlKind "in ref" ; :sysmlName "CSActionControl::TriggerCondition::triggerContext" ; rdfs:isDefinedBy ; rdfs:label "triggerContext"@en ; "trigger context"@en ; "Generated from the SysML v2 feature CSActionControl::TriggerCondition::triggerContext."@en . ### http://w3id.org/coresense/cso#understoodPhenomenon :understoodPhenomenon rdf:type owl:ObjectProperty ; rdfs:domain :Understanding ; rdfs:range :Phenomenon ; :sysmlKind "ref" ; :sysmlName "CSCore::Understanding::understoodPhenomenon" ; rdfs:isDefinedBy ; rdfs:label "understoodPhenomenon"@en ; "understood phenomenon"@en ; "Generated from the SysML v2 feature CSCore::Understanding::understoodPhenomenon."@en . ### http://w3id.org/coresense/cso#updatingSenses :updatingSenses rdf:type owl:ObjectProperty ; rdfs:domain :Awareness ; rdfs:range :Sense ; :sysmlKind "ref" ; :sysmlName "CSCore::Awareness::updatingSenses" ; rdfs:isDefinedBy ; rdfs:label "updatingSenses"@en ; "updating senses"@en ; "Generated from the SysML v2 feature CSCore::Awareness::updatingSenses."@en . ### http://w3id.org/coresense/cso#usedBy :usedBy rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :Model :SelfModel ) ] ; :sysmlKind "ref" ; :sysmlName "CSCore::Model::usedBy" ; rdfs:isDefinedBy ; rdfs:label "usedBy"@en ; "used by"@en ; "Generated from the SysML v2 feature CSCore::Model::usedBy."@en . ### http://w3id.org/coresense/cso#usefulModels :usefulModels rdf:type owl:ObjectProperty ; rdfs:domain :Understanding ; rdfs:range :Model ; :sysmlKind "ref" ; :sysmlName "CSCore::Understanding::usefulModels" ; rdfs:isDefinedBy ; rdfs:label "usefulModels"@en ; "useful models"@en ; "Generated from the SysML v2 feature CSCore::Understanding::usefulModels."@en . ### http://w3id.org/coresense/cso#what :what rdf:type owl:ObjectProperty ; rdfs:domain :Desire ; rdfs:range :Goal ; :sysmlKind "end item" ; :sysmlName "CSBase::Desire::what" ; rdfs:isDefinedBy ; rdfs:label "what"@en ; "what"@en ; "Generated from the SysML v2 feature CSBase::Desire::what."@en . ### http://w3id.org/coresense/cso#who :who rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :Desire :Interest ) ] ; rdfs:range :Stakeholder ; :sysmlKind "end item" ; :sysmlName "CSBase::Desire::who" ; rdfs:isDefinedBy ; rdfs:label "who"@en ; "who"@en ; "Generated from the SysML v2 feature CSBase::Desire::who."@en . ################################################################# # Data properties ################################################################# ### http://w3id.org/coresense/cso#abstractionLevel :abstractionLevel rdf:type owl:DatatypeProperty ; rdfs:domain :ModelMetadata ; rdfs:range xsd:string ; :sysmlKind "attribute" ; :sysmlName "CSCore::ModelMetadata::abstractionLevel" ; rdfs:isDefinedBy ; rdfs:label "abstractionLevel"@en ; "abstraction level"@en ; "Generated from the SysML v2 feature CSCore::ModelMetadata::abstractionLevel."@en . ### http://w3id.org/coresense/cso#acceptanceCriteria :acceptanceCriteria rdf:type owl:DatatypeProperty ; rdfs:domain :Capability ; rdfs:range xsd:string ; :sysmlKind "attribute" ; :sysmlName "CSBase::Capability::acceptanceCriteria" ; rdfs:isDefinedBy ; rdfs:label "acceptanceCriteria"@en ; "acceptance criteria"@en ; "Generated from the SysML v2 feature CSBase::Capability::acceptanceCriteria."@en . ### http://w3id.org/coresense/cso#actualResponseTime :actualResponseTime rdf:type owl:DatatypeProperty ; rdfs:domain :PerformanceConstraint ; rdfs:range xsd:decimal ; :sysmlKind "attribute" ; :sysmlName "CSCore::PerformanceConstraint::actualResponseTime" ; rdfs:isDefinedBy ; rdfs:label "actualResponseTime"@en ; "actual response time"@en ; "Generated from the SysML v2 feature CSCore::PerformanceConstraint::actualResponseTime."@en . ### http://w3id.org/coresense/cso#aspectDescription :aspectDescription rdf:type owl:DatatypeProperty ; rdfs:domain :Modelet ; rdfs:range xsd:string ; :sysmlKind "attribute" ; :sysmlName "CSCore::Modelet::aspectDescription" ; rdfs:isDefinedBy ; rdfs:label "aspectDescription"@en ; "aspect description"@en ; "Generated from the SysML v2 feature CSCore::Modelet::aspectDescription."@en . ### http://w3id.org/coresense/cso#assumptions :assumptions rdf:type owl:DatatypeProperty ; rdfs:domain :ModelMetadata ; rdfs:range xsd:string ; :sysmlKind "attribute" ; :sysmlName "CSCore::ModelMetadata::assumptions" ; rdfs:isDefinedBy ; rdfs:label "assumptions"@en ; "assumptions"@en ; "Generated from the SysML v2 feature CSCore::ModelMetadata::assumptions."@en . ### http://w3id.org/coresense/cso#benefit :benefit rdf:type owl:DatatypeProperty ; rdfs:domain :StakeholderValue ; rdfs:range xsd:decimal ; :sysmlKind "attribute" ; :sysmlName "CSBase::StakeholderValue::benefit" ; rdfs:isDefinedBy ; rdfs:label "benefit"@en ; "benefit"@en ; "Generated from the SysML v2 feature CSBase::StakeholderValue::benefit."@en . ### http://w3id.org/coresense/cso#conditions :conditions rdf:type owl:DatatypeProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :Capability :Context :Situation ) ] ; rdfs:range xsd:string ; :sysmlKind "attribute" ; :sysmlName "CSBase::Capability::conditions" ; rdfs:isDefinedBy ; rdfs:label "conditions"@en ; "conditions"@en ; "Generated from the SysML v2 feature CSBase::Capability::conditions."@en . ### http://w3id.org/coresense/cso#cost :cost rdf:type owl:DatatypeProperty ; rdfs:domain :StakeholderValue ; rdfs:range xsd:decimal ; :sysmlKind "attribute" ; :sysmlName "CSBase::StakeholderValue::cost" ; rdfs:isDefinedBy ; rdfs:label "cost"@en ; "cost"@en ; "Generated from the SysML v2 feature CSBase::StakeholderValue::cost."@en . ### http://w3id.org/coresense/cso#description :description rdf:type owl:DatatypeProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :Concern :Meaning :Metric :ModelMetadata :Phenomenon ) ] ; rdfs:range xsd:string ; :sysmlKind "attribute" ; :sysmlName "CSBase::Concern::description" ; rdfs:isDefinedBy ; rdfs:label "description"@en ; "description"@en ; "Generated from the SysML v2 feature CSBase::Concern::description."@en . ### http://w3id.org/coresense/cso#desiredEffects :desiredEffects rdf:type owl:DatatypeProperty ; rdfs:domain :Mission ; rdfs:range xsd:string ; :sysmlKind "attribute" ; :sysmlName "CSBase::Mission::desiredEffects" ; rdfs:isDefinedBy ; rdfs:label "desiredEffects"@en ; "desired effects"@en ; "Generated from the SysML v2 feature CSBase::Mission::desiredEffects."@en . ### http://w3id.org/coresense/cso#finalTime :finalTime rdf:type owl:DatatypeProperty ; rdfs:domain :TimeInterval ; rdfs:range xsd:dateTime ; :sysmlKind "attribute" ; :sysmlName "CSBase::TimeInterval::finalTime" ; rdfs:isDefinedBy ; rdfs:label "finalTime"@en ; "final time"@en ; "Generated from the SysML v2 feature CSBase::TimeInterval::finalTime."@en . ### http://w3id.org/coresense/cso#id :id rdf:type owl:DatatypeProperty ; rdfs:domain :ModelMetadata ; rdfs:range xsd:string ; :sysmlKind "attribute" ; :sysmlName "CSCore::ModelMetadata::id" ; rdfs:isDefinedBy ; rdfs:label "id"@en ; "id"@en ; "Generated from the SysML v2 feature CSCore::ModelMetadata::id."@en . ### http://w3id.org/coresense/cso#information :information rdf:type owl:DatatypeProperty ; rdfs:domain :Feature ; rdfs:range rdfs:Literal ; :sysmlKind "attribute" ; :sysmlName "CSCore::Feature::information" ; rdfs:isDefinedBy ; rdfs:label "information"@en ; "information"@en ; "Generated from the SysML v2 feature CSCore::Feature::information."@en . ### http://w3id.org/coresense/cso#initialTime :initialTime rdf:type owl:DatatypeProperty ; rdfs:domain :TimeInterval ; rdfs:range xsd:dateTime ; :sysmlKind "attribute" ; :sysmlName "CSBase::TimeInterval::initialTime" ; rdfs:isDefinedBy ; rdfs:label "initialTime"@en ; "initial time"@en ; "Generated from the SysML v2 feature CSBase::TimeInterval::initialTime."@en . ### http://w3id.org/coresense/cso#inputs :inputs rdf:type owl:DatatypeProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :Exert :Function ) ] ; rdfs:range rdfs:Literal ; :sysmlKind "in attribute" ; :sysmlName "CSBase::Function::inputs" ; rdfs:isDefinedBy ; rdfs:label "inputs"@en ; "inputs"@en ; "Generated from the SysML v2 feature CSBase::Function::inputs."@en . ### http://w3id.org/coresense/cso#intendedUse :intendedUse rdf:type owl:DatatypeProperty ; rdfs:domain :ModelMetadata ; rdfs:range xsd:string ; :sysmlKind "attribute" ; :sysmlName "CSCore::ModelMetadata::intendedUse" ; rdfs:isDefinedBy ; rdfs:label "intendedUse"@en ; "intended use"@en ; "Generated from the SysML v2 feature CSCore::ModelMetadata::intendedUse."@en . ### http://w3id.org/coresense/cso#isActionable :isActionable rdf:type owl:DatatypeProperty ; rdfs:domain :Model ; rdfs:range xsd:boolean ; :sysmlKind "attribute" ; :sysmlName "CSCore::Model::isActionable" ; rdfs:isDefinedBy ; rdfs:label "isActionable"@en ; "is actionable"@en ; "Generated from the SysML v2 feature CSCore::Model::isActionable."@en . ### http://w3id.org/coresense/cso#isAdaptable :isAdaptable rdf:type owl:DatatypeProperty ; rdfs:domain :System ; rdfs:range xsd:boolean ; :sysmlKind "constant attribute" ; :sysmlName "CSBase::System::isAdaptable" ; rdfs:isDefinedBy ; rdfs:label "isAdaptable"@en ; "is adaptable"@en ; "Generated from the SysML v2 feature CSBase::System::isAdaptable."@en . ### http://w3id.org/coresense/cso#isComposable :isComposable rdf:type owl:DatatypeProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :Model :Modelet ) ] ; rdfs:range xsd:boolean ; :sysmlKind "constant attribute" ; :sysmlName "CSCore::Model::isComposable" ; rdfs:isDefinedBy ; rdfs:label "isComposable"@en ; "is composable"@en ; "Generated from the SysML v2 feature CSCore::Model::isComposable."@en . ### http://w3id.org/coresense/cso#isExertableOnItsOwn :isExertableOnItsOwn rdf:type owl:DatatypeProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :Model :Modelet ) ] ; rdfs:range xsd:boolean ; :sysmlKind "attribute, constant attribute" ; :sysmlName "CSCore::Model::isExertableOnItsOwn" ; rdfs:isDefinedBy ; rdfs:label "isExertableOnItsOwn"@en ; "is exertable on its own"@en ; "Generated from the SysML v2 feature CSCore::Model::isExertableOnItsOwn."@en . ### http://w3id.org/coresense/cso#knowledge :knowledge rdf:type owl:DatatypeProperty ; rdfs:domain :Context ; rdfs:range xsd:string ; :sysmlKind "attribute" ; :sysmlName "CSBase::Context::knowledge" ; rdfs:isDefinedBy ; rdfs:label "knowledge"@en ; "knowledge"@en ; "Generated from the SysML v2 feature CSBase::Context::knowledge."@en . ### http://w3id.org/coresense/cso#likelihood :likelihood rdf:type owl:DatatypeProperty ; rdfs:domain :Risk ; rdfs:range xsd:decimal ; :sysmlKind "attribute" ; :sysmlName "CSBase::Risk::likelihood" ; rdfs:isDefinedBy ; rdfs:label "likelihood"@en ; "likelihood"@en ; "Generated from the SysML v2 feature CSBase::Risk::likelihood."@en . ### http://w3id.org/coresense/cso#maxResponseTime :maxResponseTime rdf:type owl:DatatypeProperty ; rdfs:domain :PerformanceConstraint ; rdfs:range xsd:decimal ; :sysmlKind "attribute" ; :sysmlName "CSCore::PerformanceConstraint::maxResponseTime" ; rdfs:isDefinedBy ; rdfs:label "maxResponseTime"@en ; "max response time"@en ; "Generated from the SysML v2 feature CSCore::PerformanceConstraint::maxResponseTime."@en . ### http://w3id.org/coresense/cso#maxUsers :maxUsers rdf:type owl:DatatypeProperty ; rdfs:domain :ScalabilityConstraint ; rdfs:range xsd:nonNegativeInteger ; :sysmlKind "attribute" ; :sysmlName "CSCore::ScalabilityConstraint::maxUsers" ; rdfs:isDefinedBy ; rdfs:label "maxUsers"@en ; "max users"@en ; "Generated from the SysML v2 feature CSCore::ScalabilityConstraint::maxUsers."@en . ### http://w3id.org/coresense/cso#modelClass :modelClass rdf:type owl:DatatypeProperty ; rdfs:domain :ModelMetadata ; rdfs:range xsd:string ; :sysmlKind "attribute" ; :sysmlName "CSCore::ModelMetadata::modelClass" ; rdfs:isDefinedBy ; rdfs:label "modelClass"@en ; "model class"@en ; "Generated from the SysML v2 feature CSCore::ModelMetadata::modelClass."@en . ### http://w3id.org/coresense/cso#modelFormalism :modelFormalism rdf:type owl:DatatypeProperty ; rdfs:domain :ModelMetadata ; rdfs:range xsd:string ; :sysmlKind "attribute" ; :sysmlName "CSCore::ModelMetadata::modelFormalism" ; rdfs:isDefinedBy ; rdfs:label "modelFormalism"@en ; "model formalism"@en ; "Generated from the SysML v2 feature CSCore::ModelMetadata::modelFormalism."@en . ### http://w3id.org/coresense/cso#modelledPhenomenon :modelledPhenomenon rdf:type owl:DatatypeProperty ; rdfs:domain :ModelMetadata ; rdfs:range xsd:string ; :sysmlKind "attribute" ; :sysmlName "CSCore::ModelMetadata::modelledPhenomenon" ; rdfs:isDefinedBy ; rdfs:label "modelledPhenomenon"@en ; "modelled phenomenon"@en ; "Generated from the SysML v2 feature CSCore::ModelMetadata::modelledPhenomenon."@en . ### http://w3id.org/coresense/cso#name :name rdf:type owl:DatatypeProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :Metric :ModelMetadata ) ] ; rdfs:range xsd:string ; :sysmlKind "attribute" ; :sysmlName "CSBase::Metric::name" ; rdfs:isDefinedBy ; rdfs:label "name"@en ; "name"@en ; "Generated from the SysML v2 feature CSBase::Metric::name."@en . ### http://w3id.org/coresense/cso#numberOfUsers :numberOfUsers rdf:type owl:DatatypeProperty ; rdfs:domain :ScalabilityConstraint ; rdfs:range xsd:nonNegativeInteger ; :sysmlKind "attribute" ; :sysmlName "CSCore::ScalabilityConstraint::numberOfUsers" ; rdfs:isDefinedBy ; rdfs:label "numberOfUsers"@en ; "number of users"@en ; "Generated from the SysML v2 feature CSCore::ScalabilityConstraint::numberOfUsers."@en . ### http://w3id.org/coresense/cso#outputs :outputs rdf:type owl:DatatypeProperty ; rdfs:domain :Function ; rdfs:range rdfs:Literal ; :sysmlKind "out attribute" ; :sysmlName "CSBase::Function::outputs" ; rdfs:isDefinedBy ; rdfs:label "outputs"@en ; "outputs"@en ; "Generated from the SysML v2 feature CSBase::Function::outputs."@en . ### http://w3id.org/coresense/cso#rawValues :rawValues rdf:type owl:DatatypeProperty ; rdfs:domain :Data ; rdfs:range rdfs:Literal ; :sysmlKind "attribute" ; :sysmlName "CSBase::Data::rawValues" ; rdfs:isDefinedBy ; rdfs:label "rawValues"@en ; "raw values"@en ; "Generated from the SysML v2 feature CSBase::Data::rawValues."@en . ### http://w3id.org/coresense/cso#responsibilities :responsibilities rdf:type owl:DatatypeProperty ; rdfs:domain :Role ; rdfs:range xsd:string ; :sysmlKind "attribute" ; :sysmlName "CSBase::Role::responsibilities" ; rdfs:isDefinedBy ; rdfs:label "responsibilities"@en ; "responsibilities"@en ; "Generated from the SysML v2 feature CSBase::Role::responsibilities."@en . ### http://w3id.org/coresense/cso#results :results rdf:type owl:DatatypeProperty ; rdfs:domain :Exert ; rdfs:range rdfs:Literal ; :sysmlKind "out attribute" ; :sysmlName "CSCore::Exert::results" ; rdfs:isDefinedBy ; rdfs:label "results"@en ; "results"@en ; "Generated from the SysML v2 feature CSCore::Exert::results."@en . ### http://w3id.org/coresense/cso#roleConstraints :roleConstraints rdf:type owl:DatatypeProperty ; rdfs:domain :Role ; rdfs:range xsd:string ; :sysmlKind "attribute" ; :sysmlName "CSBase::Role::roleConstraints" ; rdfs:isDefinedBy ; rdfs:label "roleConstraints"@en ; "role constraints"@en ; "Generated from the SysML v2 feature CSBase::Role::roleConstraints."@en . ### http://w3id.org/coresense/cso#satisfactionCondition :satisfactionCondition rdf:type owl:DatatypeProperty ; rdfs:domain :MissionSuccessCriterion ; rdfs:range xsd:string ; :sysmlKind "attribute" ; :sysmlName "CSBase::MissionSuccessCriterion::satisfactionCondition" ; rdfs:isDefinedBy ; rdfs:label "satisfactionCondition"@en ; "satisfaction condition"@en ; "Generated from the SysML v2 feature CSBase::MissionSuccessCriterion::satisfactionCondition."@en . ### http://w3id.org/coresense/cso#severity :severity rdf:type owl:DatatypeProperty ; rdfs:domain :Risk ; rdfs:range xsd:decimal ; :sysmlKind "attribute" ; :sysmlName "CSBase::Risk::severity" ; rdfs:isDefinedBy ; rdfs:label "severity"@en ; "severity"@en ; "Generated from the SysML v2 feature CSBase::Risk::severity."@en . ### http://w3id.org/coresense/cso#timeInstant :timeInstant rdf:type owl:DatatypeProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( :BinaryRelationState :EntityState ) ] ; rdfs:range xsd:dateTime ; :sysmlKind "attribute" ; :sysmlName "CSBase::BinaryRelationState::timeInstant" ; rdfs:isDefinedBy ; rdfs:label "timeInstant"@en ; "time instant"@en ; "Generated from the SysML v2 feature CSBase::BinaryRelationState::timeInstant."@en . ### http://w3id.org/coresense/cso#value :value rdf:type owl:DatatypeProperty ; rdfs:domain :PerformanceMeasure ; rdfs:range xsd:decimal ; :sysmlKind "attribute" ; :sysmlName "CSBase::PerformanceMeasure::value" ; rdfs:isDefinedBy ; rdfs:label "value"@en ; "value"@en ; "Generated from the SysML v2 feature CSBase::PerformanceMeasure::value."@en . ################################################################# # Classes ################################################################# ### http://w3id.org/coresense/cso#Action :Action rdf:type owl:Class ; rdfs:subClassOf owl:Thing ; :sysmlKind "standard library" ; :sysmlName "Actions::Action" ; rdfs:isDefinedBy ; rdfs:label "action"@en ; "Minted by the generator for the SysML v2 standard-library element referenced as Action."@en . ### http://w3id.org/coresense/cso#ActionAssignedTo :ActionAssignedTo rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :agent ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Agent ] , [ rdf:type owl:Restriction ; owl:onProperty :assigned_action ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Action ] ; :sysmlKind "allocation def" ; :sysmlName "CSActionControl::ActionAssignedTo" ; rdfs:isDefinedBy ; rdfs:label "action assigned to"@en ; "ActionAssignedTo"@en . ### http://w3id.org/coresense/cso#ActionEnd :ActionEnd rdf:type owl:Class ; rdfs:subClassOf :Event , [ rdf:type owl:Restriction ; owl:onProperty :context ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] , [ rdf:type owl:Restriction ; owl:onProperty :status ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ActionStatus ] , [ rdf:type owl:Restriction ; owl:onProperty :terminatedAction ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Action ] ; ; :sysmlKind "occurrence def" ; :sysmlName "CSActionControl::ActionEnd" ; rdfs:comment "SysML constraint IsEndShotOfAction: self == terminatedAction.endShot"@en ; rdfs:isDefinedBy ; rdfs:label "action end"@en ; "ActionEnd"@en ; "An action end is an event that, within a given context, marks the termination of the execution of an action, together with a termination status value."@en . ### http://w3id.org/coresense/cso#ActionOrder :ActionOrder rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :assignee ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Agent ] , [ rdf:type owl:Restriction ; owl:onProperty :assignment ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ActionAssignedTo ] , [ rdf:type owl:Restriction ; owl:onProperty :specification ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ActionSpecification ] ; ; :sysmlKind "item def" ; :sysmlName "CSActionControl::ActionOrder" ; rdfs:isDefinedBy ; rdfs:label "action order"@en ; "ActionOrder"@en ; "An action order is an executable directive, issued within a given context of an extended system, that activates the execution of the actions in a given action specification by the designated agents."@en . ### http://w3id.org/coresense/cso#ActionOrderStatus :ActionOrderStatus rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :order ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ActionOrder ] , [ rdf:type owl:Restriction ; owl:onProperty :status ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ActionStatus ] ; :sysmlKind "item def" ; :sysmlName "CSActionControl::ActionOrderStatus" ; rdfs:isDefinedBy ; rdfs:label "action order status"@en ; "ActionOrderStatus"@en . ### http://w3id.org/coresense/cso#ActionSpecification :ActionSpecification rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :assignments ; owl:allValuesFrom :ActionAssignedTo ] ; ; :sysmlKind "item def" ; :sysmlName "CSActionControl::ActionSpecification" ; rdfs:isDefinedBy ; rdfs:label "action specification"@en ; "ActionSpecification"@en ; "An action specification is a concrete description, produced in response to an action trigger within a given context according to a chosen policy, that: (i) selects one or more actions from the candidate set determined by that policy, and (ii) assigns one or more responsible agents to each selected action."@en . ### http://w3id.org/coresense/cso#ActionStatus :ActionStatus rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Class ; owl:oneOf ( :ActionStatus_aborted :ActionStatus_failed :ActionStatus_notTriggered :ActionStatus_succeeded :ActionStatus_timedOut ) ] ; rdfs:subClassOf owl:Thing ; :sysmlKind "enum def" ; :sysmlName "CSActionControl::ActionStatus" ; rdfs:isDefinedBy ; rdfs:label "action status"@en ; "ActionStatus"@en . ### http://w3id.org/coresense/cso#Actuator :Actuator rdf:type owl:Class ; rdfs:subClassOf :Entity , [ rdf:type owl:Restriction ; owl:onProperty :commandedBy ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Agent ] , [ rdf:type owl:Restriction ; owl:onProperty :executes ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Action ] ; ; :sysmlKind "abstract part def" ; :sysmlName "CSBase::Actuator" ; rdfs:isDefinedBy ; rdfs:label "actuator"@en ; "Actuator"@en ; "An actuator is a physical entity that, when provided with an input, produces a physical effect on the environment or the system (e.g., motion, force, or flow), thereby executing actions commanded by an agent."@en . ### http://w3id.org/coresense/cso#AdverseOccurrence :AdverseOccurrence rdf:type owl:Class ; rdfs:subClassOf owl:Thing ; :sysmlKind "occurrence def" ; :sysmlName "CSBase::AdverseOccurrence" ; rdfs:isDefinedBy ; rdfs:label "adverse occurrence"@en ; "AdverseOccurrence"@en . ### http://w3id.org/coresense/cso#Agent :Agent rdf:type owl:Class ; rdfs:subClassOf :Entity , [ rdf:type owl:Restriction ; owl:onProperty :commands ; owl:allValuesFrom :Action ] , [ rdf:type owl:Restriction ; owl:onProperty :executes ; owl:allValuesFrom :Action ] ; ; :sysmlKind "abstract part def" ; :sysmlName "CSBase::Agent" ; rdfs:comment "SysML constraint HasAtLeastOneActionRole: SequenceFunctions::size(executes) > 0 or SequenceFunctions::size(commands) > 0"@en ; rdfs:isDefinedBy ; rdfs:label "agent"@en ; "Agent"@en ; "An agent is an entity capable of executing or commanding actions."@en . ### http://w3id.org/coresense/cso#Awareness :Awareness rdf:type owl:Class ; rdfs:subClassOf :CognitiveCapability , [ rdf:type owl:Restriction ; owl:onProperty :updatingSenses ; owl:allValuesFrom :Sense ] , [ rdf:type owl:Restriction ; owl:onProperty :awarePhenomenon ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Phenomenon ] , [ rdf:type owl:Restriction ; owl:onProperty :maintainedUnderstanding ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Understanding ] ; ; :sysmlKind "item def" ; :sysmlName "CSCore::Awareness" ; rdfs:comment "SysML constraint SensingHappensDuringAwareness: updatingSenses->ControlFunctions::forAll { in sn : Sense; self.timeEnclosedOccurrences->SequenceFunctions::includes(sn) }"@en , "SysML constraint UnderstandingOfSamePhenomenon: maintainedUnderstanding.understoodPhenomenon == awarePhenomenon"@en ; rdfs:isDefinedBy ; rdfs:label "awareness"@en ; "Awareness"@en ; "Awareness is the capability of an entity to maintain timely understanding of a phenomenon and its implications for the entity."@en . ### http://w3id.org/coresense/cso#BinaryRelation :BinaryRelation rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :source ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Entity ] , [ rdf:type owl:Restriction ; owl:onProperty :target ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Entity ] ; ; :sysmlKind "connection def" ; :sysmlName "CSBase::BinaryRelation" ; rdfs:isDefinedBy ; rdfs:label "binary relation"@en ; "BinaryRelation"@en ; "Binary relation between two entities."@en . ### http://w3id.org/coresense/cso#BinaryRelationState :BinaryRelationState rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :relation ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :BinaryRelation ] , [ rdf:type owl:Restriction ; owl:onProperty :source ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Entity ] , [ rdf:type owl:Restriction ; owl:onProperty :target ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Entity ] , [ rdf:type owl:Restriction ; owl:onProperty :timeInstant ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:dateTime ] ; ; :sysmlKind "occurrence def" ; :sysmlName "CSBase::BinaryRelationState" ; rdfs:isDefinedBy ; rdfs:label "binary relation state"@en ; "BinaryRelationState"@en ; "The state of a BinaryRelation at a given time instant is the tuple of the values of its attributes."@en . ### http://w3id.org/coresense/cso#Capability :Capability rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :realizes ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Function ] , [ rdf:type owl:Restriction ; owl:onProperty :system ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :System ] , [ rdf:type owl:Restriction ; owl:onProperty :acceptanceCriteria ; owl:allValuesFrom xsd:string ] , [ rdf:type owl:Restriction ; owl:onProperty :conditions ; owl:allValuesFrom xsd:string ] ; ; :sysmlKind "item def" ; :sysmlName "CSBase::Capability" ; rdfs:isDefinedBy ; rdfs:label "capability"@en ; "Capability"@en ; "A capability is the ability of a system to perform a specific function successfully under stated conditions and acceptance criteria."@en . ### http://w3id.org/coresense/cso#CognitiveCapability :CognitiveCapability rdf:type owl:Class ; rdfs:subClassOf :Capability , [ rdf:type owl:Restriction ; owl:onProperty :modelets ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Modelet ] , [ rdf:type owl:Restriction ; owl:onProperty :realizes ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :CognitiveFunction ] ; ; :sysmlKind "item def" ; :sysmlName "CSCore::CognitiveCapability" ; rdfs:isDefinedBy ; rdfs:label "cognitive capability"@en ; "CognitiveCapability"@en ; "A cognitive capability is a capability of a system that is realized by a cognitive function and enables the system to use knowledge to produce intentional action."@en . ### http://w3id.org/coresense/cso#CognitiveFunction :CognitiveFunction rdf:type owl:Class ; rdfs:subClassOf :Function , [ rdf:type owl:Restriction ; owl:onProperty :modelets ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Modelet ] ; ; :sysmlKind "item def" ; :sysmlName "CSCore::CognitiveFunction" ; rdfs:isDefinedBy ; rdfs:label "cognitive function"@en ; "CognitiveFunction"@en ; "A cognitive function is a function that processes information by executing one or more modelets."@en . ### http://w3id.org/coresense/cso#Concern :Concern rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :context ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] , [ rdf:type owl:Restriction ; owl:onProperty :sh ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Stakeholder ] , [ rdf:type owl:Restriction ; owl:onProperty :description ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:string ] ; ; :sysmlKind "item def" ; :sysmlName "CSBase::Concern" ; rdfs:isDefinedBy ; rdfs:label "concern"@en ; "Concern"@en ; "A concern is a matter of interest to a stakeholder that, in a given context, can be derived from a need and may give rise to requirements."@en . ### http://w3id.org/coresense/cso#Context :Context rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :extendedSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] , [ rdf:type owl:Restriction ; owl:onProperty :conditions ; owl:allValuesFrom xsd:string ] , [ rdf:type owl:Restriction ; owl:onProperty :knowledge ; owl:allValuesFrom xsd:string ] ; ; :sysmlKind "item def" ; :sysmlName "CSBase::Context" ; rdfs:isDefinedBy ; rdfs:label "context"@en ; "Context"@en ; "Given an extended system, the context is the set of the content retained about that extended system, together with the assumptions and conditions, deemed relevant to interpret, evaluate and act within that extended system."@en . ### http://w3id.org/coresense/cso#ContributesToBehavior :ContributesToBehavior rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :behavior ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :PotentialBehavior ] , [ rdf:type owl:Restriction ; owl:onProperty :role ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Role ] ; :sysmlKind "connection def" ; :sysmlName "CSBase::ContributesToBehavior" ; rdfs:isDefinedBy ; rdfs:label "contributes to behavior"@en ; "ContributesToBehavior"@en . ### http://w3id.org/coresense/cso#ContributesToFunction :ContributesToFunction rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :function ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Function ] , [ rdf:type owl:Restriction ; owl:onProperty :role ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Role ] ; :sysmlKind "connection def" ; :sysmlName "CSBase::ContributesToFunction" ; rdfs:isDefinedBy ; rdfs:label "contributes to function"@en ; "ContributesToFunction"@en . ### http://w3id.org/coresense/cso#Data :Data rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :extendedSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] , [ rdf:type owl:Restriction ; owl:onProperty :rawValues ; owl:minCardinality "1"^^xsd:nonNegativeInteger ] ; ; :sysmlKind "item def" ; :sysmlName "CSBase::Data" ; rdfs:isDefinedBy ; rdfs:label "data"@en ; "Data"@en ; "Data are encoded representations of aspects of an entity or system (e.g., phenomena, properties, states, or attributes) in a form suitable for communication, storage, or processing."@en . ### http://w3id.org/coresense/cso#Desire :Desire rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :what ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Goal ] , [ rdf:type owl:Restriction ; owl:onProperty :who ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Stakeholder ] ; ; :sysmlKind "connection def" ; :sysmlName "CSBase::Desire" ; rdfs:isDefinedBy ; rdfs:label "desire"@en ; "Desire"@en ; "The relationship between stakeholder and goal is \"to desire\"."@en . ### http://w3id.org/coresense/cso#Engine :Engine rdf:type owl:Class ; rdfs:subClassOf :Entity , [ rdf:type owl:Restriction ; owl:onProperty :exerts ; owl:allValuesFrom :Exert ] , [ rdf:type owl:Restriction ; owl:onProperty :modelets ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Modelet ] ; ; :sysmlKind "abstract part def" ; :sysmlName "CSCore::Engine" ; rdfs:comment "SysML constraint ExertionUseTheseModelets: exerts->ControlFunctions::forAll { in x : Exert; x.modelets->ControlFunctions::forAll { in m : Modelet; modelets->SequenceFunctions::includes(m) } }"@en , "SysML constraint ExertionUseThisEngine: exerts->ControlFunctions::forAll { in x : Exert; x.engine == self }"@en ; rdfs:isDefinedBy ; rdfs:label "engine"@en ; "Engine"@en ; "An engine is a component that exerts a modelet to derive a result."@en . ### http://w3id.org/coresense/cso#Entity :Entity rdf:type owl:Class ; rdfs:subClassOf owl:Thing ; ; :sysmlKind "abstract item def" ; :sysmlName "CSBase::Entity" ; rdfs:isDefinedBy ; rdfs:label "entity"@en ; "Entity"@en ; "An entity is any thing in the universe of discourse that can be distinguished from all other things in that universe."@en . ### http://w3id.org/coresense/cso#EntityState :EntityState rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :entity ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Entity ] , [ rdf:type owl:Restriction ; owl:onProperty :timeInstant ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:dateTime ] ; ; :sysmlKind "occurrence def" ; :sysmlName "CSBase::EntityState" ; rdfs:isDefinedBy ; rdfs:label "entity state"@en ; "EntityState"@en ; "The state of an entity at a given time instant is the tuple of the values of its attributes."@en . ### http://w3id.org/coresense/cso#Environment :Environment rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :entities ; owl:allValuesFrom :Entity ] , [ rdf:type owl:Restriction ; owl:onProperty :system ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :System ] ; ; :sysmlKind "item def" ; :sysmlName "CSBase::Environment" ; rdfs:comment "SysML constraint DisjointWithSystem: entities->ControlFunctions::forAll { in e : Entity; e != system and not system.components->SequenceFunctions::includes(e) }"@en ; rdfs:isDefinedBy ; rdfs:label "environment"@en ; "Environment"@en ; "The environment of a system is the collection of entities that are not part of the system but are capable of influencing or being influenced by it."@en . ### http://w3id.org/coresense/cso#EpistemicState :EpistemicState rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Class ; owl:oneOf ( :EpistemicState_Evidenced :EpistemicState_Limited :EpistemicState_Uncertain :EpistemicState_Validated ) ] ; rdfs:subClassOf owl:Thing ; :sysmlKind "enum def" ; :sysmlName "CSCore::EpistemicState" ; rdfs:isDefinedBy ; rdfs:label "epistemic state"@en ; "EpistemicState"@en . ### http://w3id.org/coresense/cso#Estimation :Estimation rdf:type owl:Class ; rdfs:subClassOf :CognitiveFunction , [ rdf:type owl:Restriction ; owl:onProperty :modelets ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Modelet ] , [ rdf:type owl:Restriction ; owl:onProperty :realizedBy ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ModeletEnginePair ] , [ rdf:type owl:Restriction ; owl:onProperty :referent ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Entity ] ; ; :sysmlKind "item def" ; :sysmlName "CSCore::Estimation" ; rdfs:isDefinedBy ; rdfs:label "estimation"@en ; "Estimation"@en ; "Estimation is a cognitive function realized by a modelet-engine pair whose purpose is to infer unknown or uncertain quantities of a referent from available data and prior knowledge."@en . ### http://w3id.org/coresense/cso#Evaluation :Evaluation rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :goals ; owl:allValuesFrom :Goal ] , [ rdf:type owl:Restriction ; owl:onProperty :performance ; owl:allValuesFrom :PerformanceMeasure ] , [ rdf:type owl:Restriction ; owl:onProperty :risks ; owl:allValuesFrom :Risk ] , [ rdf:type owl:Restriction ; owl:onProperty :context ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] , [ rdf:type owl:Restriction ; owl:onProperty :extendedSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] , [ rdf:type owl:Restriction ; owl:onProperty :projection ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Projection ] ; ; :sysmlKind "item def" ; :sysmlName "CSCore::Evaluation" ; rdfs:comment "SysML constraint GoalsMatchExtendedSystem: goals->ControlFunctions::forAll { in g : Goal; g.extendedSystem == extendedSystem }"@en , "SysML constraint PerformanceUseSameContext: performance->ControlFunctions::forAll { in p : PerformanceMeasure; p.context == context }"@en , "SysML constraint RisksUseSameContext: risks->ControlFunctions::forAll { in r : Risk; r.context == context }"@en ; rdfs:isDefinedBy ; rdfs:label "evaluation"@en ; "Evaluation"@en ; "Evaluation is an assessment of a projection with respect to a specific set of goals."@en . ### http://w3id.org/coresense/cso#Event :Event rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :extendedSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] , [ rdf:type owl:Restriction ; owl:onProperty :posteriorState ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :SystemState ] , [ rdf:type owl:Restriction ; owl:onProperty :priorState ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :SystemState ] ; ; :sysmlKind "occurrence def" ; :sysmlName "CSBase::Event" ; rdfs:comment "SysML constraint Instantaneous: startShot == endShot"@en , "SysML constraint StatesOfThisExtendedSystem: priorState->ControlFunctions::forAll { in st : SystemState; st.entity == extendedSystem }"@en ; rdfs:isDefinedBy ; rdfs:label "event"@en ; "Event"@en ; "An event is an occurrence that represents a change in an extended system."@en . ### http://w3id.org/coresense/cso#Exert :Exert rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :modelets ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Modelet ] , [ rdf:type owl:Restriction ; owl:onProperty :engine ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Engine ] , [ rdf:type owl:Restriction ; owl:onProperty :inputs ; owl:allValuesFrom rdfs:Literal ] , [ rdf:type owl:Restriction ; owl:onProperty :results ; owl:allValuesFrom rdfs:Literal ] ; ; :sysmlKind "action def" ; :sysmlName "CSCore::Exert" ; rdfs:isDefinedBy ; rdfs:label "exert"@en ; "Exert"@en ; "Exertion is the process of executing one or more modelets to given inputs in order to derive results about their referent."@en . ### http://w3id.org/coresense/cso#ExhibitedBehavior :ExhibitedBehavior rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :system ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :System ] , [ rdf:type owl:Restriction ; owl:onProperty :timeInterval ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :TimeInterval ] , [ rdf:type owl:Restriction ; owl:onProperty :trajectory ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :SystemTrajectory ] ; ; :sysmlKind "item def" ; :sysmlName "CSBase::ExhibitedBehavior" ; rdfs:isDefinedBy ; rdfs:label "exhibited behavior"@en ; "ExhibitedBehavior"@en ; "The exhibited behavior of a system over an observational interval is the trajectory followed by the system during that interval."@en . ### http://w3id.org/coresense/cso#ExtendedSystem :ExtendedSystem rdf:type owl:Class ; rdfs:subClassOf :System , [ rdf:type owl:Restriction ; owl:onProperty :environmentEntities ; owl:allValuesFrom :Entity ] , [ rdf:type owl:Restriction ; owl:onProperty :systemEnvironmentRelations ; owl:allValuesFrom :BinaryRelation ] , [ rdf:type owl:Restriction ; owl:onProperty :environment ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Environment ] , [ rdf:type owl:Restriction ; owl:onProperty :targetSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :System ] ; ; :sysmlKind "part def" ; :sysmlName "CSBase::ExtendedSystem" ; rdfs:comment "SysML constraint ComponentsAreExactlyTargetAndEnvironment: components->ControlFunctions::forAll { in c : Entity; c == targetSystem or environmentEntities->SequenceFunctions::includes(c) }"@en , "SysML constraint EnvironmentEntitySetMatches: environment.entities->ControlFunctions::forAll { in e : Entity; environmentEntities->SequenceFunctions::includes(e) } and environmentEntities->ControlFunctions::forAll { in e : Entity; environment.entities->SequenceFunctions::includes(e) }"@en , "SysML constraint EnvironmentMatchesTargetSystem: environment.system == targetSystem"@en , "SysML constraint OnlySERelations: systemEnvironmentRelations->ControlFunctions::forAll { in r : BinaryRelation; (r.source == targetSystem and environmentEntities->SequenceFunctions::includes(r.target)) or (r.target == targetSystem and environmentEntities->SequenceFunctions::includes(r.source)) }"@en , "SysML constraint RelationsAreExactlySERelations: relations->ControlFunctions::forAll { in r : BinaryRelation; systemEnvironmentRelations->SequenceFunctions::includes(r) }"@en ; rdfs:isDefinedBy ; rdfs:label "extended system"@en ; "ExtendedSystem"@en ; "An extended system is composed of a target system together with its selected environment and the relations between both of them."@en . ### http://w3id.org/coresense/cso#Feature :Feature rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :extendedSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] , [ rdf:type owl:Restriction ; owl:onProperty :context ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] , [ rdf:type owl:Restriction ; owl:onProperty :entity ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Entity ] , [ rdf:type owl:Restriction ; owl:onProperty :phenomenon ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Phenomenon ] , [ rdf:type owl:Restriction ; owl:onProperty :information ; owl:minCardinality "1"^^xsd:nonNegativeInteger ] ; ; :sysmlKind "item def" ; :sysmlName "CSCore::Feature" ; rdfs:isDefinedBy ; rdfs:label "feature"@en ; "Feature"@en ; "A feature is a derived piece of information that encodes some characteristic of an entity, system, phenomenon, or context, obtained from observations or sensor data and used as input to functions or modelets."@en . ### http://w3id.org/coresense/cso#Function :Function rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :inputs ; owl:allValuesFrom rdfs:Literal ] , [ rdf:type owl:Restriction ; owl:onProperty :outputs ; owl:allValuesFrom rdfs:Literal ] ; ; :sysmlKind "item def" ; :sysmlName "CSBase::Function" ; rdfs:isDefinedBy ; rdfs:label "function"@en ; "Function"@en ; "A function is a transformation that maps specific inputs to outputs."@en . ### http://w3id.org/coresense/cso#Functionality :Functionality rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :actions ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Action ] , [ rdf:type owl:Restriction ; owl:onProperty :expectedPerformance ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :PerformanceMeasure ] , [ rdf:type owl:Restriction ; owl:onProperty :goals ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Goal ] , [ rdf:type owl:Restriction ; owl:onProperty :capability ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Capability ] , [ rdf:type owl:Restriction ; owl:onProperty :context ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] , [ rdf:type owl:Restriction ; owl:onProperty :extendedSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] , [ rdf:type owl:Restriction ; owl:onProperty :object ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Entity ] ; ; :sysmlKind "item def" ; :sysmlName "CSBase::Functionality" ; rdfs:comment "SysML constraint ExpectedPerformanceConsistent: expectedPerformance->ControlFunctions::forAll { in pm : PerformanceMeasure; pm.context.extendedSystem == context.extendedSystem and pm.object == object }"@en , "SysML constraint GoalsOfSameExtendedSystem: goals->ControlFunctions::forAll { in g : Goal; g.extendedSystem == context.extendedSystem }"@en , "SysML constraint ObjectWithinExtendedSystem: object == context.extendedSystem or context.extendedSystem.targetSystem.components->SequenceFunctions::includes(object)"@en ; rdfs:isDefinedBy ; rdfs:label "functionality"@en ; "Functionality"@en ; "A functionality is an instantiation of a capability with some expected performance that is intended to satisfy one or more goals within a given context."@en . ### http://w3id.org/coresense/cso#Goal :Goal rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :desiredStates ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :SystemState ] , [ rdf:type owl:Restriction ; owl:onProperty :extendedSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] ; ; :sysmlKind "item def" ; :sysmlName "CSBase::Goal" ; rdfs:comment "SysML constraint DesiredStatesAreOfThisExtendedSystem: desiredStates->ControlFunctions::forAll { in st : SystemState; st.entity == extendedSystem }"@en ; rdfs:isDefinedBy ; rdfs:label "goal"@en ; "Goal"@en ; "A goal is a subset of the possible states of an extended system representing the conditions that an agent intends to achieve or maintain."@en . ### http://w3id.org/coresense/cso#Interest :Interest rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :on ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] , [ rdf:type owl:Restriction ; owl:onProperty :who ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Stakeholder ] ; :sysmlKind "connection def" ; :sysmlName "CSBase::Interest" ; rdfs:isDefinedBy ; rdfs:label "interest"@en ; "Interest"@en . ### http://w3id.org/coresense/cso#ManifestCapability :ManifestCapability rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :behavior ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExhibitedBehavior ] , [ rdf:type owl:Restriction ; owl:onProperty :capability ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Capability ] ; :sysmlKind "connection def" ; :sysmlName "CSBase::ManifestCapability" ; rdfs:comment "SysML constraint SameSystem: behavior.system == capability.system"@en ; rdfs:isDefinedBy ; rdfs:label "manifest capability"@en ; "ManifestCapability"@en . ### http://w3id.org/coresense/cso#Meaning :Meaning rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :inputFeatures ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Feature ] , [ rdf:type owl:Restriction ; owl:onProperty :modelets ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Modelet ] , [ rdf:type owl:Restriction ; owl:onProperty :context ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] , [ rdf:type owl:Restriction ; owl:onProperty :extendedSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] , [ rdf:type owl:Restriction ; owl:onProperty :description ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:string ] ; ; :sysmlKind "item def" ; :sysmlName "CSCore::Meaning" ; rdfs:comment "SysML constraint FeaturesMatchExtendedSystem: inputFeatures->ControlFunctions::forAll { in f : Feature; f.extendedSystem == extendedSystem }"@en ; rdfs:isDefinedBy ; rdfs:label "meaning"@en ; "Meaning"@en ; "Meaning is the informational content produced by exerting one or more modelets on input features, representing an interpretation of a phenomenon of the associated extended system within a given context."@en . ### http://w3id.org/coresense/cso#Metric :Metric rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :category ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :PerformanceMeasureType ] , [ rdf:type owl:Restriction ; owl:onProperty :name ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:string ] , [ rdf:type owl:Restriction ; owl:onProperty :description ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:string ] ; ; :sysmlKind "item def" ; :sysmlName "CSBase::Metric" ; rdfs:comment "SysML constraint NameNonEmpty: name != \"\""@en ; rdfs:isDefinedBy ; rdfs:label "metric"@en ; "Metric"@en ; "A metric is a measure used to assess mission success."@en . ### http://w3id.org/coresense/cso#Mission :Mission rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :context ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] , [ rdf:type owl:Restriction ; owl:onProperty :extendedSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] , [ rdf:type owl:Restriction ; owl:onProperty :desiredEffects ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:string ] ; ; :sysmlKind "item def" ; :sysmlName "CSBase::Mission" ; rdfs:isDefinedBy ; rdfs:label "mission"@en ; "Mission"@en ; "A mission is a high-level goal expressed as desired effects or target conditions for an extended system within a given context."@en . ### http://w3id.org/coresense/cso#MissionPlan :MissionPlan rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :tasks ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Task ] , [ rdf:type owl:Restriction ; owl:onProperty :context ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] , [ rdf:type owl:Restriction ; owl:onProperty :extendedSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] , [ rdf:type owl:Restriction ; owl:onProperty :mission ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Mission ] , [ rdf:type owl:Restriction ; owl:onProperty :performedBy ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :System ] ; ; :sysmlKind "action def" ; :sysmlName "CSBase::MissionPlan" ; rdfs:comment "SysML constraint MissionContextMatchesPlanContext: mission.context == context"@en , "SysML constraint TasksUseSameContext: tasks->ControlFunctions::forAll { in t : Task; t.context == context }"@en ; rdfs:isDefinedBy ; rdfs:label "mission plan"@en ; "MissionPlan"@en ; "A mission plan is a collection of tasks, together with any required precedence relations among them, to be carried out in order to satisfy the mission within the given extended system and context."@en . ### http://w3id.org/coresense/cso#MissionSpecification :MissionSpecification rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :goals ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Goal ] , [ rdf:type owl:Restriction ; owl:onProperty :successCriteria ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :MissionSuccessCriterion ] , [ rdf:type owl:Restriction ; owl:onProperty :context ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] , [ rdf:type owl:Restriction ; owl:onProperty :extendedSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] , [ rdf:type owl:Restriction ; owl:onProperty :mission ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Mission ] ; ; :sysmlKind "item def" ; :sysmlName "CSBase::MissionSpecification" ; rdfs:comment "SysML constraint GoalsConsistentWithMission: goals->ControlFunctions::forAll { in g : Goal; g.extendedSystem == extendedSystem }"@en ; rdfs:isDefinedBy ; rdfs:label "mission specification"@en ; "MissionSpecification"@en ; "A mission specification is the set of specific goals refining a given mission, together with the mission success criteria (expressed as metrics and their satisfaction conditions) that enable assessment of mission success."@en . ### http://w3id.org/coresense/cso#MissionSuccessCriterion :MissionSuccessCriterion rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :metric ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Metric ] , [ rdf:type owl:Restriction ; owl:onProperty :satisfactionCondition ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:string ] ; ; :sysmlKind "item def" ; :sysmlName "CSBase::MissionSuccessCriterion" ; rdfs:isDefinedBy ; rdfs:label "mission success criterion"@en ; "MissionSuccessCriterion"@en ; "A mission success criterion pairs a metric with a satisfaction condition in a given context."@en . ### http://w3id.org/coresense/cso#Model :Model rdf:type owl:Class ; rdfs:subClassOf :Entity , [ rdf:type owl:Restriction ; owl:onProperty :modelets ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Modelet ] , [ rdf:type owl:Restriction ; owl:onProperty :modeltype ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ModelType ] , [ rdf:type owl:Restriction ; owl:onProperty :referent ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Entity ] , [ rdf:type owl:Restriction ; owl:onProperty :usedBy ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Entity ] , [ rdf:type owl:Restriction ; owl:onProperty :isComposable ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:boolean ] , [ rdf:type owl:Restriction ; owl:onProperty :isExertableOnItsOwn ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:boolean ] , [ rdf:type owl:Restriction ; owl:onProperty :isActionable ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:boolean ] ; ; :sysmlKind "abstract part def" ; :sysmlName "CSCore::Model" ; rdfs:isDefinedBy ; rdfs:label "model"@en ; "Model"@en ; "A model is an entity that represents another entity (its referent)."@en . ### http://w3id.org/coresense/cso#ModelMetadata :ModelMetadata rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :stakeholders ; owl:allValuesFrom :Stakeholder ] , [ rdf:type owl:Restriction ; owl:onProperty :epistemicState ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :EpistemicState ] , [ rdf:type owl:Restriction ; owl:onProperty :metamodelingLevel ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :OMG_MOF ] , [ rdf:type owl:Restriction ; owl:onProperty :performanceConstraint ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :PerformanceConstraint ] , [ rdf:type owl:Restriction ; owl:onProperty :provenance ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Provenance ] , [ rdf:type owl:Restriction ; owl:onProperty :scalabilityConstraint ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ScalabilityConstraint ] , [ rdf:type owl:Restriction ; owl:onProperty :assumptions ; owl:allValuesFrom xsd:string ] , [ rdf:type owl:Restriction ; owl:onProperty :id ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:string ] , [ rdf:type owl:Restriction ; owl:onProperty :name ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:string ] , [ rdf:type owl:Restriction ; owl:onProperty :abstractionLevel ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:string ] , [ rdf:type owl:Restriction ; owl:onProperty :description ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:string ] , [ rdf:type owl:Restriction ; owl:onProperty :intendedUse ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:string ] , [ rdf:type owl:Restriction ; owl:onProperty :modelClass ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:string ] , [ rdf:type owl:Restriction ; owl:onProperty :modelFormalism ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:string ] , [ rdf:type owl:Restriction ; owl:onProperty :modelledPhenomenon ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:string ] ; :sysmlKind "metadata def" ; :sysmlName "CSCore::ModelMetadata" ; rdfs:isDefinedBy ; rdfs:label "model metadata"@en ; "ModelMetadata"@en . ### http://w3id.org/coresense/cso#ModelType :ModelType rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Class ; owl:oneOf ( :ModelType_analyticalModel :ModelType_descriptiveModel :ModelType_hybridModel :ModelType_metaModel :ModelType_physicalModel ) ] ; rdfs:subClassOf owl:Thing ; :sysmlKind "enum def" ; :sysmlName "CSCore::ModelType" ; rdfs:isDefinedBy ; rdfs:label "model type"@en ; "ModelType"@en . ### http://w3id.org/coresense/cso#Modelet :Modelet rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :aspect ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ModeletAspect ] , [ rdf:type owl:Restriction ; owl:onProperty :referent ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Entity ] , [ rdf:type owl:Restriction ; owl:onProperty :isComposable ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:boolean ] , [ rdf:type owl:Restriction ; owl:onProperty :isExertableOnItsOwn ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:boolean ] , [ rdf:type owl:Restriction ; owl:onProperty :aspectDescription ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:string ] ; ; :sysmlKind "abstract part def" ; :sysmlName "CSCore::Modelet" ; rdfs:isDefinedBy ; rdfs:label "modelet"@en ; "Modelet"@en ; "A modelet is a model fragment that represents a specific aspect of a referent system or entity."@en . ### http://w3id.org/coresense/cso#ModeletAspect :ModeletAspect rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Class ; owl:oneOf ( :ModeletAspect_behavior :ModeletAspect_capability :ModeletAspect_parameter :ModeletAspect_performance :ModeletAspect_property :ModeletAspect_states :ModeletAspect_structure ) ] ; rdfs:subClassOf owl:Thing ; :sysmlKind "enum def" ; :sysmlName "CSCore::ModeletAspect" ; rdfs:isDefinedBy ; rdfs:label "modelet aspect"@en ; "ModeletAspect"@en . ### http://w3id.org/coresense/cso#ModeletEnginePair :ModeletEnginePair rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :engine ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Engine ] , [ rdf:type owl:Restriction ; owl:onProperty :modelet ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Modelet ] ; ; :sysmlKind "item def" ; :sysmlName "CSCore::ModeletEnginePair" ; rdfs:comment "SysML constraint EngineSupportsModelet: engine.modelets->SequenceFunctions::includes(modelet)"@en ; rdfs:isDefinedBy ; rdfs:label "modelet engine pair"@en ; "ModeletEnginePair"@en ; "Pairing of a modelet with an engine that can exert it."@en . ### http://w3id.org/coresense/cso#OMG_MOF :OMG_MOF rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Class ; owl:oneOf ( :OMG_MOF_M0 :OMG_MOF_M1 :OMG_MOF_M2 :OMG_MOF_M3 ) ] ; rdfs:subClassOf owl:Thing ; :sysmlKind "enum def" ; :sysmlName "CSCore::OMG_MOF" ; rdfs:isDefinedBy ; rdfs:label "omg mof"@en ; "OMG_MOF"@en . ### http://w3id.org/coresense/cso#PerformanceConstraint :PerformanceConstraint rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :actualResponseTime ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:decimal ] , [ rdf:type owl:Restriction ; owl:onProperty :maxResponseTime ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:decimal ] ; ; :sysmlKind "constraint def" ; :sysmlName "CSCore::PerformanceConstraint" ; rdfs:comment "SysML constraint ResponseTime: actualResponseTime <= maxResponseTime"@en ; rdfs:isDefinedBy ; rdfs:label "performance constraint"@en ; "PerformanceConstraint"@en ; "Performance constraint on model usage (e.g., for run-time use)."@en . ### http://w3id.org/coresense/cso#PerformanceMeasure :PerformanceMeasure rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :goals ; owl:allValuesFrom :Goal ] , [ rdf:type owl:Restriction ; owl:onProperty :context ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] , [ rdf:type owl:Restriction ; owl:onProperty :exhibitedBehavior ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExhibitedBehavior ] , [ rdf:type owl:Restriction ; owl:onProperty :extendedSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] , [ rdf:type owl:Restriction ; owl:onProperty :object ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Entity ] , [ rdf:type owl:Restriction ; owl:onProperty :perfType ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :PerformanceMeasureType ] , [ rdf:type owl:Restriction ; owl:onProperty :value ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:decimal ] ; ; :sysmlKind "item def" ; :sysmlName "CSBase::PerformanceMeasure" ; rdfs:comment "SysML constraint BehaviorOfTargetSystem: exhibitedBehavior.system == context.extendedSystem.targetSystem"@en , "SysML constraint GoalsOfSameExtendedSystem: goals->ControlFunctions::forAll { in g : Goal; g.extendedSystem == context.extendedSystem }"@en , "SysML constraint ObjectWithinExtendedSystem: object == extendedSystem.targetSystem or extendedSystem.targetSystem.components->SequenceFunctions::includes(object) or extendedSystem.environmentEntities->SequenceFunctions::includes(object)"@en ; rdfs:isDefinedBy ; rdfs:label "performance measure"@en ; "PerformanceMeasure"@en ; "Performance is a measure of how effectively the exhibited behavior of a system (or one of its components) contributes to fulfilling its goals when executing tasks within a given context."@en . ### http://w3id.org/coresense/cso#PerformanceMeasureType :PerformanceMeasureType rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Class ; owl:oneOf ( :PerformanceMeasureType_MOE :PerformanceMeasureType_MOP :PerformanceMeasureType_TPM ) ] ; rdfs:subClassOf owl:Thing ; :sysmlKind "enum def" ; :sysmlName "CSBase::PerformanceMeasureType" ; rdfs:isDefinedBy ; rdfs:label "performance measure type"@en ; "PerformanceMeasureType"@en . ### http://w3id.org/coresense/cso#Phenomenon :Phenomenon rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :exhibitedBy ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Entity ] , [ rdf:type owl:Restriction ; owl:onProperty :context ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] , [ rdf:type owl:Restriction ; owl:onProperty :extendedSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] , [ rdf:type owl:Restriction ; owl:onProperty :description ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:string ] ; ; :sysmlKind "item def" ; :sysmlName "CSCore::Phenomenon" ; rdfs:comment "SysML constraint ContextMatchesExtendedSystem: context.extendedSystem == extendedSystem"@en , "SysML constraint ExhibitedByWithinExtendedSystem: exhibitedBy->ControlFunctions::forAll { in b : Entity; b == extendedSystem or b == extendedSystem.targetSystem or extendedSystem.targetSystem.components->SequenceFunctions::includes(b) or extendedSystem.environmentEntities->SequenceFunctions::includes(b) }"@en ; rdfs:isDefinedBy ; rdfs:label "phenomenon"@en ; "Phenomenon"@en ; "A phenomenon is any distinguishable aspect or behavior of an extended system, or of one of its parts, within a given context."@en . ### http://w3id.org/coresense/cso#Policy :Policy rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :candidateActions ; owl:allValuesFrom :Action ] , [ rdf:type owl:Restriction ; owl:onProperty :context ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] , [ rdf:type owl:Restriction ; owl:onProperty :extendedSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] ; ; :sysmlKind "item def" ; :sysmlName "CSActionControl::Policy" ; rdfs:isDefinedBy ; rdfs:label "policy"@en ; "Policy"@en ; "A policy is a rule or strategy that, for a given action trigger and a given context of an extended system, determines a set of candidate actions that are admissible responses to that trigger in that context."@en . ### http://w3id.org/coresense/cso#PotentialBehavior :PotentialBehavior rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :trajectories ; owl:allValuesFrom :SystemTrajectory ] , [ rdf:type owl:Restriction ; owl:onProperty :system ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :System ] , [ rdf:type owl:Restriction ; owl:onProperty :timeInterval ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :TimeInterval ] ; ; :sysmlKind "item def" ; :sysmlName "CSBase::PotentialBehavior" ; rdfs:comment "SysML constraint ConsistentWithSystem: trajectories->ControlFunctions::forAll { in tr : SystemTrajectory; tr.system == system }"@en , "SysML constraint TrajectoriesAtSameInterval: trajectories->ControlFunctions::forAll { in tr : SystemTrajectory; tr.timeInterval.initialTime == timeInterval.initialTime and tr.timeInterval.finalTime == timeInterval.finalTime }"@en ; rdfs:isDefinedBy ; rdfs:label "potential behavior"@en ; "PotentialBehavior"@en ; "The potential behavior of a system over a time interval is the set of all trajectories the system may follow over that interval."@en . ### http://w3id.org/coresense/cso#Projection :Projection rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :context ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] , [ rdf:type owl:Restriction ; owl:onProperty :extendedSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] , [ rdf:type owl:Restriction ; owl:onProperty :potentialBehavior ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :PotentialBehavior ] , [ rdf:type owl:Restriction ; owl:onProperty :timeInterval ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :TimeInterval ] ; ; :sysmlKind "item def" ; :sysmlName "CSCore::Projection" ; rdfs:comment "SysML constraint PotentialBehaviorIsOfThisExtendedSystem: potentialBehavior.system == extendedSystem"@en ; rdfs:isDefinedBy ; rdfs:label "projection"@en ; "Projection"@en ; "Projection is a representation that maps a given situation of an extended system in a given context, into a representation in a chosen space, over a specified projection domain."@en . ### http://w3id.org/coresense/cso#Provenance :Provenance rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Class ; owl:oneOf ( :Provenance_Derived :Provenance_Historical :Provenance_Original :Provenance_Versioned ) ] ; rdfs:subClassOf owl:Thing ; :sysmlKind "enum def" ; :sysmlName "CSCore::Provenance" ; rdfs:isDefinedBy ; rdfs:label "provenance"@en ; "Provenance"@en . ### http://w3id.org/coresense/cso#Risk :Risk rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :adverseEvent ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :AdverseOccurrence ] , [ rdf:type owl:Restriction ; owl:onProperty :context ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] , [ rdf:type owl:Restriction ; owl:onProperty :likelihood ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:decimal ] , [ rdf:type owl:Restriction ; owl:onProperty :severity ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:decimal ] ; ; :sysmlKind "item def" ; :sysmlName "CSBase::Risk" ; rdfs:comment "SysML constraint LikelihoodBounds: 0.0 <= likelihood and likelihood <= 1.0"@en ; rdfs:isDefinedBy ; rdfs:label "risk"@en ; "Risk"@en ; "A risk is a measure of the potential for an adverse event to negatively affect an entity, system, or extended system within a given context."@en . ### http://w3id.org/coresense/cso#Role :Role rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :playedBy ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Entity ] , [ rdf:type owl:Restriction ; owl:onProperty :context ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] , [ rdf:type owl:Restriction ; owl:onProperty :timeInterval ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :TimeInterval ] , [ rdf:type owl:Restriction ; owl:onProperty :responsibilities ; owl:allValuesFrom xsd:string ] , [ rdf:type owl:Restriction ; owl:onProperty :roleConstraints ; owl:allValuesFrom xsd:string ] ; ; :sysmlKind "item def" ; :sysmlName "CSBase::Role" ; rdfs:isDefinedBy ; rdfs:label "role"@en ; "Role"@en ; "A role is a context- and time-dependent designation, with associated responsibilities and constraints, that an entity may assume in order to contribute to the achievement or maintenance of a goal."@en . ### http://w3id.org/coresense/cso#ScalabilityConstraint :ScalabilityConstraint rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :maxUsers ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:nonNegativeInteger ] , [ rdf:type owl:Restriction ; owl:onProperty :numberOfUsers ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:nonNegativeInteger ] ; ; :sysmlKind "constraint def" ; :sysmlName "CSCore::ScalabilityConstraint" ; rdfs:comment "SysML constraint Scalability: numberOfUsers <= maxUsers"@en ; rdfs:isDefinedBy ; rdfs:label "scalability constraint"@en ; "ScalabilityConstraint"@en ; "Scalability constraint on model usage (e.g., number of concurrent users)."@en . ### http://w3id.org/coresense/cso#SelfModel :SelfModel rdf:type owl:Class ; rdfs:subClassOf :Model , [ rdf:type owl:Restriction ; owl:onProperty :referent ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Agent ] , [ rdf:type owl:Restriction ; owl:onProperty :usedBy ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Agent ] ; ; :sysmlKind "abstract part def" ; :sysmlName "CSCore::SelfModel" ; rdfs:comment "SysML constraint SelfEquality: referent == usedBy"@en ; rdfs:isDefinedBy ; rdfs:label "self model"@en ; "SelfModel"@en ; "A SelfModel is a Model whose referent is the owning system itself."@en . ### http://w3id.org/coresense/cso#Sense :Sense rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :extendedSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] , [ rdf:type owl:Restriction ; owl:onProperty :rawData ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Data ] , [ rdf:type owl:Restriction ; owl:onProperty :target ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Entity ] ; ; :sysmlKind "action def" ; :sysmlName "CSBase::Sense" ; rdfs:comment "SysML constraint OutputConsistent: rawData.extendedSystem == extendedSystem"@en , "SysML constraint TargetWithinExtendedSystem: target == extendedSystem.targetSystem or extendedSystem.targetSystem.components->SequenceFunctions::includes(target) or extendedSystem.environmentEntities->SequenceFunctions::includes(target)"@en ; rdfs:isDefinedBy ; rdfs:label "sense"@en ; "Sense"@en ; "Acquire raw sensor data about the phenomenon being observed in the extended system."@en . ### http://w3id.org/coresense/cso#Sensor :Sensor rdf:type owl:Class ; rdfs:subClassOf :Entity , [ rdf:type owl:Restriction ; owl:onProperty :observes ; owl:allValuesFrom :Entity ] , [ rdf:type owl:Restriction ; owl:onProperty :senses ; owl:allValuesFrom :Sense ] ; ; :sysmlKind "part def" ; :sysmlName "CSBase::Sensor" ; rdfs:comment "SysML constraint SenseTargetsObservableEntities: senses->ControlFunctions::forAll { in s : Sense; observes->SequenceFunctions::includes(s.target) }"@en ; rdfs:isDefinedBy ; rdfs:label "sensor"@en ; "Sensor"@en ; "A sensor is an entity that acquires raw data about phenomena, properties, states, or attributes of another entity being observed in the extended system."@en . ### http://w3id.org/coresense/cso#Situation :Situation rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :holdsOver ; owl:allValuesFrom :SystemState ] , [ rdf:type owl:Restriction ; owl:onProperty :situationContext ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] , [ rdf:type owl:Restriction ; owl:onProperty :conditions ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:string ] ; ; :sysmlKind "constraint def" ; :sysmlName "CSBase::Situation" ; rdfs:isDefinedBy ; rdfs:label "situation"@en ; "Situation"@en ; "A situation is a context-dependent condition on the state or exhibited behavior of an extended system, expressed in terms of a finite subset of relevant attribute values and relation instances."@en . ### http://w3id.org/coresense/cso#Stakeholder :Stakeholder rdf:type owl:Class ; rdfs:subClassOf :Entity , [ rdf:type owl:Restriction ; owl:onProperty :desires ; owl:allValuesFrom :Desire ] , [ rdf:type owl:Restriction ; owl:onProperty :interests ; owl:allValuesFrom :Interest ] ; ; :sysmlKind "item def" ; :sysmlName "CSBase::Stakeholder" ; rdfs:comment "SysML constraint OwnsDesires: desires->ControlFunctions::forAll { in d : Desire; d.who == self }"@en , "SysML constraint OwnsInterests: interests->ControlFunctions::forAll { in c : Interest; c.who == self }"@en ; rdfs:isDefinedBy ; rdfs:label "stakeholder"@en ; "Stakeholder"@en ; "A stakeholder is an entity for whom a system S is relevant because the behavior or outcomes of S can affect the achievement of its own goals."@en . ### http://w3id.org/coresense/cso#StakeholderValue :StakeholderValue rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :context ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] , [ rdf:type owl:Restriction ; owl:onProperty :sh ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Stakeholder ] , [ rdf:type owl:Restriction ; owl:onProperty :benefit ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:decimal ] , [ rdf:type owl:Restriction ; owl:onProperty :cost ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:decimal ] ; ; :sysmlKind "item def" ; :sysmlName "CSBase::StakeholderValue" ; rdfs:isDefinedBy ; rdfs:label "stakeholder value"@en ; "StakeholderValue"@en ; "Stakeholder value is the amount of benefit at a cost provided to stakeholders within a given context."@en . ### http://w3id.org/coresense/cso#SuperSystem :SuperSystem rdf:type owl:Class ; rdfs:subClassOf :System , [ rdf:type owl:Restriction ; owl:onProperty :components ; owl:allValuesFrom :System ] ; ; :sysmlKind "part def" ; :sysmlName "CSBase::SuperSystem" ; rdfs:isDefinedBy ; rdfs:label "super system"@en ; "SuperSystem"@en ; "A super system is a system whose components are, themselves, systems."@en . ### http://w3id.org/coresense/cso#System :System rdf:type owl:Class ; rdfs:subClassOf :Entity , [ rdf:type owl:Restriction ; owl:onProperty :components ; owl:allValuesFrom :Entity ] , [ rdf:type owl:Restriction ; owl:onProperty :relations ; owl:allValuesFrom :BinaryRelation ] , [ rdf:type owl:Restriction ; owl:onProperty :isAdaptable ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:boolean ] ; ; :sysmlKind "part def" ; :sysmlName "CSBase::System" ; rdfs:isDefinedBy ; rdfs:label "system"@en ; "System"@en ; "A system is an entity represented by a tuple (C, R), where C is a set of components and R is the set of binary relations between them."@en . ### http://w3id.org/coresense/cso#SystemOfInterest :SystemOfInterest rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :csstakeholder ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Stakeholder ] , [ rdf:type owl:Restriction ; owl:onProperty :extendedSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] , [ rdf:type owl:Restriction ; owl:onProperty :system ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :System ] ; ; :sysmlKind "item def" ; :sysmlName "CSBase::SystemOfInterest" ; rdfs:isDefinedBy ; rdfs:label "system of interest"@en ; "SystemOfInterest"@en ; "For a given stakeholder, the system of interest is the part of an extended system that constitutes the focus of engineering activities."@en . ### http://w3id.org/coresense/cso#SystemState :SystemState rdf:type owl:Class ; rdfs:subClassOf :EntityState , [ rdf:type owl:Restriction ; owl:onProperty :componentStates ; owl:allValuesFrom :EntityState ] , [ rdf:type owl:Restriction ; owl:onProperty :relationStates ; owl:allValuesFrom :BinaryRelationState ] , [ rdf:type owl:Restriction ; owl:onProperty :entity ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :System ] ; ; :sysmlKind "occurrence def" ; :sysmlName "CSBase::SystemState" ; rdfs:comment "SysML constraint AllComponentsHaveState: entity.components->ControlFunctions::forAll { in c : Entity; componentStates->ControlFunctions::exists { in es : EntityState; es.entity == c } }"@en , "SysML constraint AllRelationsHaveState: entity.relations->ControlFunctions::forAll { in r : BinaryRelation; relationStates->ControlFunctions::exists { in rs : BinaryRelationState; rs.relation == r } }"@en , "SysML constraint AtMostOneStatePerComponent: componentStates->ControlFunctions::forAll { in es1 : EntityState; componentStates->ControlFunctions::forAll { in es2 : EntityState; es1 != es2 implies es1.entity != es2.entity } }"@en , "SysML constraint AtMostOneStatePerRelation: relationStates->ControlFunctions::forAll { in rs1 : BinaryRelationState; relationStates->ControlFunctions::forAll { in rs2 : BinaryRelationState; rs1 != rs2 implies rs1.relation != rs2.relation } }"@en , "SysML constraint ComponentBelongToSystem: componentStates->ControlFunctions::forAll { in es : EntityState; entity.components->SequenceFunctions::includes(es.entity) }"@en , "SysML constraint ComponentStatesAtSystemTime: componentStates->ControlFunctions::forAll { in es : EntityState; es.timeInstant == timeInstant }"@en , "SysML constraint RelationStatesAtSystemTime: relationStates->ControlFunctions::forAll { in rs : BinaryRelationState; rs.timeInstant == timeInstant }"@en , "SysML constraint RelationsBelongToSystem: relationStates->ControlFunctions::forAll { in rs : BinaryRelationState; entity.relations->SequenceFunctions::includes(rs.relation) }"@en ; rdfs:isDefinedBy ; rdfs:label "system state"@en ; "SystemState"@en ; "The state of a system at a time instant is the complete set of attribute values describing the current condition of its components and their relations."@en . ### http://w3id.org/coresense/cso#SystemTrajectory :SystemTrajectory rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :states ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :SystemState ] , [ rdf:type owl:Restriction ; owl:onProperty :system ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :System ] , [ rdf:type owl:Restriction ; owl:onProperty :timeInterval ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :TimeInterval ] ; ; :sysmlKind "occurrence def" ; :sysmlName "CSBase::SystemTrajectory" ; rdfs:comment "SysML constraint ConsistentWithSystem: states->ControlFunctions::forAll { in st : SystemState; st.entity == system }"@en , "SysML constraint StateTimesUseIntervalTimeScale: states->ControlFunctions::forAll { in st : SystemState; st.timeInstant.mRef == timeInterval.initialTime.mRef }"@en , "SysML constraint StateTimesWithinInterval: states->ControlFunctions::forAll { in st : SystemState; timeInterval.initialTime <= st.timeInstant and st.timeInstant <= timeInterval.finalTime }"@en , "SysML constraint StrictlyIncreasingTime: SequenceFunctions::size(states) == 1 or (1..(SequenceFunctions::size(states) - 1))->ControlFunctions::forAll { in i : Natural; states#(i).timeInstant < states#(i + 1).timeInstant }"@en ; rdfs:isDefinedBy ; rdfs:label "system trajectory"@en ; "SystemTrajectory"@en ; "A trajectory is a time-ordered sequence of states representing one possible evolution of the system over a time interval."@en . ### http://w3id.org/coresense/cso#Task :Task rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :goals ; owl:allValuesFrom :Goal ] , [ rdf:type owl:Restriction ; owl:onProperty :plannedActions ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Action ] , [ rdf:type owl:Restriction ; owl:onProperty :context ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] , [ rdf:type owl:Restriction ; owl:onProperty :extendedSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] ; ; :sysmlKind "action def" ; :sysmlName "CSBase::Task" ; rdfs:comment "SysML constraint GoalsOfSameExtendedSystem: goals->ControlFunctions::forAll { in g : Goal; g.extendedSystem == extendedSystem }"@en ; rdfs:isDefinedBy ; rdfs:label "task"@en ; "Task"@en ; "A task is a set of planned actions, executed by one or more agents, that is intended to contribute to the achievement of one or more goals within a given context."@en . ### http://w3id.org/coresense/cso#TaskRequiresSystemCapability :TaskRequiresSystemCapability rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :capability ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Capability ] , [ rdf:type owl:Restriction ; owl:onProperty :task ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Task ] ; :sysmlKind "connection def" ; :sysmlName "CSBase::TaskRequiresSystemCapability" ; rdfs:comment "SysML constraint SameSystem: capability.system == task.extendedSystem.targetSystem"@en ; rdfs:isDefinedBy ; rdfs:label "task requires system capability"@en ; "TaskRequiresSystemCapability"@en . ### http://w3id.org/coresense/cso#TimeInterval :TimeInterval rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :finalTime ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:dateTime ] , [ rdf:type owl:Restriction ; owl:onProperty :initialTime ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:dateTime ] ; :sysmlKind "attribute def" ; :sysmlName "CSBase::TimeInterval" ; rdfs:comment "SysML constraint SameTimeScale: initialTime.mRef == finalTime.mRef"@en , "SysML constraint ValidInterval: initialTime < finalTime"@en ; rdfs:isDefinedBy ; rdfs:label "time interval"@en ; "TimeInterval"@en . ### http://w3id.org/coresense/cso#Trigger :Trigger rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :condition ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :TriggerCondition ] , [ rdf:type owl:Restriction ; owl:onProperty :context ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] , [ rdf:type owl:Restriction ; owl:onProperty :extendedSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] ; ; :sysmlKind "abstract item def" ; :sysmlName "CSActionControl::Trigger" ; rdfs:isDefinedBy ; rdfs:label "trigger"@en ; "Trigger"@en ; "An action trigger is a condition on the state and/or exhibited behavior of an extended system, identified within a given context, whose satisfaction indicates the need to initiate the execution of one or more actions to contribute to the achievement or maintenance of one or more goals."@en . ### http://w3id.org/coresense/cso#TriggerCondition :TriggerCondition rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :extendedSystem ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] , [ rdf:type owl:Restriction ; owl:onProperty :triggerContext ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] ; :sysmlKind "abstract constraint def" ; :sysmlName "CSActionControl::TriggerCondition" ; rdfs:isDefinedBy ; rdfs:label "trigger condition"@en ; "TriggerCondition"@en . ### http://w3id.org/coresense/cso#Understanding :Understanding rdf:type owl:Class ; rdfs:subClassOf :CognitiveCapability , [ rdf:type owl:Restriction ; owl:onProperty :usefulModels ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Model ] , [ rdf:type owl:Restriction ; owl:onProperty :context ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Context ] , [ rdf:type owl:Restriction ; owl:onProperty :understoodPhenomenon ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :Phenomenon ] ; ; :sysmlKind "item def" ; :sysmlName "CSCore::Understanding" ; rdfs:isDefinedBy ; rdfs:label "understanding"@en ; "Understanding"@en ; "Understanding is the capability of an entity to construct and use models of a phenomenon or system in order to make reliable inferences about it."@en . ### http://w3id.org/coresense/cso#WorldModel :WorldModel rdf:type owl:Class ; rdfs:subClassOf :Model , [ rdf:type owl:Restriction ; owl:onProperty :referent ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :ExtendedSystem ] ; ; :sysmlKind "abstract part def" ; :sysmlName "CSCore::WorldModel" ; rdfs:comment "SysML constraint UsedByInTargetOrEnvironment: referent.targetSystem.components->SequenceFunctions::includes(usedBy) or referent.environmentEntities->SequenceFunctions::includes(usedBy)"@en ; rdfs:isDefinedBy ; rdfs:label "world model"@en ; "WorldModel"@en ; "A WorldModel is a Model whose referent is the ExtendedSystem being operated in."@en . ################################################################# # Individuals ################################################################# ### http://w3id.org/coresense/cso#ActionStatus_aborted :ActionStatus_aborted rdf:type owl:NamedIndividual , :ActionStatus ; :sysmlName "CSActionControl::ActionStatus::aborted" ; rdfs:isDefinedBy ; rdfs:label "aborted (action status)"@en ; "aborted"@en . ### http://w3id.org/coresense/cso#ActionStatus_failed :ActionStatus_failed rdf:type owl:NamedIndividual , :ActionStatus ; :sysmlName "CSActionControl::ActionStatus::failed" ; rdfs:isDefinedBy ; rdfs:label "failed (action status)"@en ; "failed"@en . ### http://w3id.org/coresense/cso#ActionStatus_notTriggered :ActionStatus_notTriggered rdf:type owl:NamedIndividual , :ActionStatus ; :sysmlName "CSActionControl::ActionStatus::notTriggered" ; rdfs:isDefinedBy ; rdfs:label "not triggered (action status)"@en ; "notTriggered"@en . ### http://w3id.org/coresense/cso#ActionStatus_succeeded :ActionStatus_succeeded rdf:type owl:NamedIndividual , :ActionStatus ; :sysmlName "CSActionControl::ActionStatus::succeeded" ; rdfs:isDefinedBy ; rdfs:label "succeeded (action status)"@en ; "succeeded"@en . ### http://w3id.org/coresense/cso#ActionStatus_timedOut :ActionStatus_timedOut rdf:type owl:NamedIndividual , :ActionStatus ; :sysmlName "CSActionControl::ActionStatus::timedOut" ; rdfs:isDefinedBy ; rdfs:label "timed out (action status)"@en ; "timedOut"@en . ### http://w3id.org/coresense/cso#EpistemicState_Evidenced :EpistemicState_Evidenced rdf:type owl:NamedIndividual , :EpistemicState ; :sysmlName "CSCore::EpistemicState::Evidenced" ; rdfs:isDefinedBy ; rdfs:label "evidenced (epistemic state)"@en ; "Evidenced"@en . ### http://w3id.org/coresense/cso#EpistemicState_Limited :EpistemicState_Limited rdf:type owl:NamedIndividual , :EpistemicState ; :sysmlName "CSCore::EpistemicState::Limited" ; rdfs:isDefinedBy ; rdfs:label "limited (epistemic state)"@en ; "Limited"@en . ### http://w3id.org/coresense/cso#EpistemicState_Uncertain :EpistemicState_Uncertain rdf:type owl:NamedIndividual , :EpistemicState ; :sysmlName "CSCore::EpistemicState::Uncertain" ; rdfs:isDefinedBy ; rdfs:label "uncertain (epistemic state)"@en ; "Uncertain"@en . ### http://w3id.org/coresense/cso#EpistemicState_Validated :EpistemicState_Validated rdf:type owl:NamedIndividual , :EpistemicState ; :sysmlName "CSCore::EpistemicState::Validated" ; rdfs:isDefinedBy ; rdfs:label "validated (epistemic state)"@en ; "Validated"@en . ### http://w3id.org/coresense/cso#ModelType_analyticalModel :ModelType_analyticalModel rdf:type owl:NamedIndividual , :ModelType ; :sysmlName "CSCore::ModelType::analyticalModel" ; rdfs:isDefinedBy ; rdfs:label "analytical model (model type)"@en ; "analyticalModel"@en . ### http://w3id.org/coresense/cso#ModelType_descriptiveModel :ModelType_descriptiveModel rdf:type owl:NamedIndividual , :ModelType ; :sysmlName "CSCore::ModelType::descriptiveModel" ; rdfs:isDefinedBy ; rdfs:label "descriptive model (model type)"@en ; "descriptiveModel"@en . ### http://w3id.org/coresense/cso#ModelType_hybridModel :ModelType_hybridModel rdf:type owl:NamedIndividual , :ModelType ; :sysmlName "CSCore::ModelType::hybridModel" ; rdfs:isDefinedBy ; rdfs:label "hybrid model (model type)"@en ; "hybridModel"@en . ### http://w3id.org/coresense/cso#ModelType_metaModel :ModelType_metaModel rdf:type owl:NamedIndividual , :ModelType ; :sysmlName "CSCore::ModelType::metaModel" ; rdfs:isDefinedBy ; rdfs:label "meta model (model type)"@en ; "metaModel"@en . ### http://w3id.org/coresense/cso#ModelType_physicalModel :ModelType_physicalModel rdf:type owl:NamedIndividual , :ModelType ; :sysmlName "CSCore::ModelType::physicalModel" ; rdfs:isDefinedBy ; rdfs:label "physical model (model type)"@en ; "physicalModel"@en . ### http://w3id.org/coresense/cso#ModeletAspect_behavior :ModeletAspect_behavior rdf:type owl:NamedIndividual , :ModeletAspect ; :sysmlName "CSCore::ModeletAspect::behavior" ; rdfs:isDefinedBy ; rdfs:label "behavior (modelet aspect)"@en ; "behavior"@en . ### http://w3id.org/coresense/cso#ModeletAspect_capability :ModeletAspect_capability rdf:type owl:NamedIndividual , :ModeletAspect ; :sysmlName "CSCore::ModeletAspect::capability" ; rdfs:isDefinedBy ; rdfs:label "capability (modelet aspect)"@en ; "capability"@en . ### http://w3id.org/coresense/cso#ModeletAspect_parameter :ModeletAspect_parameter rdf:type owl:NamedIndividual , :ModeletAspect ; :sysmlName "CSCore::ModeletAspect::parameter" ; rdfs:isDefinedBy ; rdfs:label "parameter (modelet aspect)"@en ; "parameter"@en . ### http://w3id.org/coresense/cso#ModeletAspect_performance :ModeletAspect_performance rdf:type owl:NamedIndividual , :ModeletAspect ; :sysmlName "CSCore::ModeletAspect::performance" ; rdfs:isDefinedBy ; rdfs:label "performance (modelet aspect)"@en ; "performance"@en . ### http://w3id.org/coresense/cso#ModeletAspect_property :ModeletAspect_property rdf:type owl:NamedIndividual , :ModeletAspect ; :sysmlName "CSCore::ModeletAspect::property" ; rdfs:isDefinedBy ; rdfs:label "property (modelet aspect)"@en ; "property"@en . ### http://w3id.org/coresense/cso#ModeletAspect_states :ModeletAspect_states rdf:type owl:NamedIndividual , :ModeletAspect ; :sysmlName "CSCore::ModeletAspect::states" ; rdfs:isDefinedBy ; rdfs:label "states (modelet aspect)"@en ; "states"@en . ### http://w3id.org/coresense/cso#ModeletAspect_structure :ModeletAspect_structure rdf:type owl:NamedIndividual , :ModeletAspect ; :sysmlName "CSCore::ModeletAspect::structure" ; rdfs:isDefinedBy ; rdfs:label "structure (modelet aspect)"@en ; "structure"@en . ### http://w3id.org/coresense/cso#OMG_MOF_M0 :OMG_MOF_M0 rdf:type owl:NamedIndividual , :OMG_MOF ; :sysmlName "CSCore::OMG_MOF::M0" ; rdfs:isDefinedBy ; rdfs:label "m0 (omg mof)"@en ; "M0"@en . ### http://w3id.org/coresense/cso#OMG_MOF_M1 :OMG_MOF_M1 rdf:type owl:NamedIndividual , :OMG_MOF ; :sysmlName "CSCore::OMG_MOF::M1" ; rdfs:isDefinedBy ; rdfs:label "m1 (omg mof)"@en ; "M1"@en . ### http://w3id.org/coresense/cso#OMG_MOF_M2 :OMG_MOF_M2 rdf:type owl:NamedIndividual , :OMG_MOF ; :sysmlName "CSCore::OMG_MOF::M2" ; rdfs:isDefinedBy ; rdfs:label "m2 (omg mof)"@en ; "M2"@en . ### http://w3id.org/coresense/cso#OMG_MOF_M3 :OMG_MOF_M3 rdf:type owl:NamedIndividual , :OMG_MOF ; :sysmlName "CSCore::OMG_MOF::M3" ; rdfs:isDefinedBy ; rdfs:label "m3 (omg mof)"@en ; "M3"@en . ### http://w3id.org/coresense/cso#PerformanceMeasureType_MOE :PerformanceMeasureType_MOE rdf:type owl:NamedIndividual , :PerformanceMeasureType ; :sysmlName "CSBase::PerformanceMeasureType::MOE" ; rdfs:isDefinedBy ; rdfs:label "moe (performance measure type)"@en ; "MOE"@en . ### http://w3id.org/coresense/cso#PerformanceMeasureType_MOP :PerformanceMeasureType_MOP rdf:type owl:NamedIndividual , :PerformanceMeasureType ; :sysmlName "CSBase::PerformanceMeasureType::MOP" ; rdfs:isDefinedBy ; rdfs:label "mop (performance measure type)"@en ; "MOP"@en . ### http://w3id.org/coresense/cso#PerformanceMeasureType_TPM :PerformanceMeasureType_TPM rdf:type owl:NamedIndividual , :PerformanceMeasureType ; :sysmlName "CSBase::PerformanceMeasureType::TPM" ; rdfs:isDefinedBy ; rdfs:label "tpm (performance measure type)"@en ; "TPM"@en . ### http://w3id.org/coresense/cso#Provenance_Derived :Provenance_Derived rdf:type owl:NamedIndividual , :Provenance ; :sysmlName "CSCore::Provenance::Derived" ; rdfs:isDefinedBy ; rdfs:label "derived (provenance)"@en ; "Derived"@en . ### http://w3id.org/coresense/cso#Provenance_Historical :Provenance_Historical rdf:type owl:NamedIndividual , :Provenance ; :sysmlName "CSCore::Provenance::Historical" ; rdfs:isDefinedBy ; rdfs:label "historical (provenance)"@en ; "Historical"@en . ### http://w3id.org/coresense/cso#Provenance_Original :Provenance_Original rdf:type owl:NamedIndividual , :Provenance ; :sysmlName "CSCore::Provenance::Original" ; rdfs:isDefinedBy ; rdfs:label "original (provenance)"@en ; "Original"@en . ### http://w3id.org/coresense/cso#Provenance_Versioned :Provenance_Versioned rdf:type owl:NamedIndividual , :Provenance ; :sysmlName "CSCore::Provenance::Versioned" ; rdfs:isDefinedBy ; rdfs:label "versioned (provenance)"@en ; "Versioned"@en . ### Generated by the OWL API (version 5.1.18) https://github.com/owlcs/owlapi/