Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

897 owl imports #976

Merged
merged 4 commits into from
Oct 12, 2023
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions docs/release_notes/897-owl-imports.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
### Minor Updates

- Changed gist import in `gistPrefixDeclarations`, `gistSubClassAssertions`, and `gistValidationAnnotations` to use a versioned IRI, and add version IRIs of their own. Issue [#897](https://github.com/semanticarts/gist/issues/897).

3 changes: 3 additions & 0 deletions gistPrefixDeclarations.ttl
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
# imports: https://w3id.org/semanticarts/ontology/gistCoreX.x.x

@prefix gist: <https://w3id.org/semanticarts/ns/ontology/gist/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
Expand All @@ -8,6 +10,7 @@

<https://w3id.org/semanticarts/ontology/gistPrefixDeclarations>
a owl:Ontology ;
owl:imports <https://w3id.org/semanticarts/ontology/gistCoreX.x.x> ;
owl:versionIRI <https://w3id.org/semanticarts/ontology/gistPrefixDeclarationsX.x.x> ;
skos:definition "Prefix declarations, which pair a prefix with a namespace, used in the gist ontology. Provided to support applications such as visualizers."^^xsd:string ;
skos:prefLabel "gist Prefix Declarations"^^xsd:string ;
Expand Down
5 changes: 3 additions & 2 deletions gistSubClassAssertions.ttl
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# imports: https://w3id.org/semanticarts/ontology/gistCore
# imports: https://w3id.org/semanticarts/ontology/gistCoreX.x.x

@prefix gist: <https://w3id.org/semanticarts/ns/ontology/gist/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
Expand All @@ -9,7 +9,8 @@

<https://w3id.org/semanticarts/ontology/gistSubClassAssertions>
a owl:Ontology ;
owl:imports <https://w3id.org/semanticarts/ontology/gistCore> ;
owl:imports <https://w3id.org/semanticarts/ontology/gistCoreX.x.x> ;
owl:versionIRI <https://w3id.org/semanticarts/ontology/gistSubClassAssertionsX.x.x> ;
skos:definition "Supplementary subclass assertions for gistCore."^^xsd:string ;
skos:prefLabel "gist Subclass Assertions"^^xsd:string ;
skos:scopeNote "This ontology contains supplementary subclass assertions that are logically entailed by gistCore but are not inferred by some automated reasoners. For example, an OWL RL reasoner would not infer that gist:Commitment is a subclass of gist:Intention, although it follows from the ontology axioms. More precisely, it contains (1) subclass assertions derived using an OWL DL reasoner and (2) the subclass assertions that are already explicit in gistCore."^^xsd:string ;
Expand Down
5 changes: 3 additions & 2 deletions gistValidationAnnotations.ttl
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# imports: https://w3id.org/semanticarts/ontology/gistCore
# imports: https://w3id.org/semanticarts/ontology/gistCoreX.x.x

@prefix gist: <https://w3id.org/semanticarts/ns/ontology/gist/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
Expand All @@ -10,7 +10,8 @@

<https://w3id.org/semanticarts/ontology/gistValidationAnnotations>
a owl:Ontology ;
owl:imports <https://w3id.org/semanticarts/ontology/gistCore> ;
owl:imports <https://w3id.org/semanticarts/ontology/gistCoreX.x.x> ;
owl:versionIRI <https://w3id.org/semanticarts/ontology/gistValidationAnnotationsX.x.x> ;
skos:definition "Annotations to assist gist ontology validation."^^xsd:string ;
skos:prefLabel "gist Validation Annotations"^^xsd:string ;
gist:license "https://creativecommons.org/licenses/by-sa/3.0/"^^xsd:string ;
Expand Down