Skip to content

Commit 674d8f0

Browse files
committed
Small wording tweak
1 parent 866b623 commit 674d8f0

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

tools/subclass_inferences/materialize_subclass_inferences.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ def run_reasoner(input_ttl, output_ttl):
4141
(OWL.imports, URIRef("https://w3id.org/semanticarts/ontology/gistCore")),
4242
(SKOS.definition, Literal("Supplementary subclass assertions for gistCore.", datatype=XSD.string)),
4343
(SKOS.prefLabel, Literal("gist Subclass Assertions")),
44-
(SKOS.scopeNote, Literal("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, even though 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.", datatype=XSD.string)),
44+
(SKOS.scopeNote, Literal("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.", datatype=XSD.string)),
4545
(GIST.license, Literal("https://creativecommons.org/licenses/by-sa/3.0/", datatype=XSD.string))
4646
]
4747

0 commit comments

Comments
 (0)