Modeling from A to Z/Modeling principles/O is for OWL-DL
OWL-DLEdit
Let us begin with a focus on our running example: the Tracking Management System. Some of the key terms we use are related to containers and materials. Here are some containment laws[1]:
- The contents of any container must be known.
- Crates contain only packages.
- Packages contain only raw material.
- Liners contain only packages.
- Drums contain only pucks and liners.
- Pucks contain only one liner of non-liquor material.
Semantic Web Ontology LanguageEdit
There is a very good overview of OWL which is publicly avaiiable.
Protégé-OWLEdit
For practical work we suggest the Protégé-OWL editor.
Semantic Web Rule LanguageEdit
A very brief overview of the SWRL is available.
NotesEdit
- ↑ Fitzgerald&Jones 1998, p.6
Reading linksEdit
- Bicarregui, Juan Carlos (editor), (1988). Proof in VDM: case studies. London: Springer-Verlag. ISBN 978-3540761860.
- Fitzgerald, John; Cliff B. Jones (1998). "A Tracking System". in Bicarregui, Juan Carlos. Proof in VDM: Case Studies. London: London: Springer-Verlag. pp. 1-29.