diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-10 17:39:08 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-10 17:39:08 +0000 |
| commit | 922bc8e4e4f28f1c843873721eab5ebaec1d0c5b (patch) | |
| tree | 08496cd822d8e12ad114b6fc68f74bdf1b6308a6 /examples | |
| parent | 43234b253a74e71977ce29d0c7e2947e64fc6966 (diff) | |
| download | RSAComb-922bc8e4e4f28f1c843873721eab5ebaec1d0c5b.tar.gz RSAComb-922bc8e4e4f28f1c843873721eab5ebaec1d0c5b.zip | |
Fix typo in example 1 (Turtle file)
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/example1.ttl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/example1.ttl b/examples/example1.ttl index 8862f88..02148f0 100644 --- a/examples/example1.ttl +++ b/examples/example1.ttl | |||
| @@ -26,7 +26,7 @@ | |||
| 26 | 26 | ||
| 27 | [ rdf:type owl:Restriction ; | 27 | [ rdf:type owl:Restriction ; |
| 28 | owl:onProperty :S ; | 28 | owl:onProperty :S ; |
| 29 | owl:someValuesFrom :B | 29 | owl:someValuesFrom :A |
| 30 | ] rdfs:subClassOf :D . | 30 | ] rdfs:subClassOf :D . |
| 31 | 31 | ||
| 32 | :D rdf:type owl:Class ; | 32 | :D rdf:type owl:Class ; |