使用Protege4和CO-ODE工具构建OWL本体的实用指南-1.3版本（序）

作者：Matthew Horridge

Chapter 1-Introduction

本指南介绍了使用Protege4创建OWL本体的内容。Chapter3给出了一个关于OWL本体语言的简洁概述。Chapter4专注于创建一个OWL-DL本体和使用DLR（Description Logic Reasoner）描述逻辑推理机检测本体的一致性（consistency）和自动计算本体类的层次（hierarchy）结构。Chapter7描述了一些在主教程中没有直接使用的内容OWL结构（constructs），例如：hasValue限制和枚举类（Enumerated classes）。

1.1 Conventions（约定管理）
类Class、属性property和个人名称individual names都是用无衬线字体(sans serif)编写的：

用户界面视图名称（Names for user interface views）表现为：

当练习需要将信息输入Protege4时，使用打字机字体：

练习和所需的教程步骤如下：