從 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=建議) (幫助)