diff --git a/.gitignore b/.gitignore index 820d767f..6ec396ad 100644 --- a/.gitignore +++ b/.gitignore @@ -11,9 +11,7 @@ catalog-v*.xml .cache # The diagrams are generated at build time -docs/modules/ROOT/assets/images/*.svg -!docs/modules/ROOT/assets/images/splash.svg **/.jqwik-database diff --git a/docs/antora.yml b/docs/antora.yml index 3db45cdb..bcba03ab 100644 --- a/docs/antora.yml +++ b/docs/antora.yml @@ -1,11 +1,11 @@ name: main title: owl-cli -version: snapshot +version: 1.2.3 asciidoc: attributes: - release-version: snapshot - release-tag: snapshot - page-component-version: snapshot + release-version: 1.2.3 + release-tag: v1.2.3 + page-component-version: 1.2.3 nav: - modules/ROOT/nav.adoc diff --git a/docs/modules/ROOT/assets/images/asymmetric-object-property.svg b/docs/modules/ROOT/assets/images/asymmetric-object-property.svg new file mode 100644 index 00000000..129a5405 --- /dev/null +++ b/docs/modules/ROOT/assets/images/asymmetric-object-property.svg @@ -0,0 +1,33 @@ + + + + + + +G + + + +_e28193f8ce0040b4a58b42c5b755ab6f + +asymmetric + + + +P + +▬ + +P + + + +P->_e28193f8ce0040b4a58b42c5b755ab6f + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/class-assertion.svg b/docs/modules/ROOT/assets/images/class-assertion.svg new file mode 100644 index 00000000..5537dde7 --- /dev/null +++ b/docs/modules/ROOT/assets/images/class-assertion.svg @@ -0,0 +1,35 @@ + + + + + + +G + + + +C + +⬤ + +C + + + +o + +◆ + +o + + + +o->C + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/class-intersection.svg b/docs/modules/ROOT/assets/images/class-intersection.svg new file mode 100644 index 00000000..cc2351ff --- /dev/null +++ b/docs/modules/ROOT/assets/images/class-intersection.svg @@ -0,0 +1,62 @@ + + + + + + +G + + + +C1 + +⬤ + +C1 + + + +C2 + +⬤ + +C2 + + + +_1b8e11dbb7d24c2692ce521311513f98 + +and + + + +_1b8e11dbb7d24c2692ce521311513f98->C1 + + + + + +_1b8e11dbb7d24c2692ce521311513f98->C2 + + + + + +X + +⬤ + +X + + + +X->_1b8e11dbb7d24c2692ce521311513f98 + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/class-union.svg b/docs/modules/ROOT/assets/images/class-union.svg new file mode 100644 index 00000000..771632e1 --- /dev/null +++ b/docs/modules/ROOT/assets/images/class-union.svg @@ -0,0 +1,62 @@ + + + + + + +G + + + +C1 + +⬤ + +C1 + + + +_70a891393bd0495e810ee95fde51adb1 + +or + + + +_70a891393bd0495e810ee95fde51adb1->C1 + + + + + +C2 + +⬤ + +C2 + + + +_70a891393bd0495e810ee95fde51adb1->C2 + + + + + +X + +⬤ + +X + + + +X->_70a891393bd0495e810ee95fde51adb1 + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/data-all-values-from.svg b/docs/modules/ROOT/assets/images/data-all-values-from.svg new file mode 100644 index 00000000..533364df --- /dev/null +++ b/docs/modules/ROOT/assets/images/data-all-values-from.svg @@ -0,0 +1,66 @@ + + + + + + +G + + + +string + +⬤ + +string + + + +P + +▬ + +P + + + +_2ec7ea435b084e9f85a67afdcbd9fe03 + +P +only +  C + + + +_2ec7ea435b084e9f85a67afdcbd9fe03->string + + +C + + + +_2ec7ea435b084e9f85a67afdcbd9fe03->P + + +P + + + +X + +⬤ + +X + + + +X->_2ec7ea435b084e9f85a67afdcbd9fe03 + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/data-complement-of.svg b/docs/modules/ROOT/assets/images/data-complement-of.svg new file mode 100644 index 00000000..59057938 --- /dev/null +++ b/docs/modules/ROOT/assets/images/data-complement-of.svg @@ -0,0 +1,48 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_bc23d042cd2846408d3f868b8e72c2b6 + +not + + + +P->_bc23d042cd2846408d3f868b8e72c2b6 + + +range + + + +negativeInteger + +⬤ + +negativeInteger + + + +_bc23d042cd2846408d3f868b8e72c2b6->negativeInteger + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/data-exact-cardinality.svg b/docs/modules/ROOT/assets/images/data-exact-cardinality.svg new file mode 100644 index 00000000..22f0e1e8 --- /dev/null +++ b/docs/modules/ROOT/assets/images/data-exact-cardinality.svg @@ -0,0 +1,51 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_789592b29f854f978f08c47450a9d31f + +P +exactly +  1 + + + +_789592b29f854f978f08c47450a9d31f->P + + +P + + + +X + +⬤ + +X + + + +X->_789592b29f854f978f08c47450a9d31f + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/data-has-value.svg b/docs/modules/ROOT/assets/images/data-has-value.svg new file mode 100644 index 00000000..444485ae --- /dev/null +++ b/docs/modules/ROOT/assets/images/data-has-value.svg @@ -0,0 +1,64 @@ + + + + + + +G + + + +_a1490b77fdfd4419a2ce9ebbf766b2de + +P +value + v + + + +P + +▬ + +P + + + +_a1490b77fdfd4419a2ce9ebbf766b2de->P + + +P + + + +_7493efa5521d4ee59392d4db4a614f18 + +42 + + + +_a1490b77fdfd4419a2ce9ebbf766b2de->_7493efa5521d4ee59392d4db4a614f18 + + +v + + + +X + +⬤ + +X + + + +X->_a1490b77fdfd4419a2ce9ebbf766b2de + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/data-intersection-of.svg b/docs/modules/ROOT/assets/images/data-intersection-of.svg new file mode 100644 index 00000000..efd2f80e --- /dev/null +++ b/docs/modules/ROOT/assets/images/data-intersection-of.svg @@ -0,0 +1,84 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_0b40f3bee5d1410cad47dcb5cfb05138 + +and + + + +P->_0b40f3bee5d1410cad47dcb5cfb05138 + + +range + + + +_1d72bc7d551a487eb91de1c1ca94f977 + +2 + + + +nonNegativeInteger + +⬤ + +nonNegativeInteger + + + +_0b40f3bee5d1410cad47dcb5cfb05138->nonNegativeInteger + + + + + +_a2d016d5af644be58053fb11e4a9b86d + +{} + + + +_0b40f3bee5d1410cad47dcb5cfb05138->_a2d016d5af644be58053fb11e4a9b86d + + + + + +_b9695cfe08d2455cb75475b72ce0bbd4 + +1 + + + +_a2d016d5af644be58053fb11e4a9b86d->_1d72bc7d551a487eb91de1c1ca94f977 + + + + + +_a2d016d5af644be58053fb11e4a9b86d->_b9695cfe08d2455cb75475b72ce0bbd4 + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/data-max-cardinality.svg b/docs/modules/ROOT/assets/images/data-max-cardinality.svg new file mode 100644 index 00000000..07f7c543 --- /dev/null +++ b/docs/modules/ROOT/assets/images/data-max-cardinality.svg @@ -0,0 +1,51 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_4075c35d6c1b481797aa3af5cb70e493 + +P +max +  1 + + + +_4075c35d6c1b481797aa3af5cb70e493->P + + +P + + + +X + +⬤ + +X + + + +X->_4075c35d6c1b481797aa3af5cb70e493 + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/data-min-cardinality.svg b/docs/modules/ROOT/assets/images/data-min-cardinality.svg new file mode 100644 index 00000000..90bd2860 --- /dev/null +++ b/docs/modules/ROOT/assets/images/data-min-cardinality.svg @@ -0,0 +1,51 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_8d5e2b9055394a08bf7d73d814862816 + +P +min +  1 + + + +_8d5e2b9055394a08bf7d73d814862816->P + + +P + + + +X + +⬤ + +X + + + +X->_8d5e2b9055394a08bf7d73d814862816 + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/data-one-of.svg b/docs/modules/ROOT/assets/images/data-one-of.svg new file mode 100644 index 00000000..c3da0def --- /dev/null +++ b/docs/modules/ROOT/assets/images/data-one-of.svg @@ -0,0 +1,58 @@ + + + + + + +G + + + +_0910310ff8674ddaaf853a7e927ac116 + +{} + + + +_ec33f05848b94f2bb6183e8c75a6436a + +x + + + +_0910310ff8674ddaaf853a7e927ac116->_ec33f05848b94f2bb6183e8c75a6436a + + + + + +_0bd58c8f193943918637f02402231a7c + +y + + + +_0910310ff8674ddaaf853a7e927ac116->_0bd58c8f193943918637f02402231a7c + + + + + +P + +▬ + +P + + + +P->_0910310ff8674ddaaf853a7e927ac116 + + +range + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/data-property-assertion.svg b/docs/modules/ROOT/assets/images/data-property-assertion.svg new file mode 100644 index 00000000..0aa69da9 --- /dev/null +++ b/docs/modules/ROOT/assets/images/data-property-assertion.svg @@ -0,0 +1,53 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_0a91feb18a694f8196f5a077e857ec75 + +hello + + + + +_8e8ee4515ab540348de6c95bcbb15b05->P + + + + + +_8e8ee4515ab540348de6c95bcbb15b05->_0a91feb18a694f8196f5a077e857ec75 + + + + + +o + +◆ + +o + + + +o->_8e8ee4515ab540348de6c95bcbb15b05 + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/data-property-domain.svg b/docs/modules/ROOT/assets/images/data-property-domain.svg new file mode 100644 index 00000000..1c5e3324 --- /dev/null +++ b/docs/modules/ROOT/assets/images/data-property-domain.svg @@ -0,0 +1,36 @@ + + + + + + +G + + + +P + +▬ + +P + + + +C + +⬤ + +C + + + +P->C + + +domain + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/data-property-range.svg b/docs/modules/ROOT/assets/images/data-property-range.svg new file mode 100644 index 00000000..11716ec3 --- /dev/null +++ b/docs/modules/ROOT/assets/images/data-property-range.svg @@ -0,0 +1,36 @@ + + + + + + +G + + + +P + +▬ + +P + + + +integer + +⬤ + +integer + + + +P->integer + + +range + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/data-some-values-from.svg b/docs/modules/ROOT/assets/images/data-some-values-from.svg new file mode 100644 index 00000000..3b493412 --- /dev/null +++ b/docs/modules/ROOT/assets/images/data-some-values-from.svg @@ -0,0 +1,66 @@ + + + + + + +G + + + +string + +⬤ + +string + + + +_7d3b158a1f304aa98c127eb314cd9a10 + +P +some + C + + + +_7d3b158a1f304aa98c127eb314cd9a10->string + + +C + + + +P + +▬ + +P + + + +_7d3b158a1f304aa98c127eb314cd9a10->P + + +P + + + +X + +⬤ + +X + + + +X->_7d3b158a1f304aa98c127eb314cd9a10 + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/data-union-of.svg b/docs/modules/ROOT/assets/images/data-union-of.svg new file mode 100644 index 00000000..47cfe2b1 --- /dev/null +++ b/docs/modules/ROOT/assets/images/data-union-of.svg @@ -0,0 +1,72 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_031c4a634ff749058fda76bc5a80f247 + +or + + + +P->_031c4a634ff749058fda76bc5a80f247 + + +range + + + +negativeInteger + +⬤ + +negativeInteger + + + +_031c4a634ff749058fda76bc5a80f247->negativeInteger + + + + + +_531b3dc82a264148acb8b2ffc17a1bb7 + +{} + + + +_031c4a634ff749058fda76bc5a80f247->_531b3dc82a264148acb8b2ffc17a1bb7 + + + + + +_1cabbc1c0c314870aa8682750d5214c3 + +25 + + + +_531b3dc82a264148acb8b2ffc17a1bb7->_1cabbc1c0c314870aa8682750d5214c3 + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/datarange-expression.svg b/docs/modules/ROOT/assets/images/datarange-expression.svg new file mode 100644 index 00000000..1697f7a6 --- /dev/null +++ b/docs/modules/ROOT/assets/images/datarange-expression.svg @@ -0,0 +1,36 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_ae0116149f0b4888addfd1cf1227efa9 + +⬤ + +int [> 4, <= 10] + + + +P->_ae0116149f0b4888addfd1cf1227efa9 + + +range + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/datatype-definition.svg b/docs/modules/ROOT/assets/images/datatype-definition.svg new file mode 100644 index 00000000..aba9b5f9 --- /dev/null +++ b/docs/modules/ROOT/assets/images/datatype-definition.svg @@ -0,0 +1,35 @@ + + + + + + +G + + + +D + +⬤ + +D + + + +_507856e69c0c4a37b1e2f06602424703 + +⬤ + +int [> 4, <= 10] + + + +D->_507856e69c0c4a37b1e2f06602424703 + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/declaration-annotation-property.svg b/docs/modules/ROOT/assets/images/declaration-annotation-property.svg new file mode 100644 index 00000000..8727ff23 --- /dev/null +++ b/docs/modules/ROOT/assets/images/declaration-annotation-property.svg @@ -0,0 +1,21 @@ + + + + + + +G + + + +P + +▬ + +P + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/declaration-class.svg b/docs/modules/ROOT/assets/images/declaration-class.svg new file mode 100644 index 00000000..c4ca003f --- /dev/null +++ b/docs/modules/ROOT/assets/images/declaration-class.svg @@ -0,0 +1,21 @@ + + + + + + +G + + + +C + +⬤ + +C + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/declaration-data-property.svg b/docs/modules/ROOT/assets/images/declaration-data-property.svg new file mode 100644 index 00000000..fa2ca59d --- /dev/null +++ b/docs/modules/ROOT/assets/images/declaration-data-property.svg @@ -0,0 +1,21 @@ + + + + + + +G + + + +P + +▬ + +P + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/declaration-datatype.svg b/docs/modules/ROOT/assets/images/declaration-datatype.svg new file mode 100644 index 00000000..f4373e9d --- /dev/null +++ b/docs/modules/ROOT/assets/images/declaration-datatype.svg @@ -0,0 +1,21 @@ + + + + + + +G + + + +D + +⬤ + +D + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/declaration-individual.svg b/docs/modules/ROOT/assets/images/declaration-individual.svg new file mode 100644 index 00000000..01f5ce45 --- /dev/null +++ b/docs/modules/ROOT/assets/images/declaration-individual.svg @@ -0,0 +1,21 @@ + + + + + + +G + + + +o + +◆ + +o + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/declaration-object-property.svg b/docs/modules/ROOT/assets/images/declaration-object-property.svg new file mode 100644 index 00000000..4dd3a68b --- /dev/null +++ b/docs/modules/ROOT/assets/images/declaration-object-property.svg @@ -0,0 +1,21 @@ + + + + + + +G + + + +P + +▬ + +P + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/different-individuals.svg b/docs/modules/ROOT/assets/images/different-individuals.svg new file mode 100644 index 00000000..5b9c37ae --- /dev/null +++ b/docs/modules/ROOT/assets/images/different-individuals.svg @@ -0,0 +1,47 @@ + + + + + + +G + + + +_34cabb0a49eb4fa89993cde385c68e63 + +≠ + + + +o2 + +◆ + +o2 + + + +_34cabb0a49eb4fa89993cde385c68e63->o2 + + + + + +o1 + +◆ + +o1 + + + +_34cabb0a49eb4fa89993cde385c68e63->o1 + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/disjoint-classes.svg b/docs/modules/ROOT/assets/images/disjoint-classes.svg new file mode 100644 index 00000000..17085c11 --- /dev/null +++ b/docs/modules/ROOT/assets/images/disjoint-classes.svg @@ -0,0 +1,47 @@ + + + + + + +G + + + +C1 + +⬤ + +C1 + + + +_b2a16df55a9948398a1ec43f40b0dbda + +  ⚬⚬ + + + +_b2a16df55a9948398a1ec43f40b0dbda->C1 + + + + + +C2 + +⬤ + +C2 + + + +_b2a16df55a9948398a1ec43f40b0dbda->C2 + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/disjoint-data-properties.svg b/docs/modules/ROOT/assets/images/disjoint-data-properties.svg new file mode 100644 index 00000000..2aaba96b --- /dev/null +++ b/docs/modules/ROOT/assets/images/disjoint-data-properties.svg @@ -0,0 +1,47 @@ + + + + + + +G + + + +_5a0db801fe7c4a3788072e634755e160 + +  ⚬⚬ + + + +P2 + +▬ + +P2 + + + +_5a0db801fe7c4a3788072e634755e160->P2 + + + + + +P1 + +▬ + +P1 + + + +_5a0db801fe7c4a3788072e634755e160->P1 + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/disjoint-object-properties.svg b/docs/modules/ROOT/assets/images/disjoint-object-properties.svg new file mode 100644 index 00000000..41aadcc5 --- /dev/null +++ b/docs/modules/ROOT/assets/images/disjoint-object-properties.svg @@ -0,0 +1,47 @@ + + + + + + +G + + + +P2 + +▬ + +P2 + + + +_535354b1baa6455dab37e606ef72808f + +  ⚬⚬ + + + +_535354b1baa6455dab37e606ef72808f->P2 + + + + + +P1 + +▬ + +P1 + + + +_535354b1baa6455dab37e606ef72808f->P1 + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/disjoint-union.svg b/docs/modules/ROOT/assets/images/disjoint-union.svg new file mode 100644 index 00000000..dc843965 --- /dev/null +++ b/docs/modules/ROOT/assets/images/disjoint-union.svg @@ -0,0 +1,62 @@ + + + + + + +G + + + +C1 + +⬤ + +C1 + + + +C2 + +⬤ + +C2 + + + +C + +⬤ + +C + + + +_cc8ab27ca4684850b768437f05900c92 + +⚭ + + + +C->_cc8ab27ca4684850b768437f05900c92 + + + + + + +_cc8ab27ca4684850b768437f05900c92->C1 + + + + + +_cc8ab27ca4684850b768437f05900c92->C2 + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/equivalent-classes.svg b/docs/modules/ROOT/assets/images/equivalent-classes.svg new file mode 100644 index 00000000..122cbb3f --- /dev/null +++ b/docs/modules/ROOT/assets/images/equivalent-classes.svg @@ -0,0 +1,58 @@ + + + + + + +G + + + +C3 + +⬤ + +C3 + + + +C1 + +⬤ + +C1 + + + +C1->C3 + + + + + + +C2 + +⬤ + +C2 + + + +C1->C2 + + + + + + +C2->C3 + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/equivalent-data-properties.svg b/docs/modules/ROOT/assets/images/equivalent-data-properties.svg new file mode 100644 index 00000000..39dd2c63 --- /dev/null +++ b/docs/modules/ROOT/assets/images/equivalent-data-properties.svg @@ -0,0 +1,36 @@ + + + + + + +G + + + +P2 + +▬ + +P2 + + + +P1 + +▬ + +P1 + + + +P1->P2 + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/equivalent-object-properties.svg b/docs/modules/ROOT/assets/images/equivalent-object-properties.svg new file mode 100644 index 00000000..b18d4ee0 --- /dev/null +++ b/docs/modules/ROOT/assets/images/equivalent-object-properties.svg @@ -0,0 +1,36 @@ + + + + + + +G + + + +P2 + +▬ + +P2 + + + +P1 + +▬ + +P1 + + + +P1->P2 + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/functional-data-property.svg b/docs/modules/ROOT/assets/images/functional-data-property.svg new file mode 100644 index 00000000..a7bc541e --- /dev/null +++ b/docs/modules/ROOT/assets/images/functional-data-property.svg @@ -0,0 +1,33 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_1ccdf856b545445e9199a8f91c6c564c + +functional + + + +P->_1ccdf856b545445e9199a8f91c6c564c + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/functional-object-property.svg b/docs/modules/ROOT/assets/images/functional-object-property.svg new file mode 100644 index 00000000..a98cc660 --- /dev/null +++ b/docs/modules/ROOT/assets/images/functional-object-property.svg @@ -0,0 +1,33 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_ea3616b81aba499489dad2a64d63e129 + +functional + + + +P->_ea3616b81aba499489dad2a64d63e129 + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/has-key.svg b/docs/modules/ROOT/assets/images/has-key.svg new file mode 100644 index 00000000..fdae105f --- /dev/null +++ b/docs/modules/ROOT/assets/images/has-key.svg @@ -0,0 +1,61 @@ + + + + + + +G + + + +_514e52893fa24ac09c7b73975dbf77ec + +key + + + +P2 + +▬ + +P2 + + + +_514e52893fa24ac09c7b73975dbf77ec->P2 + + + + + +P1 + +▬ + +P1 + + + +_514e52893fa24ac09c7b73975dbf77ec->P1 + + + + + +C + +⬤ + +C + + + +C->_514e52893fa24ac09c7b73975dbf77ec + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/inverse-functional-object-property.svg b/docs/modules/ROOT/assets/images/inverse-functional-object-property.svg new file mode 100644 index 00000000..4379bb90 --- /dev/null +++ b/docs/modules/ROOT/assets/images/inverse-functional-object-property.svg @@ -0,0 +1,33 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_10b43c38c2ce4937afbb7a99befc4cf7 + +inverse functional + + + +P->_10b43c38c2ce4937afbb7a99befc4cf7 + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/inverse-object-properties.svg b/docs/modules/ROOT/assets/images/inverse-object-properties.svg new file mode 100644 index 00000000..b1d216ee --- /dev/null +++ b/docs/modules/ROOT/assets/images/inverse-object-properties.svg @@ -0,0 +1,48 @@ + + + + + + +G + + + +P2 + +▬ + +P2 + + + +_c237717723ef4e26a75bcabdca7a2e1c + +inverse + + + +P2->_c237717723ef4e26a75bcabdca7a2e1c + + + + + + +P1 + +▬ + +P1 + + + +_c237717723ef4e26a75bcabdca7a2e1c->P1 + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/irreflexive-object-property.svg b/docs/modules/ROOT/assets/images/irreflexive-object-property.svg new file mode 100644 index 00000000..0c17982e --- /dev/null +++ b/docs/modules/ROOT/assets/images/irreflexive-object-property.svg @@ -0,0 +1,33 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_3903d8186a4241508296d31bfa8d128c + +irreflexive + + + +P->_3903d8186a4241508296d31bfa8d128c + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/negative-data-property-assertion.svg b/docs/modules/ROOT/assets/images/negative-data-property-assertion.svg new file mode 100644 index 00000000..7d3bba2e --- /dev/null +++ b/docs/modules/ROOT/assets/images/negative-data-property-assertion.svg @@ -0,0 +1,59 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_c35a7c1a0dd740c9a9f59c87fe13fb6e + +hello + + + +_3911e6b99a194198aec6d98d2926cdb6 + +not + + + +_3911e6b99a194198aec6d98d2926cdb6->P + + + + + +_3911e6b99a194198aec6d98d2926cdb6->_c35a7c1a0dd740c9a9f59c87fe13fb6e + + + + + +o + +◆ + +o + + + +o->_3911e6b99a194198aec6d98d2926cdb6 + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/negative-object-property-assertion.svg b/docs/modules/ROOT/assets/images/negative-object-property-assertion.svg new file mode 100644 index 00000000..e0734b15 --- /dev/null +++ b/docs/modules/ROOT/assets/images/negative-object-property-assertion.svg @@ -0,0 +1,61 @@ + + + + + + +G + + + +o2 + +◆ + +o2 + + + +P + +▬ + +P + + + +o1 + +◆ + +o1 + + + +_a293c523233841e3af21404b4b9db851 + +not + + + +o1->_a293c523233841e3af21404b4b9db851 + + + + + +_a293c523233841e3af21404b4b9db851->o2 + + + + + +_a293c523233841e3af21404b4b9db851->P + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/object-all-values-from.svg b/docs/modules/ROOT/assets/images/object-all-values-from.svg new file mode 100644 index 00000000..0b37c7ee --- /dev/null +++ b/docs/modules/ROOT/assets/images/object-all-values-from.svg @@ -0,0 +1,66 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_5e263811e24a472f92ee9581bb33781f + +P +only +  C + + + +_5e263811e24a472f92ee9581bb33781f->P + + +P + + + +C + +⬤ + +C + + + +_5e263811e24a472f92ee9581bb33781f->C + + +C + + + +X + +⬤ + +X + + + +X->_5e263811e24a472f92ee9581bb33781f + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/object-complement-of.svg b/docs/modules/ROOT/assets/images/object-complement-of.svg new file mode 100644 index 00000000..7635a311 --- /dev/null +++ b/docs/modules/ROOT/assets/images/object-complement-of.svg @@ -0,0 +1,48 @@ + + + + + + +G + + + +C + +⬤ + +C + + + +X + +⬤ + +X + + + +_061a747156c840c0b06a5da92c4a8fe8 + +not + + + +X->_061a747156c840c0b06a5da92c4a8fe8 + + + + + + +_061a747156c840c0b06a5da92c4a8fe8->C + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/object-exact-cardinality-qualified.svg b/docs/modules/ROOT/assets/images/object-exact-cardinality-qualified.svg new file mode 100644 index 00000000..cef9565f --- /dev/null +++ b/docs/modules/ROOT/assets/images/object-exact-cardinality-qualified.svg @@ -0,0 +1,66 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_9b7329d875064a9087b95b9bc0b75bf6 + +P +exactly +  1 C + + + +_9b7329d875064a9087b95b9bc0b75bf6->P + + +P + + + +C + +⬤ + +C + + + +_9b7329d875064a9087b95b9bc0b75bf6->C + + +C + + + +X + +⬤ + +X + + + +X->_9b7329d875064a9087b95b9bc0b75bf6 + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/object-exact-cardinality-unqualified.svg b/docs/modules/ROOT/assets/images/object-exact-cardinality-unqualified.svg new file mode 100644 index 00000000..0666208b --- /dev/null +++ b/docs/modules/ROOT/assets/images/object-exact-cardinality-unqualified.svg @@ -0,0 +1,51 @@ + + + + + + +G + + + +P + +▬ + +P + + + +X + +⬤ + +X + + + +_7d1eebd8542e4330a355fed2b3350394 + +P +exactly +  1 + + + +X->_7d1eebd8542e4330a355fed2b3350394 + + + + + + +_7d1eebd8542e4330a355fed2b3350394->P + + +P + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/object-has-self.svg b/docs/modules/ROOT/assets/images/object-has-self.svg new file mode 100644 index 00000000..e0d101ba --- /dev/null +++ b/docs/modules/ROOT/assets/images/object-has-self.svg @@ -0,0 +1,50 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_1fda477d025949ca99672121c2b0084c + +P +self + + + +_1fda477d025949ca99672121c2b0084c->P + + +P + + + +X + +⬤ + +X + + + +X->_1fda477d025949ca99672121c2b0084c + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/object-has-value.svg b/docs/modules/ROOT/assets/images/object-has-value.svg new file mode 100644 index 00000000..52c478e6 --- /dev/null +++ b/docs/modules/ROOT/assets/images/object-has-value.svg @@ -0,0 +1,66 @@ + + + + + + +G + + + +_8905816c1c1b4a1c9df4bf7a399636f1 + +P +value + v + + + +P + +▬ + +P + + + +_8905816c1c1b4a1c9df4bf7a399636f1->P + + +P + + + +o + +◆ + +o + + + +_8905816c1c1b4a1c9df4bf7a399636f1->o + + +v + + + +X + +⬤ + +X + + + +X->_8905816c1c1b4a1c9df4bf7a399636f1 + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/object-inverse-of.svg b/docs/modules/ROOT/assets/images/object-inverse-of.svg new file mode 100644 index 00000000..4587526d --- /dev/null +++ b/docs/modules/ROOT/assets/images/object-inverse-of.svg @@ -0,0 +1,48 @@ + + + + + + +G + + + +_a1f56415ad264987813cc7de0b4530c7 + +inverse + + + +P + +▬ + +P + + + +_a1f56415ad264987813cc7de0b4530c7->P + + + + + +P2 + +▬ + +P2 + + + +P2->_a1f56415ad264987813cc7de0b4530c7 + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/object-max-cardinality-qualified.svg b/docs/modules/ROOT/assets/images/object-max-cardinality-qualified.svg new file mode 100644 index 00000000..0caf8f4e --- /dev/null +++ b/docs/modules/ROOT/assets/images/object-max-cardinality-qualified.svg @@ -0,0 +1,66 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_6749048758424c2e9534bb3743c2ae2c + +P +max +  1 C + + + +_6749048758424c2e9534bb3743c2ae2c->P + + +P + + + +C + +⬤ + +C + + + +_6749048758424c2e9534bb3743c2ae2c->C + + +C + + + +X + +⬤ + +X + + + +X->_6749048758424c2e9534bb3743c2ae2c + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/object-max-cardinality-unqualified.svg b/docs/modules/ROOT/assets/images/object-max-cardinality-unqualified.svg new file mode 100644 index 00000000..13994b8b --- /dev/null +++ b/docs/modules/ROOT/assets/images/object-max-cardinality-unqualified.svg @@ -0,0 +1,51 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_376d729aec4d4be19b7b59f90eb5e968 + +P +max +  1 + + + +_376d729aec4d4be19b7b59f90eb5e968->P + + +P + + + +X + +⬤ + +X + + + +X->_376d729aec4d4be19b7b59f90eb5e968 + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/object-min-cardinality-qualified.svg b/docs/modules/ROOT/assets/images/object-min-cardinality-qualified.svg new file mode 100644 index 00000000..a33bd23b --- /dev/null +++ b/docs/modules/ROOT/assets/images/object-min-cardinality-qualified.svg @@ -0,0 +1,66 @@ + + + + + + +G + + + +_4329aaddcbe44c78802ccd11e3f24f22 + +P +min +  1 C + + + +P + +▬ + +P + + + +_4329aaddcbe44c78802ccd11e3f24f22->P + + +P + + + +C + +⬤ + +C + + + +_4329aaddcbe44c78802ccd11e3f24f22->C + + +C + + + +X + +⬤ + +X + + + +X->_4329aaddcbe44c78802ccd11e3f24f22 + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/object-min-cardinality-unqualified.svg b/docs/modules/ROOT/assets/images/object-min-cardinality-unqualified.svg new file mode 100644 index 00000000..2d9a15ed --- /dev/null +++ b/docs/modules/ROOT/assets/images/object-min-cardinality-unqualified.svg @@ -0,0 +1,51 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_3afe6d39227e4c06a04697c31868e418 + +P +min +  1 + + + +_3afe6d39227e4c06a04697c31868e418->P + + +P + + + +X + +⬤ + +X + + + +X->_3afe6d39227e4c06a04697c31868e418 + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/object-one-of.svg b/docs/modules/ROOT/assets/images/object-one-of.svg new file mode 100644 index 00000000..1810fd3a --- /dev/null +++ b/docs/modules/ROOT/assets/images/object-one-of.svg @@ -0,0 +1,62 @@ + + + + + + +G + + + +o2 + +◆ + +o2 + + + +o1 + +◆ + +o1 + + + +_cab987aaee9e45ada14cda0e4516fb62 + +{} + + + +_cab987aaee9e45ada14cda0e4516fb62->o2 + + + + + +_cab987aaee9e45ada14cda0e4516fb62->o1 + + + + + +X + +⬤ + +X + + + +X->_cab987aaee9e45ada14cda0e4516fb62 + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/object-property-assertion.svg b/docs/modules/ROOT/assets/images/object-property-assertion.svg new file mode 100644 index 00000000..59e3ef51 --- /dev/null +++ b/docs/modules/ROOT/assets/images/object-property-assertion.svg @@ -0,0 +1,55 @@ + + + + + + +G + + + + +o2 + +◆ + +o2 + + + +_16c79c06a623449291d428161b22f4bc->o2 + + + + + +P + +▬ + +P + + + +_16c79c06a623449291d428161b22f4bc->P + + + + + +o1 + +◆ + +o1 + + + +o1->_16c79c06a623449291d428161b22f4bc + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/object-property-chain.svg b/docs/modules/ROOT/assets/images/object-property-chain.svg new file mode 100644 index 00000000..bafd7a86 --- /dev/null +++ b/docs/modules/ROOT/assets/images/object-property-chain.svg @@ -0,0 +1,65 @@ + + + + + + +G + + + +P2 + +▬ + +P2 + + + +P + +▬ + +P + + + +_b23c3cdf5a074408a6e3c11dc6b5278b + +P1 + +o + +P2 + + + +P->_b23c3cdf5a074408a6e3c11dc6b5278b + + + + + +_b23c3cdf5a074408a6e3c11dc6b5278b->P2 + + + + + +P1 + +▬ + +P1 + + + +_b23c3cdf5a074408a6e3c11dc6b5278b->P1 + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/object-property-domain.svg b/docs/modules/ROOT/assets/images/object-property-domain.svg new file mode 100644 index 00000000..e4bb9df2 --- /dev/null +++ b/docs/modules/ROOT/assets/images/object-property-domain.svg @@ -0,0 +1,36 @@ + + + + + + +G + + + +P + +▬ + +P + + + +C + +⬤ + +C + + + +P->C + + +domain + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/object-property-range.svg b/docs/modules/ROOT/assets/images/object-property-range.svg new file mode 100644 index 00000000..3a4d994e --- /dev/null +++ b/docs/modules/ROOT/assets/images/object-property-range.svg @@ -0,0 +1,36 @@ + + + + + + +G + + + +P + +▬ + +P + + + +C + +⬤ + +C + + + +P->C + + +range + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/object-some-values-from.svg b/docs/modules/ROOT/assets/images/object-some-values-from.svg new file mode 100644 index 00000000..8ccceba6 --- /dev/null +++ b/docs/modules/ROOT/assets/images/object-some-values-from.svg @@ -0,0 +1,66 @@ + + + + + + +G + + + +_3cc14364f44d4601aed203dfd81e7ca4 + +P +some + C + + + +P + +▬ + +P + + + +_3cc14364f44d4601aed203dfd81e7ca4->P + + +P + + + +C + +⬤ + +C + + + +_3cc14364f44d4601aed203dfd81e7ca4->C + + +C + + + +X + +⬤ + +X + + + +X->_3cc14364f44d4601aed203dfd81e7ca4 + + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/reflexive-object-property.svg b/docs/modules/ROOT/assets/images/reflexive-object-property.svg new file mode 100644 index 00000000..a72f6a00 --- /dev/null +++ b/docs/modules/ROOT/assets/images/reflexive-object-property.svg @@ -0,0 +1,33 @@ + + + + + + +G + + + +_9c6844ae7ccb4cae969891da9ed2d72b + +reflexive + + + +P + +▬ + +P + + + +P->_9c6844ae7ccb4cae969891da9ed2d72b + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/same-individuals.svg b/docs/modules/ROOT/assets/images/same-individuals.svg new file mode 100644 index 00000000..f6d29a73 --- /dev/null +++ b/docs/modules/ROOT/assets/images/same-individuals.svg @@ -0,0 +1,47 @@ + + + + + + +G + + + +o2 + +◆ + +o2 + + + +o1 + +◆ + +o1 + + + +_d5afaecefabb42618b962bbfe563facd + += + + + +_d5afaecefabb42618b962bbfe563facd->o2 + + + + + +_d5afaecefabb42618b962bbfe563facd->o1 + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/sub-data-property-of.svg b/docs/modules/ROOT/assets/images/sub-data-property-of.svg new file mode 100644 index 00000000..94b98c1f --- /dev/null +++ b/docs/modules/ROOT/assets/images/sub-data-property-of.svg @@ -0,0 +1,35 @@ + + + + + + +G + + + +P2 + +▬ + +P2 + + + +P1 + +▬ + +P1 + + + +P1->P2 + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/sub-object-property-of.svg b/docs/modules/ROOT/assets/images/sub-object-property-of.svg new file mode 100644 index 00000000..71026514 --- /dev/null +++ b/docs/modules/ROOT/assets/images/sub-object-property-of.svg @@ -0,0 +1,35 @@ + + + + + + +G + + + +P2 + +▬ + +P2 + + + +P1 + +▬ + +P1 + + + +P1->P2 + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/subclassof.svg b/docs/modules/ROOT/assets/images/subclassof.svg new file mode 100644 index 00000000..eea2312a --- /dev/null +++ b/docs/modules/ROOT/assets/images/subclassof.svg @@ -0,0 +1,35 @@ + + + + + + +G + + + +C1 + +⬤ + +C1 + + + +C2 + +⬤ + +C2 + + + +C1->C2 + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/swrl-rule-builtin-atom.svg b/docs/modules/ROOT/assets/images/swrl-rule-builtin-atom.svg new file mode 100644 index 00000000..d5bc5dc9 --- /dev/null +++ b/docs/modules/ROOT/assets/images/swrl-rule-builtin-atom.svg @@ -0,0 +1,65 @@ + + + + + + +G + + + +_e8197464adb04cbbba093da21ef161fa + +Person(?p) ∧ age(?p, ?a) ∧ swrlb:greaterThanOrEqual(?a, 18) + +⇒ + +Adult(?p) + + + +Person + +⬤ + +Person + + + +_e8197464adb04cbbba093da21ef161fa->Person + + + + + +age + +▬ + +age + + + +_e8197464adb04cbbba093da21ef161fa->age + + + + + +Adult + +⬤ + +Adult + + + +_e8197464adb04cbbba093da21ef161fa->Adult + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/swrl-rule-class-atom-with-expression.svg b/docs/modules/ROOT/assets/images/swrl-rule-class-atom-with-expression.svg new file mode 100644 index 00000000..f6eb762c --- /dev/null +++ b/docs/modules/ROOT/assets/images/swrl-rule-class-atom-with-expression.svg @@ -0,0 +1,87 @@ + + + + + + +G + + + +Person + +⬤ + +Person + + + +hasChild + +▬ + +hasChild + + + +Parent + +⬤ + +Parent + + + +_e919c4ce3d7541ff85e46b2e6ff2aebf + +Person(?p) ∧ hasChild min 1 Person(?p) + +⇒ + +Parent(?p) + + + +_e919c4ce3d7541ff85e46b2e6ff2aebf->Person + + + + + +_e919c4ce3d7541ff85e46b2e6ff2aebf->Parent + + + + + +_ef41d0c1c91d4ce8a3c091ce0e3e95a4 + +P +min +  1 C + + + +_e919c4ce3d7541ff85e46b2e6ff2aebf->_ef41d0c1c91d4ce8a3c091ce0e3e95a4 + + + + + +_ef41d0c1c91d4ce8a3c091ce0e3e95a4->Person + + +C + + + +_ef41d0c1c91d4ce8a3c091ce0e3e95a4->hasChild + + +P + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/swrl-rule-class-atom.svg b/docs/modules/ROOT/assets/images/swrl-rule-class-atom.svg new file mode 100644 index 00000000..c0340a45 --- /dev/null +++ b/docs/modules/ROOT/assets/images/swrl-rule-class-atom.svg @@ -0,0 +1,51 @@ + + + + + + +G + + + +_91ae55983bb24bb999c4ec109444635e + +Student(?a) + +⇒ + +Person(?a) + + + +Person + +⬤ + +Person + + + +_91ae55983bb24bb999c4ec109444635e->Person + + + + + +Student + +⬤ + +Student + + + +_91ae55983bb24bb999c4ec109444635e->Student + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/swrl-rule-data-range-atom.svg b/docs/modules/ROOT/assets/images/swrl-rule-data-range-atom.svg new file mode 100644 index 00000000..cd7353d3 --- /dev/null +++ b/docs/modules/ROOT/assets/images/swrl-rule-data-range-atom.svg @@ -0,0 +1,65 @@ + + + + + + +G + + + +Person + +⬤ + +Person + + + +age + +▬ + +age + + + +_170e5ffb7d2b4bfd8090218dd56e6bdc + +Person(?p) ∧ int [>= 18](?a) ∧ age(?p, ?a) + +⇒ + +Adult(?p) + + + +_170e5ffb7d2b4bfd8090218dd56e6bdc->Person + + + + + +_170e5ffb7d2b4bfd8090218dd56e6bdc->age + + + + + +Adult + +⬤ + +Adult + + + +_170e5ffb7d2b4bfd8090218dd56e6bdc->Adult + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/swrl-rule-object-property-atom.svg b/docs/modules/ROOT/assets/images/swrl-rule-object-property-atom.svg new file mode 100644 index 00000000..d2e6ebaf --- /dev/null +++ b/docs/modules/ROOT/assets/images/swrl-rule-object-property-atom.svg @@ -0,0 +1,65 @@ + + + + + + +G + + + +hasBrother + +▬ + +hasBrother + + + +hasParent + +▬ + +hasParent + + + +hasUncle + +▬ + +hasUncle + + + +_6492106e1bbe47e1804753dd3c6fabac + +hasParent(?a, ?b) ∧ hasBrother(?b, ?c) + +⇒ + +hasUncle(?a, ?c) + + + +_6492106e1bbe47e1804753dd3c6fabac->hasBrother + + + + + +_6492106e1bbe47e1804753dd3c6fabac->hasParent + + + + + +_6492106e1bbe47e1804753dd3c6fabac->hasUncle + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/symmetric-object-property.svg b/docs/modules/ROOT/assets/images/symmetric-object-property.svg new file mode 100644 index 00000000..4e3fad05 --- /dev/null +++ b/docs/modules/ROOT/assets/images/symmetric-object-property.svg @@ -0,0 +1,33 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_cd513aba15de43c5b171a682f816bd66 + +symmetric + + + +P->_cd513aba15de43c5b171a682f816bd66 + + + + + \ No newline at end of file diff --git a/docs/modules/ROOT/assets/images/transitive-object-property.svg b/docs/modules/ROOT/assets/images/transitive-object-property.svg new file mode 100644 index 00000000..0d0ab8c0 --- /dev/null +++ b/docs/modules/ROOT/assets/images/transitive-object-property.svg @@ -0,0 +1,33 @@ + + + + + + +G + + + +P + +▬ + +P + + + +_751d96c87e804c1fa0e552595e6d56dc + +transitive + + + +P->_751d96c87e804c1fa0e552595e6d56dc + + + + + \ No newline at end of file diff --git a/gradle.properties b/gradle.properties index 7d521816..da42a35b 100644 --- a/gradle.properties +++ b/gradle.properties @@ -14,4 +14,4 @@ # limitations under the License. # -version=snapshot \ No newline at end of file +version=1.2.3 \ No newline at end of file