Skip to content

Commit

Permalink
Remove extra subtypes of wasGeneratedBy
Browse files Browse the repository at this point in the history
  • Loading branch information
@glguy
glguy committed Nov 19, 2021
1 parent 5dc29a9 commit c06b30f
Show file tree
Hide file tree
Showing 32 changed files with 881 additions and 1,003 deletions.
266 changes: 250 additions & 16 deletions Boeing-Ontology/OwlModels/Boeing.owl
View file
@@ -1,21 +1,85 @@
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:BoeingModel="http://arcos.AH-64D/Boeing#"
xmlns:Ag="http://arcos.rack/AGENTS#"
xmlns:builtinfunctions="http://sadl.org/builtinfunctions#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:CONFIDENCE="http://arcos.rack/CONFIDENCE#"
xmlns:Pr="http://arcos.rack/PROCESS#"
xmlns:sadlimplicitmodel="http://sadl.org/sadlimplicitmodel#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:Rv="http://arcos.rack/REVIEW#"
xmlns:D="http://arcos.rack/DOCUMENT#"
xmlns:sadlbasemodel="http://sadl.org/sadlbasemodel#"
xmlns:Rq="http://arcos.rack/REQUIREMENTS#"
xmlns:H="http://arcos.rack/HAZARD#"
xmlns:sw="http://arcos.rack/SOFTWARE#"
xmlns:M="http://arcos.rack/MODEL#"
xmlns:BoeingModel="http://arcos.AH-64D/Boeing#"
xmlns:sys="http://arcos.rack/SYSTEM#"
xmlns:An="http://arcos.rack/ANALYSIS#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:file="http://arcos.rack/FILE#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:tst="http://arcos.rack/TESTING#"
xml:base="http://arcos.AH-64D/Boeing">
<owl:Ontology rdf:about="">
<rdfs:comment xml:lang="en">This ontology was created from a SADL file 'Boeing.sadl' and should not be directly edited.</rdfs:comment>
<owl:imports rdf:resource="http://arcos.rack/PROCESS"/>
<owl:imports rdf:resource="http://arcos.rack/REVIEW"/>
<owl:imports rdf:resource="http://arcos.rack/TESTING"/>
<owl:imports rdf:resource="http://arcos.rack/REQUIREMENTS"/>
<owl:imports rdf:resource="http://arcos.rack/HAZARD"/>
<owl:imports rdf:resource="http://sadl.org/builtinfunctions"/>
<owl:imports rdf:resource="http://sadl.org/sadlimplicitmodel"/>
<owl:imports rdf:resource="http://arcos.rack/REQUIREMENTS"/>
<owl:imports rdf:resource="http://arcos.rack/MODEL"/>
<owl:imports rdf:resource="http://arcos.rack/ANALYSIS"/>
<owl:imports rdf:resource="http://arcos.rack/SYSTEM"/>
<owl:imports rdf:resource="http://arcos.rack/AGENTS"/>
<owl:imports rdf:resource="http://arcos.rack/FILE"/>
<owl:imports rdf:resource="http://arcos.rack/DOCUMENT"/>
<owl:imports rdf:resource="http://arcos.rack/SOFTWARE"/>
<owl:imports rdf:resource="http://sadl.org/sadlbasemodel"/>
<rdfs:comment xml:lang="en">This ontology was created from a SADL file 'Boeing-Ontology.sadl' and should not be directly edited.</rdfs:comment>
<owl:imports rdf:resource="http://arcos.rack/CONFIDENCE"/>
</owl:Ontology>
<owl:Class rdf:ID="SoftwareDesign">
<rdfs:subClassOf>
<owl:Restriction>
<owl:allValuesFrom>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:ID="SRS_Doc"/>
<owl:Class rdf:ID="SystemArchitecture"/>
</owl:unionOf>
</owl:Class>
</owl:allValuesFrom>
<owl:onProperty rdf:resource="http://arcos.rack/REQUIREMENTS#governedBy"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:allValuesFrom>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:ID="SoftwareHighLevelRequirementsDefinition"/>
<owl:Class rdf:ID="DevelopSystemArchitecture"/>
</owl:unionOf>
</owl:Class>
</owl:allValuesFrom>
<owl:onProperty rdf:resource="http://arcos.rack/PROV-S#wasInformedBy"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf rdf:resource="http://arcos.rack/REQUIREMENTS#REQUIREMENT_DEVELOPMENT"/>
</owl:Class>
<owl:Class rdf:ID="SystemRequirementsDefinition">
<rdfs:subClassOf>
<owl:Restriction>
<owl:allValuesFrom>
<owl:Class rdf:ID="DevelopSystemConOps"/>
</owl:allValuesFrom>
<owl:onProperty rdf:resource="http://arcos.rack/PROV-S#wasInformedBy"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf rdf:resource="http://arcos.rack/REQUIREMENTS#REQUIREMENT_DEVELOPMENT"/>
</owl:Class>
<owl:Class rdf:ID="SubDD_Req">
<rdfs:subClassOf>
<owl:Restriction>
Expand All @@ -28,37 +92,207 @@
<rdfs:comment xml:lang="en">A Requirement identified in the Subsystem Design Document</rdfs:comment>
<rdfs:subClassOf rdf:resource="http://arcos.rack/REQUIREMENTS#REQUIREMENT"/>
</owl:Class>
<owl:Class rdf:about="#SRS_Req">
<rdfs:comment xml:lang="en">A Requirement identified in the Software Requirements Specification</rdfs:comment>
<rdfs:subClassOf rdf:resource="http://arcos.rack/REQUIREMENTS#REQUIREMENT"/>
<owl:Class rdf:about="#DevelopSystemArchitecture">
<rdfs:subClassOf>
<owl:Restriction>
<owl:allValuesFrom>
<owl:Class rdf:ID="SystemConOps"/>
</owl:allValuesFrom>
<owl:onProperty rdf:resource="http://arcos.rack/PROV-S#used"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:allValuesFrom>
<owl:Class rdf:about="#DevelopSystemConOps"/>
</owl:allValuesFrom>
<owl:onProperty rdf:resource="http://arcos.rack/PROV-S#wasInformedBy"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf rdf:resource="http://arcos.rack/PROV-S#ACTIVITY"/>
</owl:Class>
<owl:Class rdf:ID="SBVT_Test">
<owl:Class rdf:ID="SoftwareCoding">
<rdfs:subClassOf>
<owl:Restriction>
<owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
>1</owl:minCardinality>
<owl:onProperty rdf:resource="http://arcos.rack/TESTING#verifies"/>
<owl:allValuesFrom rdf:resource="#SoftwareDesign"/>
<owl:onProperty rdf:resource="http://arcos.rack/PROV-S#wasInformedBy"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:comment xml:lang="en">A test identified in the Software Baseline Verification Tests</rdfs:comment>
<rdfs:subClassOf rdf:resource="http://arcos.rack/TESTING#TEST"/>
<rdfs:subClassOf rdf:resource="http://arcos.rack/SOFTWARE#CODE_DEVELOPMENT"/>
</owl:Class>
<owl:Class rdf:ID="PIDS_Req">
<rdfs:comment xml:lang="en">A Requirement identified in the Prime Item Development Specification</rdfs:comment>
<owl:Class rdf:about="#SoftwareHighLevelRequirementsDefinition">
<rdfs:subClassOf>
<owl:Restriction>
<owl:allValuesFrom>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:ID="PIDS_Doc"/>
<owl:Class rdf:about="#SystemArchitecture"/>
</owl:unionOf>
</owl:Class>
</owl:allValuesFrom>
<owl:onProperty rdf:resource="http://arcos.rack/REQUIREMENTS#governedBy"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:allValuesFrom>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="#SystemRequirementsDefinition"/>
<owl:Class rdf:about="#DevelopSystemArchitecture"/>
</owl:unionOf>
</owl:Class>
</owl:allValuesFrom>
<owl:onProperty rdf:resource="http://arcos.rack/PROV-S#wasInformedBy"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf rdf:resource="http://arcos.rack/REQUIREMENTS#REQUIREMENT_DEVELOPMENT"/>
</owl:Class>
<owl:Class rdf:about="#SRS_Doc">
<rdfs:subClassOf>
<owl:Restriction>
<owl:allValuesFrom rdf:resource="#SoftwareHighLevelRequirementsDefinition"/>
<owl:onProperty rdf:resource="#createdBy"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:allValuesFrom>
<owl:Class rdf:about="#SRS_Req"/>
</owl:allValuesFrom>
<owl:onProperty rdf:resource="http://arcos.rack/PROV-S#content"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf rdf:resource="http://arcos.rack/DOCUMENT#DOCUMENT"/>
</owl:Class>
<owl:Class rdf:ID="SubDD_Doc">
<rdfs:subClassOf>
<owl:Restriction>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
>1</owl:maxCardinality>
<owl:onProperty rdf:resource="http://arcos.rack/REQUIREMENTS#governs"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:allValuesFrom>
<owl:Class rdf:about="http://arcos.rack/SOFTWARE#SWCOMPONENT"/>
</owl:allValuesFrom>
<owl:onProperty rdf:resource="http://arcos.rack/REQUIREMENTS#governs"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:allValuesFrom rdf:resource="#SoftwareDesign"/>
<owl:onProperty rdf:resource="#createdBy"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:allValuesFrom rdf:resource="#SubDD_Req"/>
<owl:onProperty rdf:resource="http://arcos.rack/PROV-S#content"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf rdf:resource="http://arcos.rack/DOCUMENT#DOCUMENT"/>
</owl:Class>
<owl:Class rdf:about="#DevelopSystemConOps">
<rdfs:subClassOf>
<owl:Restriction>
<owl:allValuesFrom>
<owl:Class rdf:about="http://arcos.rack/AGENTS#PERSON"/>
</owl:allValuesFrom>
<owl:onProperty rdf:resource="http://arcos.rack/PROV-S#wasAssociatedWith"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf rdf:resource="http://arcos.rack/PROV-S#ACTIVITY"/>
</owl:Class>
<owl:Class rdf:about="#SystemArchitecture">
<rdfs:subClassOf>
<owl:Restriction>
<owl:allValuesFrom rdf:resource="#DevelopSystemArchitecture"/>
<owl:onProperty rdf:resource="http://arcos.rack/PROV-S#wasGeneratedBy"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:comment xml:lang="en">specification of system architecture</rdfs:comment>
<rdfs:subClassOf rdf:resource="http://arcos.rack/PROV-S#ENTITY"/>
</owl:Class>
<owl:Class rdf:about="#PIDS_Doc">
<rdfs:subClassOf>
<owl:Restriction>
<owl:allValuesFrom rdf:resource="#SystemRequirementsDefinition"/>
<owl:onProperty rdf:resource="http://arcos.rack/PROV-S#wasGeneratedBy"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:allValuesFrom>
<owl:Class rdf:ID="PIDS_Req"/>
</owl:allValuesFrom>
<owl:onProperty rdf:resource="http://arcos.rack/PROV-S#content"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf rdf:resource="http://arcos.rack/DOCUMENT#DOCUMENT"/>
</owl:Class>
<owl:Class rdf:about="#SystemConOps">
<rdfs:subClassOf>
<owl:Restriction>
<owl:allValuesFrom rdf:resource="#DevelopSystemConOps"/>
<owl:onProperty rdf:resource="http://arcos.rack/PROV-S#wasGeneratedBy"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf rdf:resource="http://arcos.rack/PROV-S#ENTITY"/>
</owl:Class>
<owl:Class rdf:about="#SRS_Req">
<rdfs:comment xml:lang="en">A Requirement identified in the Software Requirements Specification</rdfs:comment>
<rdfs:subClassOf rdf:resource="http://arcos.rack/REQUIREMENTS#REQUIREMENT"/>
</owl:Class>
<owl:Class rdf:ID="CSID_Req">
<rdfs:comment xml:lang="en">A Requirement identified in the Crew Systems Interface Document</rdfs:comment>
<rdfs:subClassOf rdf:resource="http://arcos.rack/REQUIREMENTS#REQUIREMENT"/>
</owl:Class>
<owl:Class rdf:about="#PIDS_Req">
<rdfs:comment xml:lang="en">A Requirement identified in the Prime Item Development Specification</rdfs:comment>
<rdfs:subClassOf rdf:resource="http://arcos.rack/REQUIREMENTS#REQUIREMENT"/>
</owl:Class>
<owl:Class rdf:ID="SBVT_Result">
<rdfs:subClassOf>
<owl:Restriction>
<owl:allValuesFrom rdf:resource="#SBVT_Test"/>
<owl:allValuesFrom>
<owl:Class rdf:ID="SBVT_Test"/>
</owl:allValuesFrom>
<owl:onProperty rdf:resource="http://arcos.rack/TESTING#confirms"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:comment xml:lang="en">A result identified for a SBVT_Test (Software Baseline Verification Tests)</rdfs:comment>
<rdfs:subClassOf rdf:resource="http://arcos.rack/TESTING#TEST_RESULT"/>
</owl:Class>
<owl:Class rdf:about="#SBVT_Test">
<rdfs:subClassOf>
<owl:Restriction>
<owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
>1</owl:minCardinality>
<owl:onProperty rdf:resource="http://arcos.rack/TESTING#verifies"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:comment xml:lang="en">A test identified in the Software Baseline Verification Tests</rdfs:comment>
<rdfs:subClassOf rdf:resource="http://arcos.rack/TESTING#TEST"/>
</owl:Class>
<owl:Class rdf:about="http://arcos.rack/SOFTWARE#SWCOMPONENT">
<rdfs:comment xml:lang="en">A concrete software component</rdfs:comment>
<rdfs:subClassOf rdf:resource="http://arcos.rack/PROV-S#ENTITY"/>
</owl:Class>
<owl:Class rdf:about="http://arcos.rack/AGENTS#PERSON">
<rdfs:comment xml:lang="en">Person agents are people - alias for User</rdfs:comment>
<rdfs:subClassOf rdf:resource="http://arcos.rack/PROV-S#AGENT"/>
</owl:Class>
<owl:ObjectProperty rdf:ID="conOpsDocs">
<rdfs:range rdf:resource="http://arcos.rack/DOCUMENT#DOCUMENT"/>
<rdfs:domain rdf:resource="#SystemConOps"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:ID="isArchitectureOf">
<rdfs:subPropertyOf rdf:resource="http://arcos.rack/PROV-S#wasImpactedBy"/>
<rdfs:range rdf:resource="http://arcos.rack/SYSTEM#SYSTEM"/>
<rdfs:domain rdf:resource="#SystemArchitecture"/>
</owl:ObjectProperty>
</rdf:RDF>
11 changes: 8 additions & 3 deletions GrammaTech-Ontology/OwlModels/GrammaTech.owl
View file
@@ -1,13 +1,18 @@
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:j.0="http://arcos.rack/PROV-S#"
xmlns:builtinfunctions="http://sadl.org/builtinfunctions#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:Acert="http://arcos.acert/GrammaTech#"
xmlns:sadlimplicitmodel="http://sadl.org/sadlimplicitmodel#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:D="http://arcos.rack/DOCUMENT#"
xmlns:sadlbasemodel="http://sadl.org/sadlbasemodel#"
xmlns:Rq="http://arcos.rack/REQUIREMENTS#"
xmlns:sw="http://arcos.rack/SOFTWARE#"
xmlns:M="http://arcos.rack/MODEL#"
xmlns:j.0="http://arcos.rack/PROV-S#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:Acert="http://arcos.acert/GrammaTech#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:tst="http://arcos.rack/TESTING#"
xml:base="http://arcos.acert/GrammaTech">
<owl:Ontology rdf:about="">
<owl:imports rdf:resource="http://arcos.rack/MODEL"/>
Expand Down
1 change: 1 addition & 0 deletions RACK-Ontology/OwlModels/.gitignore
View file
Expand Up @@ -36,3 +36,4 @@
/GenerateCSVQueries.owl
/RunCSVQueries.owl
/FILE.owl
/BASELINE.owl
17 changes: 17 additions & 0 deletions RACK-Ontology/OwlModels/AGENTS.owl
View file
Expand Up @@ -26,6 +26,15 @@
</owl:onProperty>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
>1</owl:maxCardinality>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="toolInstallationConfiguration"/>
</owl:onProperty>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:comment xml:lang="en">An aid (software, hardware, etc) that automates the performance of an activity.</rdfs:comment>
<rdfs:subClassOf rdf:resource="PROV-S#AGENT"/>
</owl:Class>
Expand All @@ -47,6 +56,14 @@
<rdfs:comment xml:lang="en">Person agents are people - alias for User</rdfs:comment>
<rdfs:subClassOf rdf:resource="PROV-S#AGENT"/>
</owl:Class>
<owl:ObjectProperty rdf:about="#toolInstallationConfiguration">
<rdfs:range rdf:resource="PROV-S#ENTITY"/>
<rdfs:domain rdf:resource="#TOOL"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:ID="wasQualifiedBy">
<rdfs:range rdf:resource="PROV-S#ENTITY"/>
<rdfs:domain rdf:resource="#TOOL"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="#employedBy">
<rdfs:subPropertyOf rdf:resource="PROV-S#actedOnBehalfOf"/>
<rdfs:comment xml:lang="en">Relates people to the company they were acting on behalf of.</rdfs:comment>
Expand Down

0 comments on commit c06b30f

Please sign in to comment.