Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Updating references #3

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions Chapters/MoTion/Motion.md
Original file line number Diff line number Diff line change
Expand Up @@ -99,9 +99,9 @@ The pattern nodes, or the nodes of the pattern graph, are represented by a set o
When a pattern is matched to a target graph, it means that (i) every pattern node is matched to a target node of the same type, (ii) every pattern edge is matched to a target edge of the same type, (iii) all predicates are satisfied, and (iv) the logical formula is satisfied.
This mapping of pattern variables to target graph nodes is referred to as the target nodes of the match.

A vast range of data from many domains can be represented by graphs {!citation|ref=Libk16a!} where Resource Description Framework (RDF) {!citation|ref=Worl14a!} graph and Property Graph (PG) {!citation|ref=Angl17a!} are commonly used to represent this data {!citation|ref=Deut22a!}.
A vast range of data from many domains can be represented by graphs {!citation|ref=Libk16a!} where Resource Description Framework (RDF) {!citation|ref=WS14a!} graph and Property Graph (PG) {!citation|ref=Angl17a!} are commonly used to represent this data {!citation|ref=Deut22a!}.

An RDF graph is equivalent to a set of triples, of node-labeled edge-node, to represent the data {!citation|ref=Thak17a!} {!citation|ref=Deut22a!}, and SPARQL {!citation|ref=Worl13a!} is the language that is capable of handling large-scale analytical operations over RDF graphs {!citation|ref=Thak17a!}. It uses a syntax with patterns expressed in triple form (subject-predicate-object) {!citation|ref=Krau16a!} using a combination of variables and specific resources or literals. The objects and subjects match nodes, and the predicates match edges.
An RDF graph is equivalent to a set of triples, of node-labeled edge-node, to represent the data {!citation|ref=Thak17a!} {!citation|ref=Deut22a!}, and SPARQL {!citation|ref=WS14a!} is the language that is capable of handling large-scale analytical operations over RDF graphs {!citation|ref=Thak17a!}. It uses a syntax with patterns expressed in triple form (subject-predicate-object) {!citation|ref=Krau16a!} using a combination of variables and specific resources or literals. The objects and subjects match nodes, and the predicates match edges.

```language=sql&caption=SPARQL example&label=rdfQuery
SELECT DISTINCT ?name
Expand Down Expand Up @@ -222,7 +222,7 @@ Line 4 is a variable that will hold a description of the type of `obj` (line 5)
- Some languages allow to match an object not only on its structure, but also on the value an attribute should have.

We found several libraries that complement programming languages by introducing pattern matching capabilities.
Tom {!citation|ref=Pier03a!} and Rascal {!citation|ref=Klin11a!} integrate with Java, and Kiama {!citation|ref=Sloa09a!} integrates
Tom {!citation|ref=More03a!} and Rascal {!citation|ref=Klin11a!} integrate with Java, and Kiama {!citation|ref=Sloa09a!} integrates
with Scala.
Tom and Rascal cover features that were not covered natively by Java like _Path traversal_, _Recursive traversal_, _Object matching_ and _Complex lists_. Kiama and Rascal enable transformation through the definition of strategies. These strategies employ pattern matching to identify the terms requiring transformation.
Strategy execution in Kiama can proceed in different directions either top-down or bottom-up.
Expand Down
39 changes: 19 additions & 20 deletions Chapters/MoTion/motion.bib
Original file line number Diff line number Diff line change
Expand Up @@ -49,12 +49,12 @@ @inproceedings{Jami12a
organization={IEEE}
}


@article{Worl14a,
title={RDF 1.1 concepts and abstract syntax},
author={World Wide Web Consortium and others},
year={2014},
publisher={World Wide Web Consortium}
@misc{WS14a,
author = {World Wide Web Consortium and others},
title = {RDF 1.1 concepts and abstract syntax},
publisher = {World Wide Web Consortium},
year = {2014},
url = {https://www.w3.org/TR/rdf11-concepts/}
}

@article{Angl17a,
Expand All @@ -68,11 +68,12 @@ @article{Angl17a
publisher={ACM New York, NY, USA}
}

@article{Worl13a,
title={SPARQL 1.1 overview},
author={World Wide Web Consortium and others},
year={2013},
publisher={World Wide Web Consortium}
@misc{WS13a,
author = {World Wide Web Consortium and others},
title = {SPARQL 1.1 overview},
publisher = {World Wide Web Consortium},
year = {2013},
url = {https://www.w3.org/TR/sparql11-overview/}
}

@inproceedings{Fran18a,
Expand All @@ -99,15 +100,13 @@ @inproceedings{Angl18a
year={2018}
}



@inproceedings{Pier03a,
title={A pattern matching compiler for multiple target languages},
author={Pierre-Etienne, Moreau and Ringeissen, Christophe and Vittek, Marian},
booktitle={International Conference on Compiler Construction},
pages={61--76},
year={2003},
organization={Springer}
@inproceedings{More03a,
author = {Pierre-Etienne, Moreau and Ringeissen, Christophe and Vittek, Marian},
title = {A pattern matching compiler for multiple target languages},
booktitle = {International Conference on Compiler Construction},
pages = {61--76},
year = {2003},
organization = {Springer}
}

@inproceedings{Gall95c,
Expand Down
39 changes: 19 additions & 20 deletions sample1.bib
Original file line number Diff line number Diff line change
Expand Up @@ -72,12 +72,12 @@ @inproceedings{Jami12a
organization={IEEE}
}


@article{Worl14a,
title={RDF 1.1 concepts and abstract syntax},
author={World Wide Web Consortium and others},
year={2014},
publisher={World Wide Web Consortium}
@misc{WS14a,
author = {World Wide Web Consortium and others},
title = {RDF 1.1 concepts and abstract syntax},
publisher = {World Wide Web Consortium},
year = {2014},
url = {https://www.w3.org/TR/rdf11-concepts/}
}

@article{Angl17a,
Expand All @@ -91,11 +91,12 @@ @article{Angl17a
publisher={ACM New York, NY, USA}
}

@article{Worl13a,
title={SPARQL 1.1 overview},
author={World Wide Web Consortium and others},
year={2013},
publisher={World Wide Web Consortium}
@misc{WS13a,
author = {World Wide Web Consortium and others},
title = {SPARQL 1.1 overview},
publisher = {World Wide Web Consortium},
year = {2013},
url = {https://www.w3.org/TR/sparql11-overview/}
}

@inproceedings{Fran18a,
Expand All @@ -122,15 +123,13 @@ @inproceedings{Angl18a
year={2018}
}



@inproceedings{Pier03a,
title={A pattern matching compiler for multiple target languages},
author={Pierre-Etienne, Moreau and Ringeissen, Christophe and Vittek, Marian},
booktitle={International Conference on Compiler Construction},
pages={61--76},
year={2003},
organization={Springer}
@inproceedings{More03a,
author = {Pierre-Etienne, Moreau and Ringeissen, Christophe and Vittek, Marian},
title = {A pattern matching compiler for multiple target languages},
booktitle = {International Conference on Compiler Construction},
pages = {61--76},
year = {2003},
organization = {Springer}
}

@inproceedings{Gall95c,
Expand Down
Loading