具有ocr功能的在线公式编辑器，可以方便转换为latex格式
前言Protégé软件是斯坦福大学医学院生物信息研究中心基于Java语言开发的本体编辑和知识获取软件，或者说是本体开发工具，也是基于知识的编辑器，属于开放源代码软件。这个软件主要用于语义网中本体的构建
本文将介绍如何通过 Protege 构建 OWL 本体，文中使用的软件版本为 mac 上的 protege 5.5.0 桌面版。 1 OWL 本体简介OWL 是由 W3C 开发的一种本体描述语言，按照表达性可以被分为三类： OWL-Lite：可表达性最低OWL…
数学公式图形化操作一键生成公式图片和公式代码
Rete是拉丁文，对应英文是NET也就是网络的意思。在1974年由内基梅隆大学的 Charles L.Forgy 博士提出，该算法是一个快速的模式匹配算法，是一种在大量规则和大量对象之间进行规则匹配和比较的高效方法。Rete算法
www.w3.org
http://hi.baidu.com/tiangel/blog/item/e9c108faed2e138b9f5146cf.htmlString.matches() 这个方法主要是返回是否匹配指定的字符串，如果匹配则为true,否则为false;如：/** * 判断字符创是否是一个有效的日期 * * @param theStr * @r
