Filters








114 Hits in 2.4 sec

Linked-Data based Constraint-Checking (LDCC) to support look-ahead planning in construction

Ranjith K. Soman, Miguel Molina-Solana, Jennifer K. Whyte
2020 Automation in Construction  
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]

Jose Emilio Labra Gayo
2018 Figshare  
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

Ruben Taelman, Ruben Verborgh
2017 Proceedings of the Knowledge Capture Conference on - K-CAP 2017  
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

Joeri De Koster, Stefan Marr, Theo D'Hondt, Tom Van Cutsem
2015 Science of Computer Programming  
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

O.V. Novytskyi, Institute of Software Systems NAS of Ukraine
2021 PROBLEMS IN PROGRAMMING  
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]

Jose-Emilio Labra-Gayo, Eric Prud'hommeaux, Harold Solbrig, Iovka Boneva
2017 arXiv   pre-print
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]

Paolo Pareti, George Konstantinidis
2021 arXiv   pre-print
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

Andrea Cimmino, Alba Fernández Izquierdo, Raúl García Castro
2019 Zenodo  
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]

Andrea Cimmino, Alba Fernández-Izquierdo, Raúl García-Castro
2020 Lecture Notes in Computer Science  
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

Joeri De Koster, Stefan Marr, Tom Van Cutsem, Theo D׳Hondt
2016 Computer languages, systems & structures  
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]

Olivier Corby, Catherine Faron-Zucker, Fabien Gandon
2017 Lecture Notes in Computer Science  
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

Svetla Boytcheva, Plamen Tarkalanov, Nikola Tulechki, Pavlin Gyurov, Nikola Rusinov
2021 Zenodo  
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

Elias Kärle, Umutcan Simsek, Dieter Fensel
2020 Zenodo  
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

Zhi-Wei Hou, Cheng-Zhi Qin, A-Xing Zhu, Yi-Jie Wang, Peng Liang, Yu-Jing Wang, Yun-Qiang Zhu
2021 ISPRS International Journal of Geo-Information  
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

Franck Michel, Catherine Faron-Zucker, Olivier Corby, Fabien Gandon
2019 Companion Proceedings of The 2019 World Wide Web Conference on - WWW '19  
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