搜索资源列表
templatelib-owl
- 数据结构学习的小例子，附详细源代码，学习stl时用的
owl-s-1.0.1
- 开发owl的API,提供了W3C规定标准接口,是目前比较少的API.-development owl API provides a standard interface W3C, is the relatively small API.
pellet-2.3.0一种基于Tableau算法的描述逻辑推理机
- Pellet是一种基于Tableau算法的描述逻辑推理机，由美国马里兰大学（College Park分校）的MindSwap实验室开发。此为最近的更新-Pellet is an OWL 2 reasoner. Pellet provides standard and cutting-edge reasoning services for OWL ontologies. For applications that need to represent and reason about
Protege-new
- 此新手入门对应protege3.1.x版本。通过制作一个简单的动物本体，来使大家了解protege建立owl的基础用法。-This entry corresponds to protege3.1.x version of the novice. Through the production of a simple animal body, to make everyone understand the protege to establish the basis for usage of owl
ProtegeOWLTutorialP3_v1_0
- 本文档通过构建一个Pizza本体库，详细主要介绍protege-owl 3.x的具体使用方法和owl语法规则。-This guide introduces the Prot´ eg´ e-OWL plugin for creating OWL ontologies.And gives a brief overview of the OWL ontology language
Qt_Project
- 泡泡龙是一款很受欢迎的小游戏，画面简洁，操作简单容易，是很适合娱乐休闲的游戏。 Qt是一个1991年由奇趣科技开发的跨平台C++图形用户界面应用程序开发框架。它既可以开发GUI程式，也可用于开发非GUI程式，比如控制台工具和服务器。Qt是面向对象的框架，使用特殊的代码生成扩展（称为元对象编译器(Meta Object Compiler, moc)）以及一些宏，易于扩展，允许组件编程。基本上，Qt 同 X Window 上的 Motif、Openwin、GTK 等图形界面库和 Windows