Skip to content

Commit

Permalink
Changed the sample listing for the majority of Reasoning layer rules …
Browse files Browse the repository at this point in the history 
…(C.05, C.07, R.03, R.04, R.06, R.11, R.12, R.16, R.17), not to redeclare the concepts that were declared in the core layer, but only refer to them.
  • Loading branch information
@csnyulas
csnyulas committed Jun 24, 2023
1 parent 0cfbf70 commit b62a769
Show file tree
Hide file tree
Showing 2 changed files with 40 additions and 40 deletions.
42 changes: 21 additions & 21 deletions docs/modules/ROOT/pages/transformation/transf-rules1.adoc
View file
Original file line number Diff line number Diff line change
Expand Up @@ -236,34 +236,34 @@ The domain of properties created for attributes that are reused in multiple clas
.Data property domain specification in Turtle syntax
[source,Turtle]
----
:attribute1 a owl:DatatypeProperty ;
:attribute1
rdfs:domain :ClassName ;
.
----
|
.Data property domain specification in RDF/XML syntax
[source,XML]
----
<owl:DatatypeProperty rdf:about = "http://base.onto.uri/attribute1">
<rdf:Description rdf:about = "http://base.onto.uri/attribute1">
<rdfs:domain rdf:resource = "http://base.onto.uri/ClassName"/>
</owl:DatatypeProperty>
</rdf:Description>
----
|
.Object property domain specification in Turtle syntax
[source,Turtle]
----
:attribute2 a owl:ObjectProperty ;
:attribute2
rdfs:domain :ClassName ;
.
----
|
.Object property domain specification in RDF/XML syntax
[source,XML]
----
<owl:ObjectProperty rdf:about = "http://base.onto.uri/attribute2">
<rdf:Description rdf:about = "http://base.onto.uri/attribute2">
<rdfs:domain rdf:resource = "http://base.onto.uri/ClassName"/>
</owl:ObjectProperty>
</rdf:Description>
----
|===
Expand All @@ -275,7 +275,7 @@ For reused attributes, like the ones depicted in <<fig:attribute-visual-reuse>>,
.Data property domain specification for reused attributes in Turtle syntax
[source,Turtle]
----
:attribute1 a owl:DatatypeProperty ;
:attribute1
rdfs:domain [
rdf:type owl:Class ;
owl:unionOf (
Expand All @@ -289,7 +289,7 @@ For reused attributes, like the ones depicted in <<fig:attribute-visual-reuse>>,
.Data property domain specification for reused attributes in RDF/XML syntax
[source,XML]
----
<owl:DatatypeProperty rdf:about = "http://base.onto.uri/attribute1">
<rdf:Description rdf:about = "http://base.onto.uri/attribute1">
<rdfs:domain>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
Expand All @@ -298,14 +298,14 @@ For reused attributes, like the ones depicted in <<fig:attribute-visual-reuse>>,
</owl:unionOf>
</owl:Class>
</rdfs:domain>
</owl:DatatypeProperty>
</rdf:Description>
----
|
.Object property domain specification for reused attributes in Turtle syntax
[source,Turtle]
----
:attribute2 a owl:ObjectProperty ;
:attribute2
rdfs:domain [
rdf:type owl:Class ;
owl:unionOf (
Expand All @@ -319,7 +319,7 @@ For reused attributes, like the ones depicted in <<fig:attribute-visual-reuse>>,
.Object property domain specification for reused attributes in RDF/XML syntax
[source,XML]
----
<owl:ObjectProperty rdf:about = "http://base.onto.uri/attribute2">
<rdf:Description rdf:about = "http://base.onto.uri/attribute2">
<rdfs:domain>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
Expand All @@ -328,7 +328,7 @@ For reused attributes, like the ones depicted in <<fig:attribute-visual-reuse>>,
</owl:unionOf>
</owl:Class>
</rdfs:domain>
</owl:ObjectProperty>
</rdf:Description>
----
|===
Expand Down Expand Up @@ -387,34 +387,34 @@ The range of object properties created for attributes that are reused in multipl
.Data property range specification in Turtle syntax
[source,Turtle]
----
:attribute1 a owl:DatatypeProperty;
:attribute1
rdfs:range xsd:string;
.
----
|
.Data property range specification in RDF/XML syntax
[source,XML]
----
<owl:DatatypeProperty rdf:about = "http://base.onto.uri/attribute1">
<rdf:Description rdf:about = "http://base.onto.uri/attribute1">
<rdfs:range rdf:resource = "http://www.w3c.org...#string"/>
</owl:DatatypeProperty>
</rdf:Description>
----
|
.Object property range specification in Turtle syntax
[source,Turtle]
----
:attribute2 a owl:ObjectProperty;
:attribute2
rdfs:range :OtherClass;
.
----
|
.Object property range specification in RDF/XML syntax
[source,XML]
----
<owl:ObjectProperty rdf:about = "http://base.onto.uri/attribute2">
<rdf:Description rdf:about = "http://base.onto.uri/attribute2">
<rdfs:range rdf:resource = "http://base.onto.uri/OtherClass"/>
</owl:ObjectProperty>
</rdf:Description>
----
|===
Expand All @@ -426,7 +426,7 @@ For reused attributes, like the ones depicted in <<fig:attribute-visual-reuse>>,
.Object property range specification for reused attributes in Turtle syntax
[source,Turtle]
----
:attribute2 a owl:ObjectProperty;
:attribute2
rdfs:range [
rdf:type owl:Class ;
owl:unionOf (
Expand All @@ -440,7 +440,7 @@ For reused attributes, like the ones depicted in <<fig:attribute-visual-reuse>>,
.Object property range specification for reused attributes in RDF/XML syntax
[source,XML]
----
<owl:ObjectProperty rdf:about = "http://base.onto.uri/attribute2">
<rdf:Description rdf:about = "http://base.onto.uri/attribute2">
<rdfs:range>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
Expand All @@ -449,7 +449,7 @@ For reused attributes, like the ones depicted in <<fig:attribute-visual-reuse>>,
</owl:unionOf>
</owl:Class>
</rdfs:range>
</owl:ObjectProperty>
</rdf:Description>
----
|===
Expand Down
38 changes: 19 additions & 19 deletions docs/modules/ROOT/pages/transformation/transf-rules2.adoc
View file
Original file line number Diff line number Diff line change
Expand Up @@ -118,17 +118,17 @@ Specify object property domain for the target end of the association/dependency.
.Domain specification in Turtle syntax
[source,Turtle]
----
:relationName a owl:ObjectProperty ;
:relationName
rdfs:domain :ClassName ;
.
----
|
.Domain specification in RDF/XML syntax
[source,XML]
----
<owl:ObjectProperty rdf:about = "http://base.onto.uri/relationName">
<rdf:Description rdf:about = "http://base.onto.uri/relationName">
<rdfs:domain rdf:resource = "http://base.onto.uri/ClassName"/>
</owl:ObjectProperty>
</rdf:Description>
----
|===

Expand All @@ -146,17 +146,17 @@ Specify object property range for the target end of the association.
.Range specification in Turtle syntax
[source,Turtle]
----
:relationName a owl:ObjectProperty ;
:relationName
rdfs:range :ClassName ;
.
----
|
.Range specification in RDF/XML syntax
[source,XML]
----
<owl:ObjectProperty rdf:about = "http://base.onto.uri/relationName">
<rdf:Description rdf:about = "http://base.onto.uri/relationName">
<rdfs:range rdf:resource = "http://base.onto.uri/ClassName"/>
</owl:ObjectProperty>
</rdf:Description>
----
|===

Expand Down Expand Up @@ -204,7 +204,7 @@ For the association/dependency target multiplicity, where min and max are differ
.Min cardinality restriction in Turtle syntax
[source,Turtle]
----
:ClassName a owl:Class ;
:ClassName
rdfs:subClassOf [ a owl:Restriction ;
owl:minCardinality "1"^^xsd:integer;
owl:onProperty :relationName ;
Expand All @@ -215,14 +215,14 @@ For the association/dependency target multiplicity, where min and max are differ
.Min cardinality restriction in RDF/XML syntax
[source,XML]
----
<owl:Class rdf:about = "http://base.onto.uri/ClassName">
<rdf:Description rdf:about = "http://base.onto.uri/ClassName">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource = "http://base.onto.uri/relationName"/>
<owl:minCardinality rdf:datatype="http://www.w3.org...#integer" >1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
</rdf:Description>
----
|===

Expand Down Expand Up @@ -381,9 +381,9 @@ Specify an inverse object property axiom between the source and target ends of t
.Declaring an inverse property in RDF/XML syntax
[source,XML]
----
<owl:ObjectProperty rdf:about = "http://base.onto.uri/relatesTo">
<rdf:Description rdf:about = "http://base.onto.uri/relatesTo">
<owl:inverseOf rdf:resource = "http://base.onto.uri/isRelatedTo"/>
</owl:ObjectProperty>
</rdf:Description>
----
|===

Expand Down Expand Up @@ -413,9 +413,9 @@ Specify object property range for the target end of the dependency.
.Range specification in RDF/XML syntax
[source,XML]
----
<owl:ObjectProperty rdf:about = "http://base.onto.uri/relationName">
<rdf:Description rdf:about = "http://base.onto.uri/relationName">
<rdfs:range rdf:resource = ".../02/skos/core#Concept"/>
</owl:ObjectProperty>
</rdf:Description>
----
|===
Expand Down Expand Up @@ -552,9 +552,9 @@ Specify equivalent class axiom for the generalisation with `\<<equivalent>>` or
.Class equivalence in RDF/XML syntax
[source,XML]
----
<owl:Class rdf:about = "http://base.onto.uri/ClassName">
<rdf:Description rdf:about = "http://base.onto.uri/ClassName">
<owl:equivalentClass rdf:resource = "http://base.onto.uri/SuperClass"/>
</owl:Class>
</rdf:Description>
----
|===

Expand All @@ -578,12 +578,12 @@ Specify equivalent property axiom for the generalisation with `\<<equivalent>>`
.Property equivalence in RDF/XML syntax
[source,XML]
----
<owl:ObjectProperty rdf:about = "http://base.onto.uri/hasSister">
<rdf:Description rdf:about = "http://base.onto.uri/hasSister">
<owl:equivalentProperty rdf:resource = "http://base.onto.uri/relatesTo"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about = "http://base.onto.uri/isSisterOf">
</rdf:Description>
<rdf:Description rdf:about = "http://base.onto.uri/isSisterOf">
<owl:equivalentProperty rdf:resource = "http://base.onto.uri/isRelatedTo"/>
</owl:ObjectProperty>
</rdf:Description>
----
|===

Expand Down

0 comments on commit b62a769

Please sign in to comment.