<commit_before>:- use_module(library(debug)).
:- use_module(library(mat/mat)).
:- use_module(library(owl/owl_build)).
:- use_module(library(rdf/rdf_build)).
:- use_module(library(rdf/rdf_list)).
:- use_module(library(semweb/rdf_db)).

:- debug(mat(rdf(_))).
:- debug(mat(rdfs(_))).
:- debug(mat(owl(cax(_)))).
:- debug(mat(owl(cls(_)))).
:- debug(mat(owl(scm(_)))).

:- rdf_register_prefix(ex, 'http://example.com/').





script1:-
  G = script1,
  fresh_iri(ex, I),
  rdf_assert_instance(I, ex:'C', G),
  rdf_assert_literal(I, ex:age, xsd:nonNegativeInteger, 2, G),
  rdf_assert_now(I, ex:registrationDate, G),
  mat(G).

script2:-
  G = script2,
  rdf_bnode(D),
  rdf_assert(ex:'A', owl:equivalentClass, D, G),
  owl_assert_value_restriction(ex:p, ex:v1, G, R1),
  owl_assert_value_restriction(ex:p, ex:v2, G, R2),
  rdf_assert_list([R1,R2], Rs, G),
  rdf_assert(D, owl:intersectionOf, Rs, G),
  rdf_assert_instance(ex:a, ex:'A', G),
  mat(G).

script3:-
  G = script3,
  rdf_assert(ex:a, owl:sameAs, ex:b, G),
  rdf_assert(ex:b, owl:differentFrom, ex:a, G),
  mat(G).<commit_msg>DEBUG: Added debug script for literals in the subject position.<commit_after>:- use_module(library(debug)).
:- use_module(library(mat/mat)).
:- use_module(library(owl/owl_build)).
:- use_module(library(rdf/rdf_build)).
:- use_module(library(rdf/rdf_graph)).
:- use_module(library(rdf/rdf_list)).
:- use_module(library(semweb/rdf_db)).

:- debug(mat(rdf(_))).
:- debug(mat(rdfs(_))).
:- debug(mat(owl(cax(_)))).
:- debug(mat(owl(cls(_)))).
:- debug(mat(owl(scm(_)))).

:- rdf_register_prefix(ex, 'http://example.com/').





script1:-
  rdf_unload_graphs,
  G = script1,
  fresh_iri(ex, I),
  rdf_assert_instance(I, ex:'C', G),
  rdf_assert_literal(I, ex:age, xsd:nonNegativeInteger, 2, G),
  rdf_assert_now(I, ex:registrationDate, G),
  mat(G).

script2:-
  rdf_unload_graphs,
  G = script2,
  rdf_bnode(D),
  rdf_assert(ex:'A', owl:equivalentClass, D, G),
  owl_assert_value_restriction(ex:p, ex:v1, G, R1),
  owl_assert_value_restriction(ex:p, ex:v2, G, R2),
  rdf_assert_list([R1,R2], Rs, G),
  rdf_assert(D, owl:intersectionOf, Rs, G),
  rdf_assert_instance(ex:a, ex:'A', G),
  mat(G).

script3:-
  rdf_unload_graphs,
  G = script3,
  rdf_assert(ex:a, owl:sameAs, ex:b, G),
  rdf_assert(ex:b, owl:differentFrom, ex:a, G),
  mat(G).

script4:-
  rdf_unload_graphs,
  G = script4,
  rdfs_assert_range(ex:p, ex:c, G),
  rdf_assert_literal(ex:s, ex:p, xsd:string, o, G),
  mat(G).
{'fraction_non_alphanumeric': 0.2046285018270402, 'fraction_numerical': 0.011368250101502234, 'mean_word_length': 5.317948717948718, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1947234', 'n_tokens_mistral': 1137, 'n_tokens_neox': 1090, 'n_words': 165}