Modeling from A to Z/Modeling principles/O is for OWL-DL
OWL-DL
editLet 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 Language
editThere is a very good overview of OWL which is publicly avaiiable.
Protégé-OWL
editFor practical work we suggest the Protégé-OWL editor.
Semantic Web Rule Language
editA very brief overview of the SWRL is available.
Notes
edit- ↑ Fitzgerald&Jones 1998, p.6
Reading links
edit- Bicarregui, Juan Carlos (editor), (1988). Proof in VDM: case studies. London: Springer-Verlag. ISBN 978-3540761860.
{{cite book}}
:|first=
has generic name (help); Cite has empty unknown parameter:|coauthors=
(help)CS1 maint: extra punctuation (link) - Fitzgerald, John (1998). "A Tracking System". In Bicarregui, Juan Carlos (ed.). Proof in VDM: Case Studies. London: London: Springer-Verlag. pp. 1–29.
{{cite book}}
: Cite has empty unknown parameter:|coeditors=
(help); Unknown parameter|coauthors=
ignored (|author=
suggested) (help)