摘要：
IFC转换为RDF并在Protege中查看 IFC为建筑信息模型的存储提供了一个准则。IFC文件有许多表述模式，例如STEP、RDF、OWL。理论上来说，这些格式都是可以互相转化的。STEP的可读性不佳，但是转化成RDF/OWL后，就可以在Protege中进行查看，从而进一步了解IFC文件的组织格式 阅读全文
摘要：
Protege中推理引擎的测试使用 Hermit简介 （以下来自百度翻译） HermiT是使用Web本体语言（OWL）编写本体的推理机。给定一个OWL文件，HermiT可以确定本体是否一致，识别类之间的包容关系，等等。 HermiT是第一个公开的OWL推理机，它基于一个新的“hypertableau 阅读全文
摘要：
Open Live Writer open Live Writer是一个博客编辑器，使用它可以像在word中那样用所见即所得方式来写博客，不过也不能再使用markdown里的功能了。从Github中来看，这个项目已经有几年没有更新过了，也许是被微软放弃了。目前的OpenLiveWriter还存在很多 阅读全文
摘要：
和c语言相比，Java取消了指针等机制，在对链表的使用上，看起来和Python一样简单。 新建一个链表：链表的结构 Java内置了链表这一数据结构，通过Listnode即可声明一个链表对象： Listnode foo = new Listnode(0); 即使是自己定义链表对象，语法也很简单： cl 阅读全文
摘要：
Java字符串操作以及样例 样例来自leetcode 整数反转 Integer.toString(int x)：数值转字符串（类似的：Long.toString) str.substring(int x, int y)：取子串，从x位开始，y位结束 StringBuilder：提供一个可变的字符串， 阅读全文
摘要：
知识推理中的Tbox和Abox描述逻辑 Tbox（Theory，术语公理集） Tbox，术语公理，是关于概念术语的断言。Tbox定义了概念与概念之间的关系，例如：A Father is a man with property of hasChild。在其中，Father、man、hasChild本身 阅读全文
摘要：
本文参考：专家系统中的推理机实现 专家系统 专家系统：模仿人类专家的思维方式进行决策的人工智能算法，算法核心是“知识库（knowledge base）”和“推理机（inference engine）”。专家系统通常包括6个部分：人机交互界面、知识库、综合数据库、推理机、解释器、知识获取。 知识库：包 阅读全文
摘要：
Java网络爬虫编写 我最初刚学习Python时，对编程基本一窍不通，当时的想法很简单，只是为了学点简单的编程方便自己做点小玩意儿。当时自己编写的第一个应用就是爬虫，写完之后对Python的语法、模块安装、数据结构（虽然Python就不存在什么数据结构）等各种方面都有了入门级的了解。我个人认为，直接 阅读全文
摘要：
Maven入门 主要参考：https://www.runoob.com/maven/maven-tutorial.html 什么是Maven Maven 翻译为"专家"、"内行"，是 Apache 下的一个纯 Java 开发的开源项目。基于项目对象模型（缩写：POM）概念，Maven利用一个中央信息 阅读全文
摘要：
位运算 位运算是什么 位运算符主要针对二进制，它包括了：“与”、“非”、“或”、“异或”。从表面上看似乎有点像逻辑运算符，但逻辑运算符是针对两个关系运算符来进行逻辑运算，而位运算符主要针对两个二进制数的位进行逻辑运算。 A = 0011 1100 B = 0000 1101 A&B = 0000 1 阅读全文