(window.webpackJsonp=window.webpackJsonp||[]).push([[208],{81:function(e,i,d){"use strict";d.r(i),d.d(i,"STATIC_RULESETS",(function(){return n})),d.d(i,"REPOSITORY_TYPES",(function(){return o})),d.d(i,"FILENAME_PATTERN",(function(){return t})),d.d(i,"NUMBER_PATTERN",(function(){return r}));const n=[{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"}],o={graphdbRepo:"graphdb",free:"free",eeWorker:"worker",eeMaster:"master",ontop:"ontop",se:"se",fedx:"fedx"},t=new RegExp("^[a-zA-Z0-9-_]+$"),r=new RegExp("^[0-9]+$")}}]);