A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
Linked-Data based Constraint-Checking (LDCC) to support look-ahead planning in construction
2020
Automation in Construction
Preserved Fulltext
It presents a Linked-Data based Constraint-Checking (LDCC) approach, using the Shapes Constraint Language (SHACL). ...
A prototype web application is developed using this approach and evaluated using an OpenBIM dataset. ...
There are two types of shapes in SHACL: the node shape and property shape. • Node shapes are constraints that act on subject resources (or concept instances) of a specific type (the type can be defined ...
doi:10.1016/j.autcon.2020.103369
fatcat:dm4fllw77zcshi5jyuy27pyhxy
Validating RDF Data: ShEx and SHACL compared
[article]
2018
Figshare
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Slides about Validating RDF data, comparing ShEx and SHACL ...
ShEx semantics: mathematical concepts Well-founded semantics* Recursion and negation using stratification Inspired by type systems and RelaxNG SHACL semantics = textual description + SPARQL SHACL terms ...
See: http://hl7-fhir.github.io/observation-example-bloodpressure.ttl.html A type can be used in multiple contexts, e.g. foaf:PersonNodes are not necessarily annotated with discriminating types Nodes with ...
doi:10.6084/m9.figshare.7406435.v1
fatcat:6fvunxjmujdf5nu5v6fci57lb4
Declaratively Describing Responses of Hypermedia-Driven Web APIs
2017
Proceedings of the Knowledge Capture Conference on - K-CAP 2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Based on this model, we conclude that a SHACL shape-based approach can be used for declaring such a parameterized response structure, as it conforms to the REST architectural style that has helped shape ...
While humans browse the Web by following links, these hypermedia links can also be used by machines for browsing. ...
ACKNOWLEDGEMENTS We would like to thank Holger Knublauch for providing his insights into the SHACL declarations. ...
doi:10.1145/3148011.3154467
dblp:conf/kcap/TaelmanV17
fatcat:hoebfxxqrfahfmy3vamptbyi4u
Domains: Safe sharing among actors
2015
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
The actor model is a concurrency model that avoids issues such as deadlocks and data races by construction, and thus facilitates concurrent programming. ...
While it has mainly been used for expressing distributed computations, it is equally useful for modeling concurrent computations in a single shared memory machine. ...
Shacl), but are not checked by the implementation. ...
doi:10.1016/j.scico.2014.02.008
fatcat:voqzbbwywba5zjls7danccnlpi
Methods and techniques for management of ontolodgy-based knowledge representation models in the context of BIG data
2021
PROBLEMS IN PROGRAMMING
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
For this case, the shapes constraint language (SHACL) for information validation was reviewed as the key method. ...
The main purpose of the SHACL data validation is to check information according to the range of conditions. ...
As above-described reasoners and other programs suitable for ontology-based knowledge representation model management, RacerPRO is used for optimized tableaux algorithm implementation. ...
doi:10.15407/pp2021.04.019
fatcat:qmn4howe2bcjri3fxjpmuhea34
Validating and describing linked data portals using shapes
[article]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
As a use case, we specify a data model inspired by the WebIndex data model, a medium size linked data portal, using both ShEx and SHACL, and we propose a benchmark that can generate compliant test data ...
Two schema language proposals have recently emerged for describing the structures of RDF graphs: Shape Expressions (ShEx) and Shapes Constraint Language (SHACL). ...
In this way, it can be used to measure the time it takes the validator to check datasets with invalid data. ...
arXiv:1701.08924v1
fatcat:5v5hoankobhktmstjhvfz45k4m
A Review of SHACL: From Data Validation to Schema Reasoning for RDF Graphs
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
We also cover practical aspects of SHACL, discussing its implementations and state of adoption, to present a holistic review useful to practitioners and theoreticians alike. ...
We examine a number of related problems, from containment and satisfiability to the interaction of SHACL with inference rules, and exhibit how different modellings of the language are useful for different ...
Other applications of shacl include type checking program code [27] and detecting metadata errors in clinical studies [22] . shacl is also used by the European Commission to facilitate data sharing, ...
arXiv:2112.01441v1
fatcat:sug2scbtd5hetg22qz2bakzmmy
Astrea: automatic generation of SHACL shapes from ontologies
2019
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This resource is Astrea-KG, a Knowledge Graph that publishes a set of mappings that encode the equivalent conceptual restrictions among ontology constraint patterns and SHACL constraints patterns. ...
Additionally, this article was also partially funded by a Predoctoral grant from the I+D+i program of the Universidad Politécnica de Madrid. ...
Example of SPARQL query using the vocabulary proposed in this work for each ontollogy the OntologyManager checks if the statement owl:import is present. ...
doi:10.5281/zenodo.6023400
fatcat:3hj2onuxxjhzjm5mxvivqho6ku
Astrea: Automatic Generation of SHACL Shapes from Ontologies
[chapter]
2020
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Knowledge Graphs (KGs) that publish RDF data modelled using ontologies in a wide range of domains have populated the Web. ...
restrictions among ontology constraint patterns and SHACL constraint patterns, and (2) Astrea, a tool that automatically generates SHACL shapes from a set of ontologies by executing the mappings from ...
Additionally, this article was also partially funded by a Predoctoral grant from the I+D+i program of the Universidad Politécnica de Madrid. ...
doi:10.1007/978-3-030-49461-2_29
fatcat:zvietxhtvncltokjtwnhw6cs5i
Domains: Sharing state in the communicating event-loop actor model
2016
Computer languages, systems & structures
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This facilitates concurrent programming, especially in the context of complex interactive applications where modularity, security and fault-tolerance are required. ...
We introduce four types of domains, namely immutable, isolated, observable and shared domains that each are tailored to a certain access pattern on that shared state. ...
Future-type messages. Many actor languages include future-type messages to overcome this issue of code fragmentation when using callbacks. ...
doi:10.1016/j.cl.2016.01.003
fatcat:g3tfpfojnrhpzhvxwxwatokgam
LDScript: A Linked Data Script Language
[chapter]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
selection of the function to be applied to a resource depending on the type of the resource. ...
In addition to the existing standards dedicated to representation or querying, Semantic Web programmers could really benefit from a dedicated programming language enabling them to directly define functions ...
We successfully implemented several use cases with LDScript, among which a SHACL validator. As future work, we will work on type checking function definition. ...
doi:10.1007/978-3-319-68288-4_13
fatcat:yqshkbcwynfw7msdjo32xei4vy
D2.2. – Data Services
2021
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The developed services are based on the detailed analysis of business, data and technical requirements of all use cases. The best practices and standards are taken in consideretion as well. ...
There are included brief description of the main functionalitites for each service, example illustrated with screenshots and discussion about the main tools and technologies used in the implementation. ...
It acts as a regular text editor for usage with codes. ...
doi:10.5281/zenodo.4593574
fatcat:msvdfr4wljerfnygdzflnfpahe
Building a Knowledge Graph from schema.org annotations
2020
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Technically:
» JSON files
» SHACL syntax
» "Shapes" drawn around the schema.org-vocabulary tree
» every DS corresponds to a SHACL file
» SHACL is a W3C Standard
25
KGC 2020 I Kärle & Simsek I ...
Decide on Metric
Weights
Each metric may have
different impact on
the calculation of the
dimension to which
they belong
Check out the workshop website for a list of tools! ...
doi:10.5281/zenodo.3909447
fatcat:thiu32ax7jc7liorxe7zuisc7y
Formalizing Parameter Constraints to Support Intelligent Geoprocessing: A SHACL-Based Method
2021
ISPRS International Journal of Geo-Information
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
methods developed to formalize parameter constraints are either designed based on ill-suited assumptions, which may not correctly identify the invalid parameter inputs situation, or are inefficient to use ...
This paper proposes a novel method to formalize the parameter constraints of geoprocessing tools, based on a high-level and standard constraint language (i.e., SHACL) and geoprocessing ontologies, under ...
Data Availability Statement: The data graphs, shapes, and programming code to generate the data graphs and validation reports that support this study's findings are available with the identifier at the ...
doi:10.3390/ijgi10090605
fatcat:iyfc47od3nhvvdgdimuqrzhqru
Enabling Automatic Discovery and Querying of Web APIs at Web Scale using Linked Data Standards
2019
Companion Proceedings of The 2019 World Wide Web Conference on - WWW '19
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We apply these principles to the concrete case of SPARQL micro-services that aim at querying Web APIs using SPARQL. ...
The proposed solution leverages SPARQL Service Description, SHACL, DCAT, VoID, Schema.org and Hydra to express a rich functional description that allows a software agent to decide whether a microservice ...
nodeShape shacl : property [
27
shacl : path rdf : type ; shacl : hasValue ? class
28
]
29
}
30
31
[] sp : subject ? subject ; sp : predicate ?predicate; sp : object ? ...
doi:10.1145/3308560.3317073
dblp:conf/www/MichelFCG19
fatcat:efmlsfnh5jcjncsdg3mx4p2zx4
« Previous
Showing results 1 — 15 out of 114 results