graphdb-workbench/dist/14319.ce802e00c541547015de.bundle.js

The web application for GraphDB APIs

export const __webpack_id__=14319;export const __webpack_ids__=[14319];export const __webpack_modules__={14319:(e,i,d)=>{d.r(i),d.d(i,{FILENAME_PATTERN:()=>t,NUMBER_PATTERN:()=>p,REPOSITORY_TYPES:()=>m,STATIC_RULESETS:()=>o});const o=[{id:"empty",name:"No inference"},{id:"rdfs-optimized",name:"RDFS (Optimized)"},{id:"rdfs",name:"RDFS"},{id:"rdfsplus-optimized",name:"RDFS-Plus (Optimized)"},{id:"owl-horst-optimized",name:"OWL-Horst (Optimized)"},{id:"owl-horst",name:"OWL-Horst"},{id:"owl2-ql-optimized",name:"OWL2-QL (Optimized)"},{id:"owl2-ql",name:"OWL2-QL"},{id:"owl-max-optimized",name:"OWL-Max (Optimized)"},{id:"owl-max",name:"OWL-Max"},{id:"owl2-rl-optimized",name:"OWL2-RL (Optimized)"},{id:"owl2-rl",name:"OWL2-RL"}],m={graphdbRepo:"graphdb",free:"free",eeWorker:"worker",eeMaster:"master",ontop:"ontop",se:"se",fedx:"fedx"},t=new RegExp("^[a-zA-Z0-9-_]+$"),p=new RegExp("^[0-9]+$")}};
//# sourceMappingURL=14319.ce802e00c541547015de.bundle.js.map