跳到内容

MWSQuery公司

跳到底部 编辑 新建页面
mgladkova编辑了这个页面2015年11月14日·4次修订

MwsQuery是MathWebSearch系统可以处理的原始查询方法。它不是一种查询语言，而是数学ML它引入了一些特定于查询的标记和属性。

引入的标签包括查询,经验和qvar（量化变量），均在mws命名空间中定义。MwsQuery的根元素始终是mws:查询它可以具有以下属性：

  • 极限（limitmin）-溶液范围内的偏移量（INT）
  • 回答-要返回的最大解决方案数（INT）
  • 总需求量-布尔值，显示除指定数量的解决方案外是否请求了总计数（“yes”/“no”）
  • 输出-MwsAnswerSet的格式（“xml”|“json”）

一个mws:查询是mws:表达式包含实际Math的节点，编码为ContentMathML。重要的补充是，在ContentMathML中，可以自由使用mws:qvar标记来指定通用变量。请注意mws:qvar被认为是其名称，并且具有相同名称的qvars将与相同的表达式匹配。

一个mws:查询是mws:表达式包含实际Math的节点，编码为ContentMathML。重要的补充是，在ContentMathML中，可以自由使用mws:qvar标记来指定通用变量。请注意mws:qvar被视为其名称，具有相同名称的qvar将匹配相同的表达式。

以下是一些MwsQuery示例：

<?xml格式版本="1"?><!--
查询arity 3的运算符，前两个参数相等。
    --><分子量:查询
  圣诞节:分子量="网址：http://www.mathweb.org/mws/ns"
  圣诞节:米="http://www.w3.org/1998/Math/MathML"
  极限值="0"
  回答="30"
  总需求量="是的"
  输出="杰森"><分子量:快递><米:应用><分子量:qvar（量化变量）>操作</分子量:qvar（量化变量）><分子量:qvar（量化变量）>x个</分子量:qvar（量化变量）><分子量:qvar（量化变量）>x个</分子量:qvar（量化变量）><分子量:qvar（量化变量）>年</分子量:qvar（量化变量）></米:应用></分子量:快递></分子量:查询>
<?xml格式版本="1"?><!--
查询所有接近0的限制。
    --><分子量:查询
  圣诞节:分子量="http://www.mathweb.org/mws/ns"
  圣诞节:米="http://www.w3.org/1998/Math/MathML"
  极限值="0"
  回答="30"
  总需求量="是的"
  输出="杰森"><分子量:快递><米:应用><米:应用><米:csymbol符号 光盘="模棱两可的">下标</米:csymbol符号><米:限制/><米:应用><米:ci公司>→</米:ci公司><分子量:qvar（量化变量）>x个</分子量:qvar（量化变量）><米:中国 类型="整数">0</米:中国></米:应用></米:应用><分子量:qvar（量化变量）>年</分子量:qvar（量化变量）></米:应用></分子量:经验></分子量:查询>
<?xml格式版本="1"?><!--
特定常数（δ_0）查询
    --><分子量:查询
  圣诞节:分子量="http://www.mathweb.org/mws/ns"
  圣诞节:米="http://www.w3.org/1998/Math/MathML"
  极限值="0"
  大小为answsize="30"
  总需求量="是的"
  输出="杰森"><分子量:快递><米:应用><米:csymbol符号 光盘="模棱两可的">下标</米:符号><米:ci公司>δ</米:ci公司><米:中国 类型="整数">0</米:中国></米:应用></分子量:快递></分子量:查询>
添加自定义页脚
添加自定义侧边栏
在本地克隆此wiki