从 A 到 Z 的建模 / 建模原则 / O 代表 OWL-DL
< 从 A 到 Z 的建模 | 建模原则
让我们从关注我们的运行示例开始：跟踪管理系统。我们使用的一些关键术语与容器和材料相关。以下是一些包含法律[1]
- 任何容器的内容必须已知。
- 箱子只包含包裹。
- 包裹只包含原材料。
- 衬垫只包含包裹。
- 鼓只包含冰球和衬垫。
- 冰球只包含一层非酒类材料的衬垫。
有一个非常好的概述 OWL 是公开可用的。
对于实际工作，我们建议使用 Protégé-OWL 编辑。
一个非常简要的概述 SWRL 可用。
- ↑ Fitzgerald&Jones 1998，第 6 页
- Bicarregui，Juan Carlos（编辑），（1988 年）。VDM 中的证明：案例研究。伦敦：施普林格出版社。 ISBN 978-3540761860.
{{cite book}}:|first=具有通用名称 (帮助); Cite 具有空未知参数：|coauthors=(帮助)CS1 维持：额外的标点符号 (链接) - Fitzgerald，John（1998 年）。“跟踪系统”。在 Bicarregui，Juan Carlos（编辑）中。VDM 中的证明：案例研究。伦敦：伦敦：施普林格出版社。第 1-29 页。
{{cite book}}: Cite 具有空未知参数：|coeditors=(帮助); 未知参数|coauthors=被忽略 (|author=建议) (帮助)