title: Modeling and validating HL7 FHIR profiles using semantic web Shape Expressions (ShEx).
abstract: HL7 Fast Healthcare Interoperability Resources (FHIR) is an emerging open standard for the exchange of electronic healthcare information. FHIR resources are defined in a specialized modeling language. FHIR instances can currently be represented in either XML or JSON. The FHIR and Semantic Web communities are developing a third FHIR instance representation format in Resource Description Framework (RDF). Shape Expressions (ShEx), a formal RDF data constraint language, is a candidate for describing and validating the FHIR RDF representation.
  
  
  
  Create a FHIR to ShEx model transformation and assess its ability to describe and validate FHIR RDF data.
  
  
  
  We created the methods and tools that generate the ShEx schemas modeling the FHIR to RDF specification being developed by HL7 ITS/W3C RDF Task Force, and evaluated the applicability of ShEx in the description and validation of FHIR to RDF transformations.
  
  
  
  The ShEx models contributed significantly to workgroup consensus. Algorithmic transformations from the FHIR model to ShEx schemas and FHIR example data to RDF transformations were incorporated into the FHIR build process. ShEx schemas representing 109 FHIR resources were used to validate 511 FHIR RDF data examples from the Standards for Trial Use (STU 3) Ballot version. We were able to uncover unresolved issues in the FHIR to RDF specification and detect 10 types of errors and root causes in the actual implementation. The FHIR ShEx representations have been included in the official FHIR web pages for the STU 3 Ballot version since September 2016.
  
  
  
  ShEx can be used to define and validate the syntax of a FHIR resource, which is complementary to the use of RDF Schema (RDFS) and Web Ontology Language (OWL) for semantic validation.
  
  
  
  ShEx proved useful for describing a standard model of FHIR RDF data. The combination of a formal model and a succinct format enabled comprehensive review and automated validation.
authors.affiliation: Department of Health Sciences Research, Mayo Clinic, Rochester, MN, USA.
authors.forename: Harold R
authors.initials: HR
authors.lastname: Solbrig
authors.affiliation: Computer Science and Artificial Intelligence Laboratory, Massachusetts Institutes of Technology, Cambridge, MA, USA; World Wide Web Consortium (W3C), Cambridge, MA, USA.
authors.forename: Eric
authors.initials: E
authors.lastname: Prud'hommeaux
authors.affiliation: Health Intersections Pty Ltd, Victoria, Australia.
authors.forename: Grahame
authors.initials: G
authors.lastname: Grieve
authors.affiliation: Gevity Consulting Inc, Vancouver, BC, Canada.
authors.forename: Lloyd
authors.initials: L
authors.lastname: McKenzie
authors.affiliation: Harvard Medical School Department of Biomedical Informatics, Boston, MA, USA.
authors.forename: Joshua C
authors.initials: JC
authors.lastname: Mandel
authors.affiliation: Department of Health Sciences Research, Mayo Clinic, Rochester, MN, USA.
authors.forename: Deepak K
authors.initials: DK
authors.lastname: Sharma
authors.affiliation: Department of Health Sciences Research, Mayo Clinic, Rochester, MN, USA. Electronic address: Jiang.Guoqian@mayo.edu.
authors.forename: Guoqian
authors.initials: G
authors.lastname: Jiang
mesh_terms: D000465:Algorithms; D057286:Electronic Health Records; D006801:Humans; D020407:Internet; D012660:Semantics
keywords: HL7 Fast Healthcare Interoperability Resources (FHIR); Quality assurance; Resource Description Framework (RDF); Semantic web technology; Shape Expressions (ShEx)