Skip to content

Commit

Permalink
Removed 2 inverse properties in SYSTEM.sadl (#523)
Browse files Browse the repository at this point in the history
  • Loading branch information
AbhaMoitra committed Aug 10, 2021
1 parent e34f60e commit 42ceaff
Show file tree
Hide file tree
Showing 4 changed files with 44 additions and 4 deletions.
2 changes: 0 additions & 2 deletions RACK-Ontology/OwlModels/SYSTEM.owl
Expand Up @@ -87,7 +87,6 @@
</owl:ObjectProperty>
<owl:ObjectProperty rdf:ID="source">
<rdfs:subPropertyOf rdf:resource="PROV-S#wasImpactedBy"/>
<owl:inverseOf rdf:resource="#provides"/>
<rdfs:comment xml:lang="en">SYSTEM that provides what the INTERFACE offers</rdfs:comment>
<rdfs:range rdf:resource="#SYSTEM"/>
<rdfs:domain rdf:resource="#INTERFACE"/>
Expand Down Expand Up @@ -121,7 +120,6 @@
</owl:ObjectProperty>
<owl:ObjectProperty rdf:ID="destination">
<rdfs:subPropertyOf rdf:resource="PROV-S#wasImpactedBy"/>
<owl:inverseOf rdf:resource="#requires"/>
<rdfs:comment xml:lang="en">SYSTEM that requires what the INTERFACE offers</rdfs:comment>
<rdfs:range rdf:resource="#SYSTEM"/>
<rdfs:domain rdf:resource="#INTERFACE"/>
Expand Down
3 changes: 1 addition & 2 deletions RACK-Ontology/ontology/SYSTEM.sadl
Expand Up @@ -14,6 +14,7 @@
*
* dwa - 11 Nov 2020 - removed incorrect usages of relationships
* dwa - 11 Nov 2020 - added that developedBy is a type of wasAssociatedWith
* am - 27 July 2021 - removed 2 inverse relationships
*
*********************************************/

Expand Down Expand Up @@ -46,11 +47,9 @@ INTERFACE
commodity describes INTERFACE with at most 1 value.

source (note "SYSTEM that provides what the INTERFACE offers") describes INTERFACE with values of type SYSTEM.
source is the inverse of provides.
source is a type of wasImpactedBy.

destination (note "SYSTEM that requires what the INTERFACE offers") describes INTERFACE with values of type SYSTEM.
destination is the inverse of requires.
destination is a type of wasImpactedBy.

identifiedBy (note "ACTIVITY out of which this INTERFACE was identified") describes INTERFACE with values of type ACTIVITY.
Expand Down
11 changes: 11 additions & 0 deletions STR-Ontology/OwlModels/SadlBaseModel.owl
@@ -0,0 +1,11 @@
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:sadlbasemodel="http://sadl.org/sadlbasemodel#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xml:base="http://sadl.org/sadlbasemodel">
<owl:Ontology rdf:about="">
<rdfs:comment xml:lang="en">Base model for SADL. These concepts can be used without importing.</rdfs:comment>
</owl:Ontology>
</rdf:RDF>
32 changes: 32 additions & 0 deletions STR-Ontology/OwlModels/SadlListModel.owl
@@ -0,0 +1,32 @@
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:sadllistmodel="http://sadl.org/sadllistmodel#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xml:base="http://sadl.org/sadllistmodel">
<owl:Ontology rdf:about="">
<rdfs:comment xml:lang="en">Typed List model for SADL.</rdfs:comment>
</owl:Ontology>
<owl:Class rdf:ID="List"/>
<owl:ObjectProperty rdf:ID="rest">
<rdfs:range rdf:resource="#List"/>
<rdfs:domain rdf:resource="#List"/>
</owl:ObjectProperty>
<rdf:Property rdf:ID="first">
<rdfs:domain rdf:resource="#List"/>
</rdf:Property>
<owl:DatatypeProperty rdf:ID="maxLengthRestriction">
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#int"/>
<rdfs:domain rdf:resource="#List"/>
</owl:DatatypeProperty>
<owl:DatatypeProperty rdf:ID="lengthRestriction">
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#int"/>
<rdfs:domain rdf:resource="#List"/>
</owl:DatatypeProperty>
<owl:DatatypeProperty rdf:ID="minLengthRestriction">
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#int"/>
<rdfs:domain rdf:resource="#List"/>
</owl:DatatypeProperty>
<owl:AnnotationProperty rdf:ID="listtype"/>
</rdf:RDF>

0 comments on commit 42ceaff

Please sign in to comment.