Modeling from A to Z/Modeling principles/O is for OWL-DL

OWL-DL 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 lawsFitzgerald&Jones 1998, p.6: 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 There is a very good overview of OWL which is publicly avaiiable. Protégé-OWL For practical work we suggest the Protégé-OWL editor. Semantic Web Rule Language A very brief overview of the SWRL is available. Notes 2 Reading links Bicarregui Juan Carlos (editor), Proof in VDM: case studies Springer-Verlag 1988 London 978-3540761860 John Fitzgerald Cliff B. Jones A Tracking System Proof in VDM: Case Studies Juan Carlos Bicarregui London: Springer-Verlag London 1-29 1998