changes and updates to ontology, added a README

be.uantwerpen.msdl.vafl.ontology/.gitignore

@@ -1 +1,2 @@
 /.gradle/
+/build/

be.uantwerpen.msdl.vafl.ontology/build.gradle

@@ -58,14 +58,17 @@ configurations {
  * Dependency versions
  */
 ext { 
-    coreVersion = '+'
+    //coreVersion = '+'
+    metrologyVersion = '+'
+    
 }
 
 /*
  * The OML dependencies
  */
 dependencies {
-    oml "io.opencaesar.ontologies:core-vocabularies:$coreVersion"
+    //oml "io.opencaesar.ontologies:core-vocabularies:$coreVersion"
+    oml "io.opencaesar.ontologies:metrology-vocabularies:$metrologyVersion"
 }
 
 /*

be.uantwerpen.msdl.vafl.ontology/src/oml/msdl.uantwerpen.be/vafl/vocabulary/README.md

@@ -0,0 +1,16 @@
+## Validity Frame Ontology
+
+The ontology bundle consists of many sub-ontologies as described below:
+
+- resource.oml : Describes the top-level entities
+- actor.oml : Describes actors and access control
+- human.oml : Describes human elements like stakeholders, organizations, persons, owners
+- system.oml : Describes concepts like system, asset, system-under-study, environment, and their relations 
+- frame.oml : Describes concepts and relations related to contexts
+- requirement.oml : Describes concepts and relations related to goals and requirements engineering
+- model.oml : Describes concepts and relations related to models
+- experiment.oml : Describes concepts related to experiments
+- validity.oml : Describes concepts related to validity
+
+
+

be.uantwerpen.msdl.vafl.ontology/src/oml/msdl.uantwerpen.be/vafl/vocabulary/actor.oml

@@ -5,10 +5,7 @@ vocabulary <http://msdl.uantwerpen.be/vafl/vocabulary/actor#> as actor {
 	
 	@rdfs:comment "The class of entities that perform activities"
 	aspect Actor :> resource:NamedElement
-    
-    @rdfs:comment "The class of entities that are performed by actors to result in a desired outcome"
-    aspect Activity :> resource:NamedElement
-    
+     
     @rdfs:comment "The set of relations of permission between resources"    
     relation entity ResourcePermissionResource [
     	from resource:Resource
@@ -19,14 +16,17 @@ vocabulary <http://msdl.uantwerpen.be/vafl/vocabulary/actor#> as actor {
     	transitive
     ]
     
-    @rdfs:comment "The set of relations between actor-resource permissions and the permitted activity"
-    relation entity PermissionTypeActivity [
-    	from ResourcePermissionResource
-    	to Activity
-    	forward isPermittedPerformActivity
-    	reverse isActivityOfPermission
-    	irreflexive
-    	asymmetric
+    @rdfs:comment "Enumeration for the access level of a permission"
+    enumerated scalar AccessType [
+    	"Execute",
+    	"Read",
+    	"Write"
+    ]
+    
+    @rdfs:comment "The set of AccessType properties of permissions"
+    scalar property hasAccessType [
+    	domain ResourcePermissionResource
+    	range AccessType
     ]
     
     @rdfs:comment "The set of relations between actors and resources they are permitted to"    
@@ -35,36 +35,15 @@ vocabulary <http://msdl.uantwerpen.be/vafl/vocabulary/actor#> as actor {
     	to resource:Resource
     	forward hasActorPermissionToResource
     	reverse isPermittedToActor
-    	irreflexive
-    	asymmetric
-    	transitive
-    ]
-    
-    // Access levels
-    
-    @rdfs:comment "The concrete class of activities that are the performance of an instruction or program (black box)"
-    concept ExecuteActivity :> Activity
-    
-    @rdfs:comment "The concrete class of activities that are interpretation of data within a resource (white box)"
-    concept ReadActivity :> Activity
-    
-    @rdfs:comment "The concrete class of activities that are modification of the contents of a resource"
-    concept ModifyActivity :> Activity
-    
-    rule ReadPermissionImpliesExecutePermission [
-    	ResourcePermissionResource(p1) ^ ReadActivity(a1) ^ isPermittedPerformActivity(p1,a1) ^ ExecuteActivity(a2) -> isPermittedPerformActivity(p1,a2)  
-    ]
-    
-    rule ModifyPermissionImpliesReadPermission [
-    	ActorPermissionResource(p1) ^ ModifyActivity(a1) ^ isPermittedPerformActivity(p1,a1) ^ ReadActivity(a2) -> isPermittedPerformActivity(p1,a2)  
-    ]
+    ]	
     
     // Role-based Access Control 
     //TODO: refer to INCITS 359-2012 (R2022) standard
     
     @rdfs:comment "The class of job functions or titles which defines an actors level of authority"
-    concept Role
+    concept Role :> resource:IdentifiedElement
     
+    @rdfs:comment "The set of relations between actors and their roles"
     relation entity ActorHaveRole [
     	from Actor
     	to Role
@@ -74,6 +53,7 @@ vocabulary <http://msdl.uantwerpen.be/vafl/vocabulary/actor#> as actor {
     	asymmetric
     ]
     
+    @rdfs:comment "The set of relations between roles and and the resources they are permitted to"
     relation entity RolePermissionResource :> ResourcePermissionResource [
     	from Role
     	to resource:Resource
@@ -84,14 +64,17 @@ vocabulary <http://msdl.uantwerpen.be/vafl/vocabulary/actor#> as actor {
     	transitive
     ]
     
-    rule ActorRolePermission [
-    	Actor(a1) ^ Role(ro1) ^ resource:Resource(r1) ^ hasRole(a1,ro1) ^ RolePermissionResource(ro1,rp1,r1) ^ isPermittedPerformActivity (rp1,ac1) -> 
-    	ActorPermissionResource(ro1,rp2,r1) ^ isPermittedPerformActivity (rp2,ac1)
-    ]
+    @rdfs:comment "Rule to specify that an actor inherits the permissions of their role"
+	rule ActorRolePermission [
+		Actor(a1) ^ Role(ro1) ^ resource:Resource(r1) ^ hasRole(a1,ro1) ^ RolePermissionResource(ro1,rp1,r1) ^ hasAccessType(rp1,al) -> ActorPermissionResource(ro1,rp2,r1) ^ hasAccessType (rp2,al)
+	]
     
     // Capability-based Security
-    concept Capability
     
+    @rdfs:comment "The class of capabilities of actors"
+    concept Capability :> resource:Resource
+    
+    @rdfs:comment "The set of relations between actors and capabilities they have"
     relation entity ActorHaveCapability [
     	from Actor
     	to Capability
@@ -101,11 +84,11 @@ vocabulary <http://msdl.uantwerpen.be/vafl/vocabulary/actor#> as actor {
     	asymmetric
     ]
     
-    relation entity CapabilityPerformActivity [
+    @rdfs:comment "The set of relations between capabilities and their resource" 
+    relation entity CapabilityHaveResource :> ResourcePermissionResource [
     	from Capability
-    	to Activity
-    	forward toPerformActivity
-    	reverse isPerformedByCapability
-    ]
-    
+    	to resource:Resource
+    	forward isCapableToResource
+    	reverse isPartOfCapability
+    ]    
 }

be.uantwerpen.msdl.vafl.ontology/src/oml/msdl.uantwerpen.be/vafl/vocabulary/experiment.oml

@@ -1,2 +1,3 @@
 vocabulary <http://msdl.uantwerpen.be/vafl/vocabulary/experiment#> as experiment {
+	
 }

be.uantwerpen.msdl.vafl.ontology/src/oml/msdl.uantwerpen.be/vafl/vocabulary/frame.oml

@@ -0,0 +1,52 @@
+vocabulary <http://msdl.uantwerpen.be/vafl/vocabulary/frame#> as frame {
+	
+	extends <http://www.w3.org/2000/01/rdf-schema#> as rdfs
+	extends <http://msdl.uantwerpen.be/vafl/vocabulary/resource#> as resource
+	extends <http://msdl.uantwerpen.be/vafl/vocabulary/system#> as system
+	extends <http://msdl.uantwerpen.be/vafl/vocabulary/requirement#> as requirement
+	
+	@rdfs:comment "The abstract set of circumstances that form the setting for an event"
+    aspect Context :> resource:IdentifiedElement
+    
+    @rdfs:comment "The set of containment relations between contexts"
+    relation entity ContextContainment [
+    	from Context
+    	to Context
+    	forward containsContext
+    	reverse isContainedInContext
+    	reflexive
+    	transitive
+    	asymmetric
+    ]
+    
+    @rdfs:comment "The abstract set of circumstances in which systems operate"
+    aspect SystemContext :> Context
+    
+    @rdfs:comment "The abstract set of circumstances of a particular goal associated with systems"
+    aspect GoalContext :> Context
+    
+    @rdfs:comment "The set of relations between systems and their contexts"
+    relation entity SystemHaveContext [
+    	from system:System
+    	to SystemContext
+    	forward hasSystemContext
+    	reverse isContextOfSystem
+    	irreflexive
+    	asymmetric
+    ]
+    
+    @rdfs:comment "The set of relations between goals and their contexts"
+    @rdfs:label "System-Goal-Context triplet"
+    relation entity SystemGoalHaveContext [
+    	from requirement:SystemHaveGoal
+    	to GoalContext
+    	forward hasSystemGoalContext
+    	reverse isContextOfSystemGoal
+    	irreflexive
+    	asymmetric
+    ]
+    
+    rule SystemGoalContextContainment [
+    	hasSystemContext(s1,c1) ^ requirement:hasGoal(s1,g1) ^ hasSystemGoalContext(g1,c2) -> containsContext(c1,c2)
+    ]
+}

be.uantwerpen.msdl.vafl.ontology/src/oml/msdl.uantwerpen.be/vafl/vocabulary/human.oml

@@ -7,13 +7,27 @@ vocabulary <http://msdl.uantwerpen.be/vafl/vocabulary/human#> as human {
 	@rdfs:comment "The class of human elements"
     aspect HumanElement :> actor:Actor
     
+    @rdfs:comment "The class of human elements with a vested interest or stake, in a resource"
+    aspect Stakeholder :> HumanElement
+    
+    @rdfs:comment "The set of relations between stakeholders and they resources they have a stake in"
+    relation entity StakeholderStakeResource [
+    	from Stakeholder
+    	to resource:Resource
+    	forward hasStakeInResource
+    	reverse hasStakeholder
+    	transitive
+    	irreflexive
+    	asymmetric
+    ]
+    
     @rdfs:comment "The class of human elements that own entities"
-    aspect Owner :> HumanElement
+    aspect Owner :> Stakeholder
     
     @rdfs:comment "The set of relations between elements and their owners."
-    relation entity OwnerOwnElement [
+    relation entity OwnerOwnElement :> StakeholderStakeResource [
     	from Owner
-    	to resource:IdentifiedElement
+    	to resource:Resource
     	forward ownsElement
     	reverse hasOwner
     	asymmetric
@@ -30,7 +44,7 @@ vocabulary <http://msdl.uantwerpen.be/vafl/vocabulary/human#> as human {
     ]
     
     @rdfs:comment "The set of relations between persons/organizations and their affiliation organizations."
-    relation entity HumanAffiliateOrganization [
+    relation entity HumanAffiliateOrganization :> StakeholderStakeResource [
     	from HumanElement
     	to Organization
     	forward isAffiliatedTo
@@ -44,4 +58,6 @@ vocabulary <http://msdl.uantwerpen.be/vafl/vocabulary/human#> as human {
     rule OrganiznOwnerAffiliation [
     	Organization (o1) ^ Organization (o2) ^ hasOwner (o2, o1) -> isAffiliatedTo (o2, o1)
     ]
+    
+    
 }

be.uantwerpen.msdl.vafl.ontology/src/oml/msdl.uantwerpen.be/vafl/vocabulary/model.oml

@@ -0,0 +1,14 @@
+vocabulary <http://msdl.uantwerpen.be/vafl/vocabulary/model#> as model {
+	
+	extends <http://www.w3.org/2000/01/rdf-schema#> as rdfs
+	extends <http://msdl.uantwerpen.be/vafl/vocabulary/resource#> as resource
+	extends <http://msdl.uantwerpen.be/vafl/vocabulary/system#> as system
+	
+	@rdfs:comment "A physical/virtual representation of system"
+	@rdfs:comment "A model is a representation of salient aspects of a system"
+	concept Model :> system:System
+	
+	
+	
+	
+}

be.uantwerpen.msdl.vafl.ontology/src/oml/msdl.uantwerpen.be/vafl/vocabulary/requirement.oml

@@ -0,0 +1,54 @@
+vocabulary <http://msdl.uantwerpen.be/vafl/vocabulary/requirement#> as requirement {
+	
+	extends <http://www.w3.org/2000/01/rdf-schema#> as rdfs
+	extends <http://msdl.uantwerpen.be/vafl/vocabulary/resource#> as resource
+	extends <http://msdl.uantwerpen.be/vafl/vocabulary/system#> as system
+	extends <http://bipm.org/jcgm/vim4#> as vim4
+	
+	@rdfs:seeAlso "IEEE-830-1998"
+	
+	@rdfs:comment "The abstract set of goals of systems"
+    aspect Goal :> resource:IdentifiedElement
+    
+	@rdfs:comment "The set of containment relations between goals"
+	relation entity GoalContainment [
+		from Goal
+		to Goal
+		forward containsGoal
+		reverse isGoalContainedIn
+		reflexive
+    	transitive
+    	asymmetric
+	]    
+    
+    @rdfs:comment "The set of relations between systems and their goals"
+    relation entity SystemHaveGoal [
+    	from system:System
+    	to Goal
+    	forward hasGoal
+    	reverse isGoalOf
+    	irreflexive
+    	asymmetric
+    ]
+    
+    @rdfs:comment "Rule to specify that contained goals are also goals of systems"
+    rule SystemHaveContainedGoal[
+    	hasGoal(s1,g1) ^ containsGoal(g1,g2) -> hasGoal(s1,g2)
+    ]
+
+	@rdfs:comment "A Requirement captures individual requirements and their description."
+	concept Requirement :> Goal
+	
+	@rdfs:comment ""
+	@rdfs:label "PoI"
+	concept PropertyOfInterest :> vim4:GeneralQuantity
+	
+	relation entity RequirementExpressPoI [
+		from Requirement
+		to PropertyOfInterest
+		forward isExpressedAsPoI
+		reverse expressesRequirement
+		irreflexive
+		asymmetric
+	]
+}

be.uantwerpen.msdl.vafl.ontology/src/oml/msdl.uantwerpen.be/vafl/vocabulary/resource.oml

@@ -3,6 +3,8 @@ vocabulary <http://msdl.uantwerpen.be/vafl/vocabulary/resource#> as resource {
 	extends <http://www.w3.org/2001/XMLSchema#> as xsd
 	extends <http://www.w3.org/2000/01/rdf-schema#> as rdfs
 	
+	annotation property seeAlsoDoI :> rdfs:seeAlso
+	
 	@rdfs:comment "The class of all materials which help us satisfy our needs and wants"
 	aspect Resource
 	

be.uantwerpen.msdl.vafl.ontology/src/oml/msdl.uantwerpen.be/vafl/vocabulary/system.oml

@@ -3,80 +3,99 @@ vocabulary <http://msdl.uantwerpen.be/vafl/vocabulary/system#> as system {
 	//extends <http://www.w3.org/2001/XMLSchema#> as xsd
 	extends <http://www.w3.org/2000/01/rdf-schema#> as rdfs
 	extends <http://msdl.uantwerpen.be/vafl/vocabulary/resource#> as resource
+
+	extends <http://msdl.uantwerpen.be/vafl/vocabulary/requirement#> as requirement
+
+	extends <http://msdl.uantwerpen.be/vafl/vocabulary/frame#> as frame
     
+    // Systems
+    
+    @rdfs:comment "The abstract class of sets of things working together as parts of a whole mechanism"
     aspect System :> resource:IdentifiedElement
     
-    @rdfs:comment "Enumeration for the cyber/physical character of a system."
+    @rdfs:comment "The set of containment relations between systems" 
+    relation entity SystemSubsystem [
+    	from System
+    	to System
+    	forward hasSubsystem
+    	reverse isSubsystemOf
+    	reflexive
+    	transitive
+    	asymmetric
+    ]
+    
+    // Character of Systems
+    
+    @rdfs:comment "Enumeration of the cyber/physical character of systems"
     enumerated scalar SystemCharacter [
     	"Cyber-Virtual",
     	"Physical-Real",
     	"Cyber-Physical-Hybrid"
     ]
     
+    @rdfs:comment "The set of SystemCharacter properties of systems"
     scalar property hasCharacter [
     	domain System
     	range SystemCharacter
     	functional	
-    ]
+    ]  
     
-    @rdfs:comment "The abstract set of goals of a system"
-    aspect Goal :> resource:IdentifiedElement
+    // Asset
     
-    relation entity SystemHaveGoal [
-    	from System
-    	to Goal
-    	forward hasGoal
-    	reverse isGoalOf
-    	irreflexive
-    	asymmetric
-    ]
+    @rdfs:comment "The set of entities owned by a person / organization having value as products offered to customers or consumed by itself. The asset should be able to meet all kinds of relevant goals in all possible contexts"
+    concept Asset :> resource:NamedElement, System
     
-    aspect Context :> resource:IdentifiedElement
-    aspect SystemContext :> Context
-    aspect GoalContext :> Context
-    
-    relation entity SystemHaveContext [
-    	from System
-    	to SystemContext
-    	forward hasSystemContext
-    	reverse isContextOfSystem
-    	irreflexive
+	// System-under-Study
+	
+	@rdfs:comment "The set of (part of the) asset that are studied in the validation experiment"
+	@rdfs:label "SuS"
+	@rdfs:label "Simuland"
+	concept SystemUnderStudy :> System [
+		restricts some relation isSubsystemOf to Asset
+	]
+	
+	@rdfs:comment "The set of relations between an Asset-Goal-Context triplet and the derived System-Under-Study. Since MPM advocates for most-appropriateness, the forward relation is functional"
+	relation entity AssetGoalContextDerivesSuS [
+    	from frame:SystemGoalHaveContext
+    	to SystemUnderStudy
+    	forward derivesSystemUnderStudy
+    	reverse isDerivedFromAssetGoalContext
+    	functional
     	asymmetric
-    ]
-    
-    relation entity GoalHaveContext [
-    	from SystemHaveGoal
-    	to GoalContext
-    	forward hasGoalContext
-    	reverse isContextOfGoal
     	irreflexive
-    	asymmetric
     ]
     
-    // have to figure out a way to specify that for a particular system, the context of the system's goal/s should be a subset of the system's context
-    
-    // Asset level
-    
-    @rdfs:comment "An asset is an entity owned by a person / organization having value as a product offered to customers or consumed by itself. The asset should be able to meet all kinds of relevant goals in all possible contexts."
-    concept Asset :> resource:NamedElement, System [
-    	
+    @rdfs:comment "Rule to specify that a SuS derived from Asset-Goal-Context triplet is a subsystem of the asset"
+    rule DerivedSuSSubsystemAsset [
+    	Asset(a) ^ requirement:SystemHaveGoal(a,sg,g) ^ frame:SystemGoalHaveContext(sg,sgc,c) ^ derivesSystemUnderStudy(sgc,sus) -> hasSubsystem(a,sus)
     ]
-    
-    
-    
-    concept Requirement :> Goal
-    
-    
-    concept PropertyOfInterest
-    
-    
-    
-    
-    concept ExperimentalFrame :> Context
-    
-    
-    
-    
-    
-    
+	
+	// Environment
+	
+	@rdfs:comment "The circumstances, objects, or conditions by which a system is surrounded. Entities and influences separate from a system"
+	@rdfs:label "Surroundings"
+	@rdfs:label "Environment"
+	concept OperatingEnvironment :> System, frame:Context
+	
+	@rdfs:comment "Enumeration of the behavior of the environment"
+	enumerated scalar EnvironmentBehavior [
+		"Normal",
+		"Abnormal",
+		"Hostile"
+	]
+	
+	@rdfs:comment "The set of EnvironmentBehavior properties of a system"
+	scalar property hasEnvironmentBehavior [
+		domain OperatingEnvironment
+		range EnvironmentBehavior
+		functional
+	]
+	
+	@rdfs:comment "The set of relations between a system and the environment it is exposed to"
+	relation entity SystemExposeEnvironment [
+		from System
+		to OperatingEnvironment
+		forward isExposedToEnvironment
+		reverse hasExposedSystem 
+	]    
 }

be.uantwerpen.msdl.vafl.ontology/src/oml/msdl.uantwerpen.be/vafl/vocabulary/validity.oml

@@ -1,18 +1,26 @@
 vocabulary <http://msdl.uantwerpen.be/vafl/vocabulary/validity#> as validity {
+	@resource:seeAlsoDoI "10.1177/1046878102238606"
 	
 	extends <http://www.w3.org/2000/01/rdf-schema#> as rdfs
+	extends <http://msdl.uantwerpen.be/vafl/vocabulary/resource#> as resource
 	
 	@rdfs:comment "Validity is the measure of a claim that it meets its goal. A model is a claim about the structure of a system. A simulation is a claim about the behavior of a system that is modeled. Hence, validity of models and simulations is a measure of their closeness to truth."
-	
 	aspect Validity
 	
-	@rdfs:comment "Fidelity is a measure "
+	@rdfs:comment "Fidelity is a measure of faithfulness of a model. It is a function of the model structure, which in turn is an explanation of the behavior of the model"
 	concept Fidelity :> Validity
 	
+	@rdfs:comment "The correctness of the explanations (in terms of model structure, etc) is a measure of fidelity"
 	concept Explainability :> Fidelity
 	
+	@rdfs:comment "The degree to which the result of a measurement, calculation, or specification conforms to the correct value"
 	concept Accuracy :> Validity
 	
+	concept Believability :> Validity
+	
+	concept FaceValidity :> Validity
+	
+	@rdfs:comment 
 	concept Simplicity :> Validity
 	
 	@rdfs:comment "Verisimilitude is closeness to truth"
@@ -30,7 +38,6 @@ vocabulary <http://msdl.uantwerpen.be/vafl/vocabulary/validity#> as validity {
 	
 	concept Reliability :> Validity
 	
-	
 	// ? Not for model/simulation maybe
 	concept Stability
 	

be.uantwerpen.msdl.vafl.ontology/src/oml/msdl.uantwerpen.be/vafl/vocabulary/workflow.oml

@@ -0,0 +1,2 @@
+vocabulary <http://msdl.uantwerpen.be/vafl/vocabulary/workflow#> as workflow {
+}