skolemize blank node

hobbit-project · May 8, 2018 · 7ab24dd · 7ab24dd
1 parent ae5a357
commit 7ab24dd
Show file tree

Hide file tree

Showing 3 changed files with 122 additions and 122 deletions.
diff --git a/required_files/ontologies/company.1.4.nt b/required_files/ontologies/company.1.4.nt
@@ -25,26 +25,26 @@
 <http://www.bbc.co.uk/ontologies/bbc/Platform> <http://www.w3.org/2000/01/rdf-schema#comment> "Enumerated class representing the different types of platforms for which a WebDocument is appropriate for. Currently either 'highweb' or 'mobile' if the page is highweb or mobile. This is used to derive the correct web document for consumption from the appropriate platform. If there's no specification on platform suitability then the document is considered to be suitable for both (responsive or mobile version not available-TBC)"^^<http://www.w3.org/2001/XMLSchema#string> .
 <http://www.bbc.co.uk/ontologies/bbc/Platform> <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://www.bbc.co.uk/ontologies/bbc/> .
 <http://www.bbc.co.uk/ontologies/bbc/Platform> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2002/07/owl#Thing> .
-<http://www.bbc.co.uk/ontologies/bbc/Platform> <http://www.w3.org/2002/07/owl#oneOf> _:companygenid1 .
-_:companygenid1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/bbc/HighWeb> .
-_:companygenid1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:companygenid2 .
-_:companygenid2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/bbc/Mobile> .
-_:companygenid2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
+<http://www.bbc.co.uk/ontologies/bbc/Platform> <http://www.w3.org/2002/07/owl#oneOf> <http://SKNB#companygenid1> .
+<http://SKNB#companygenid1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/bbc/HighWeb> .
+<http://SKNB#companygenid1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://SKNB#companygenid2> .
+<http://SKNB#companygenid2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/bbc/Mobile> .
+<http://SKNB#companygenid2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 <http://www.bbc.co.uk/ontologies/bbc/Product> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
 <http://www.bbc.co.uk/ontologies/bbc/Product> <http://www.w3.org/2000/01/rdf-schema#comment> "Enumerated class representing the different products by which web pages and data are created. Inside the BBC, this would be a 'product' in an editorial sense. Outside the BBC, this could refer to an organisation or company. Typically the hompage of the website of the product. Used to allow differentiation between links to provide additional functionality like icons but also to filter the different datasets provided by various clients of the LDP"^^<http://www.w3.org/2001/XMLSchema#string> .
 <http://www.bbc.co.uk/ontologies/bbc/Product> <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://www.bbc.co.uk/ontologies/bbc/> .
 <http://www.bbc.co.uk/ontologies/bbc/Product> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2002/07/owl#Thing> .
-<http://www.bbc.co.uk/ontologies/bbc/Product> <http://www.w3.org/2002/07/owl#oneOf> _:companygenid3 .
-_:companygenid3 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/bbc/Blogs> .
-_:companygenid3 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:companygenid4 .
-_:companygenid4 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/bbc/Education> .
-_:companygenid4 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:companygenid5 .
-_:companygenid5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/bbc/Music> .
-_:companygenid5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:companygenid6 .
-_:companygenid6 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/bbc/News> .
-_:companygenid6 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:companygenid7 .
-_:companygenid7 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/bbc/Sport> .
-_:companygenid7 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
+<http://www.bbc.co.uk/ontologies/bbc/Product> <http://www.w3.org/2002/07/owl#oneOf> <http://SKNB#companygenid3> .
+<http://SKNB#companygenid3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/bbc/Blogs> .
+<http://SKNB#companygenid3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://SKNB#companygenid4> .
+<http://SKNB#companygenid4> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/bbc/Education> .
+<http://SKNB#companygenid4> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://SKNB#companygenid5> .
+<http://SKNB#companygenid5> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/bbc/Music> .
+<http://SKNB#companygenid5> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://SKNB#companygenid6> .
+<http://SKNB#companygenid6> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/bbc/News> .
+<http://SKNB#companygenid6> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://SKNB#companygenid7> .
+<http://SKNB#companygenid7> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/bbc/Sport> .
+<http://SKNB#companygenid7> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 <http://www.bbc.co.uk/ontologies/bbc/Sport> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.bbc.co.uk/ontologies/bbc/Product> .
 <http://www.bbc.co.uk/ontologies/bbc/Sport> <http://www.w3.org/2000/01/rdf-schema#comment> "Represents Sport"^^<http://www.w3.org/2001/XMLSchema#string> .
 <http://www.bbc.co.uk/ontologies/bbc/Sport> <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://www.bbc.co.uk/ontologies/bbc/> .

diff --git a/required_files/ontologies/creativework.0.9.nt b/required_files/ontologies/creativework.0.9.nt
@@ -6,11 +6,11 @@
 <http://www.bbc.co.uk/ontologies/creativework/Audience> <http://www.w3.org/2000/01/rdf-schema#comment> "Enumerated class of the audiences"^^<http://www.w3.org/2001/XMLSchema#string> .
 <http://www.bbc.co.uk/ontologies/creativework/Audience> <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://www.bbc.co.uk/ontologies/creativework/> .
 <http://www.bbc.co.uk/ontologies/creativework/Audience> <http://www.w3.org/2000/01/rdf-schema#label> "Audience"^^<http://www.w3.org/2001/XMLSchema#string> .
-<http://www.bbc.co.uk/ontologies/creativework/Audience> <http://www.w3.org/2002/07/owl#oneOf> _:cwgenid1 .
-_:cwgenid1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/creativework/NationalAudience> .
-_:cwgenid1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:cwgenid2 .
-_:cwgenid2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/creativework/InternationalAudience> .
-_:cwgenid2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
+<http://www.bbc.co.uk/ontologies/creativework/Audience> <http://www.w3.org/2002/07/owl#oneOf> <http://SKNB#cwgenid1> .
+<http://SKNB#cwgenid1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/creativework/NationalAudience> .
+<http://SKNB#cwgenid1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://SKNB#cwgenid2> .
+<http://SKNB#cwgenid2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/creativework/InternationalAudience> .
+<http://SKNB#cwgenid2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 <http://www.bbc.co.uk/ontologies/creativework/AudioFormat> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.bbc.co.uk/ontologies/creativework/Format> .
 <http://www.bbc.co.uk/ontologies/creativework/AudioFormat> <http://www.w3.org/2000/01/rdf-schema#comment> "Used to represent that the primary format of a CreativeWork is Audio"^^<http://www.w3.org/2001/XMLSchema#string> .
 <http://www.bbc.co.uk/ontologies/creativework/AudioFormat> <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://www.bbc.co.uk/ontologies/creativework/> .
@@ -46,19 +46,19 @@ _:cwgenid2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/
 <http://www.bbc.co.uk/ontologies/creativework/Format> <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://www.bbc.co.uk/ontologies/creativework/> .
 <http://www.bbc.co.uk/ontologies/creativework/Format> <http://www.w3.org/2000/01/rdf-schema#label> "Format"^^<http://www.w3.org/2001/XMLSchema#string> .
 <http://www.bbc.co.uk/ontologies/creativework/Format> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2002/07/owl#Thing> .
-<http://www.bbc.co.uk/ontologies/creativework/Format> <http://www.w3.org/2002/07/owl#oneOf> _:cwgenid3 .
-_:cwgenid3 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/creativework/AudioFormat> .
-_:cwgenid3 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:cwgenid4 .
-_:cwgenid4 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/creativework/TextualFormat> .
-_:cwgenid4 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:cwgenid5 .
-_:cwgenid5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/creativework/ImageFormat> .
-_:cwgenid5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:cwgenid6 .
-_:cwgenid6 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/creativework/InteractiveFormat> .
-_:cwgenid6 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:cwgenid7 .
-_:cwgenid7 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/creativework/PictureGalleryFormat> .
-_:cwgenid7 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:cwgenid8 .
-_:cwgenid8 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/creativework/VideoFormat> .
-_:cwgenid8 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
+<http://www.bbc.co.uk/ontologies/creativework/Format> <http://www.w3.org/2002/07/owl#oneOf> <http://SKNB#cwgenid3> .
+<http://SKNB#cwgenid3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/creativework/AudioFormat> .
+<http://SKNB#cwgenid3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://SKNB#cwgenid4> .
+<http://SKNB#cwgenid4> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/creativework/TextualFormat> .
+<http://SKNB#cwgenid4> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://SKNB#cwgenid5> .
+<http://SKNB#cwgenid5> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/creativework/ImageFormat> .
+<http://SKNB#cwgenid5> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://SKNB#cwgenid6> .
+<http://SKNB#cwgenid6> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/creativework/InteractiveFormat> .
+<http://SKNB#cwgenid6> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://SKNB#cwgenid7> .
+<http://SKNB#cwgenid7> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/creativework/PictureGalleryFormat> .
+<http://SKNB#cwgenid7> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://SKNB#cwgenid8> .
+<http://SKNB#cwgenid8> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/creativework/VideoFormat> .
+<http://SKNB#cwgenid8> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 <http://www.bbc.co.uk/ontologies/creativework/ImageFormat> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.bbc.co.uk/ontologies/creativework/Format> .
 <http://www.bbc.co.uk/ontologies/creativework/ImageFormat> <http://www.w3.org/2000/01/rdf-schema#comment> "Used to represent that the primary format of a CreativeWork is Image"^^<http://www.w3.org/2001/XMLSchema#string> .
 <http://www.bbc.co.uk/ontologies/creativework/ImageFormat> <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://www.bbc.co.uk/ontologies/creativework/> .
@@ -107,11 +107,11 @@ _:cwgenid8 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/
 <http://www.bbc.co.uk/ontologies/creativework/ThumbnailType> <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://www.bbc.co.uk/ontologies/creativework/> .
 <http://www.bbc.co.uk/ontologies/creativework/ThumbnailType> <http://www.w3.org/2000/01/rdf-schema#label> "ThumbnailType"^^<http://www.w3.org/2001/XMLSchema#string> .
 <http://www.bbc.co.uk/ontologies/creativework/ThumbnailType> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2002/07/owl#Thing> .
-<http://www.bbc.co.uk/ontologies/creativework/ThumbnailType> <http://www.w3.org/2002/07/owl#oneOf> _:cwgenid9 .
-_:cwgenid9 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/creativework/StandardThumbnail> .
-_:cwgenid9 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:cwgenid10 .
-_:cwgenid10 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/creativework/CloseUpThumbnail> .
-_:cwgenid10 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
+<http://www.bbc.co.uk/ontologies/creativework/ThumbnailType> <http://www.w3.org/2002/07/owl#oneOf> <http://SKNB#cwgenid9> .
+<http://SKNB#cwgenid9> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/creativework/StandardThumbnail> .
+<http://SKNB#cwgenid9> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://SKNB#cwgenid10> .
+<http://SKNB#cwgenid10> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.bbc.co.uk/ontologies/creativework/CloseUpThumbnail> .
+<http://SKNB#cwgenid10> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
 <http://www.bbc.co.uk/ontologies/creativework/VideoFormat> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.bbc.co.uk/ontologies/creativework/Format> .
 <http://www.bbc.co.uk/ontologies/creativework/VideoFormat> <http://www.w3.org/2000/01/rdf-schema#comment> "Used to represent that the primary format of a CreativeWork is Video"^^<http://www.w3.org/2001/XMLSchema#string> .
 <http://www.bbc.co.uk/ontologies/creativework/VideoFormat> <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://www.bbc.co.uk/ontologies/creativework/> .