Jump to content

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

Add links
From Wikibooks, open books for an open world
< Modeling from A to Z | Modeling principles
This page may need to be reviewed for quality.

OWL-DL

[edit | edit source]

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]:

  1. The contents of any container must be known.
  2. Crates contain only packages.
  3. Packages contain only raw material.
  4. Liners contain only packages.
  5. Drums contain only pucks and liners.
  6. Pucks contain only one liner of non-liquor material.

Semantic Web Ontology Language

[edit | edit source]

There is a very good overview of OWL which is publicly avaiiable.

Protégé-OWL

[edit | edit source]

For practical work we suggest the Protégé-OWL editor.

Semantic Web Rule Language

[edit | edit source]

A very brief overview of the SWRL is available.

Notes

[edit | edit source]
  1. ↑ Fitzgerald&Jones 1998, p.6

Reading links

[edit | edit source]
  1. 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)
  2. 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)
Retrieved from "https://en.wikibooks.org/wiki/Modeling_from_A_to_Z/Modeling_principles/O_is_for_OWL-DL"