From cd67db643687fecc218dd4825af9e3e40d2410a9 Mon Sep 17 00:00:00 2001 From: Nico Matentzoglu Date: Thu, 26 Oct 2023 09:30:53 +0300 Subject: [PATCH] Add FHKB OWL files to tutorial --- docs/resources/fhkb/fhkb_chapter_10.owl | 625 ++++++++++++++++++++++++ docs/resources/fhkb/fhkb_chapter_2.owl | 318 ++++++++++++ docs/resources/fhkb/fhkb_chapter_3.owl | 119 +++++ docs/resources/fhkb/fhkb_chapter_4.owl | 245 ++++++++++ docs/resources/fhkb/fhkb_chapter_5.owl | 305 ++++++++++++ docs/resources/fhkb/fhkb_chapter_6.owl | 112 +++++ docs/resources/fhkb/fhkb_chapter_7.owl | 466 ++++++++++++++++++ docs/resources/fhkb/fhkb_chapter_8.owl | 86 ++++ docs/resources/fhkb/fhkb_chapter_9.owl | 436 +++++++++++++++++ docs/tutorial/fhkb.md | 65 ++- 10 files changed, 2742 insertions(+), 35 deletions(-) create mode 100644 docs/resources/fhkb/fhkb_chapter_10.owl create mode 100644 docs/resources/fhkb/fhkb_chapter_2.owl create mode 100644 docs/resources/fhkb/fhkb_chapter_3.owl create mode 100644 docs/resources/fhkb/fhkb_chapter_4.owl create mode 100644 docs/resources/fhkb/fhkb_chapter_5.owl create mode 100644 docs/resources/fhkb/fhkb_chapter_6.owl create mode 100644 docs/resources/fhkb/fhkb_chapter_7.owl create mode 100644 docs/resources/fhkb/fhkb_chapter_8.owl create mode 100644 docs/resources/fhkb/fhkb_chapter_9.owl diff --git a/docs/resources/fhkb/fhkb_chapter_10.owl b/docs/resources/fhkb/fhkb_chapter_10.owl new file mode 100644 index 000000000..3da571af4 --- /dev/null +++ b/docs/resources/fhkb/fhkb_chapter_10.owl @@ -0,0 +1,625 @@ + + + + + + + +]> + + + + + + + + http://mowl-power.cs.man.ac.uk/fhkbtutorial/1.1/ontology/fhkb_chapter_9.owl + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/docs/resources/fhkb/fhkb_chapter_2.owl b/docs/resources/fhkb/fhkb_chapter_2.owl new file mode 100644 index 000000000..eb093bfae --- /dev/null +++ b/docs/resources/fhkb/fhkb_chapter_2.owl @@ -0,0 +1,318 @@ + + + + + + + +]> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/docs/resources/fhkb/fhkb_chapter_3.owl b/docs/resources/fhkb/fhkb_chapter_3.owl new file mode 100644 index 000000000..dc6c05381 --- /dev/null +++ b/docs/resources/fhkb/fhkb_chapter_3.owl @@ -0,0 +1,119 @@ + + + + + + + +]> + + + + + + + + http://mowl-power.cs.man.ac.uk/fhkbtutorial/1.1/ontology/fhkb_chapter_2.owl + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/docs/resources/fhkb/fhkb_chapter_4.owl b/docs/resources/fhkb/fhkb_chapter_4.owl new file mode 100644 index 000000000..833e21765 --- /dev/null +++ b/docs/resources/fhkb/fhkb_chapter_4.owl @@ -0,0 +1,245 @@ + + + + + + + +]> + + + + + + + + http://mowl-power.cs.man.ac.uk/fhkbtutorial/1.1/ontology/fhkb_chapter_3.owl + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/docs/resources/fhkb/fhkb_chapter_5.owl b/docs/resources/fhkb/fhkb_chapter_5.owl new file mode 100644 index 000000000..90e5af739 --- /dev/null +++ b/docs/resources/fhkb/fhkb_chapter_5.owl @@ -0,0 +1,305 @@ + + + + + + + +]> + + + + + + + + + http://mowl-power.cs.man.ac.uk/fhkbtutorial/1.1/ontology/fhkb_chapter_4.owl + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/docs/resources/fhkb/fhkb_chapter_6.owl b/docs/resources/fhkb/fhkb_chapter_6.owl new file mode 100644 index 000000000..7067820df --- /dev/null +++ b/docs/resources/fhkb/fhkb_chapter_6.owl @@ -0,0 +1,112 @@ + + + + + + + +]> + + + + + + + + http://mowl-power.cs.man.ac.uk/fhkbtutorial/1.1/ontology/fhkb_chapter_5.owl + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/docs/resources/fhkb/fhkb_chapter_7.owl b/docs/resources/fhkb/fhkb_chapter_7.owl new file mode 100644 index 000000000..57ab887fc --- /dev/null +++ b/docs/resources/fhkb/fhkb_chapter_7.owl @@ -0,0 +1,466 @@ + + + + + + + +]> + + + + + + + + + http://mowl-power.cs.man.ac.uk/fhkbtutorial/1.1/ontology/fhkb_chapter_6.owl + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1895 + + + + + Rever + + + + + Charles + + + + + Herbert + + + + + 1966 + + + + + Bright + + + + + Clare + + + + + 1934 + + + + + Bright + + + + + David + + + + + 1929 + + + + + Rever + + + + + Eileen + + + + + Mary + + + + + 1959 + + + + + Bright + + + + + Ian + + + + + 1906 + + + + + Archer + + + + + Iris + + + + + Ellen + + + + + 1964 + + + + + Bright + + + + + James + + + + + 1964 + + + + + Bright + + + + + Janet + + + + + 1930 + + + + + Bright + + + + + John + + + + + 1966 + + + + + Bright + + + + + Julie + + + + + 1934 + + + + + Rever + + + + + Margaret + + + + + Grace + + + + + 1960 + + + + + Heath + + + + + Mark + + + + + Anthony + + + + + 1956 + + + + + Bright + + + + + Mark + + + + + 1964 + + + + + Heath + + + + + Nicholas + + + + + Charles + + + + + 1941 + + + + + Bright + + + + + Peter + + + + + William + + + + + 1962 + + + + + Bright + + + + + Richard + + + + + John + + + + + 1965 + + + + + Bright + + + + + Robert + + + + + David + + + + + 1894 + + + + + Steward + + + + + Violet + + + + + Sylvia + + + + + 1970 + + + + + Bright + + + + + William + + + + + 1901 + + + + + Bright + + + + + William + + + + + George + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/docs/resources/fhkb/fhkb_chapter_8.owl b/docs/resources/fhkb/fhkb_chapter_8.owl new file mode 100644 index 000000000..d1cd9d8ed --- /dev/null +++ b/docs/resources/fhkb/fhkb_chapter_8.owl @@ -0,0 +1,86 @@ + + + + + + + +]> + + + + + + + + http://mowl-power.cs.man.ac.uk/fhkbtutorial/1.1/ontology/fhkb_chapter_7.owl + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/docs/resources/fhkb/fhkb_chapter_9.owl b/docs/resources/fhkb/fhkb_chapter_9.owl new file mode 100644 index 000000000..3a725308d --- /dev/null +++ b/docs/resources/fhkb/fhkb_chapter_9.owl @@ -0,0 +1,436 @@ + + + + + + + +]> + + + + + + + + + http://mowl-power.cs.man.ac.uk/fhkbtutorial/1.1/ontology/fhkb_chapter_8.owl + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1958 + + + + + 1955 + + + + + 1964 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + #m001 + Marriage of David and Margaret + + + + #m002 + Marriage of John and Joyce + + + + #m003 + Marriage of Peter and Diana + + + + + + + diff --git a/docs/tutorial/fhkb.md b/docs/tutorial/fhkb.md index 7d3580e48..2077f6520 100644 --- a/docs/tutorial/fhkb.md +++ b/docs/tutorial/fhkb.md @@ -140,6 +140,8 @@ all the information. [**A FHKB Family Data**](#fhkb-family-data) +[**All FHKB owl files for download**](#fhkb-owl) + ## Preamble ### 0.1 Licencing @@ -317,12 +319,11 @@ Facts: hasFather mr_plinth, hasMother mrs_plinth ![camera](../images/FHKB%20figures/images/black_camera.png) -``` -While asserting facts about all individuals in the FHKB will be a bit tedious at + +> While asserting facts about all individuals in the FHKB will be a bit tedious at times, it might be useful to at least do the task for a subset of the family members. For the impatient reader, there is a convenience snapshot of the ontology including -the raw individuals available at http://owl.cs.manchester.ac.uk/tutorials/fhkbtutorial -``` +the raw individuals available [below](#fhkb-owl). ![noteiconsmall](../images/FHKB%20figures/images/NoteIconSmall.png) ``` @@ -391,9 +392,7 @@ In this Chapter you will: ![camera](../images/FHKB%20figures/images/black_camera.png) -``` -Find a snapshot of the ontology at this stage at http://owl.cs.manchester.ac.uk/tutorials/fhkbtutorial. -``` +> Find a snapshot of the ontology at this stage [below](#fhkb-owl). ## 3.1 Ancestors and Descendants @@ -770,10 +769,7 @@ In this chapter you will: ![camera](../images/FHKB%20figures/images/black_camera.png) -``` -There is a snapshot of the ontology as required at this point in the tutorial available -at http://owl.cs.manchester.ac.uk/tutorials/fhkbtutorial -``` +> Find a snapshot of the ontology at this stage [below](#fhkb-owl). ### 5.1 Blood relations @@ -1083,10 +1079,7 @@ In this chapter you will: ![camera](../images/FHKB%20figures/images/black_camera.png) -``` -There is a snapshot of the ontology as required at this point in the tutorial available -at http://owl.cs.manchester.ac.uk/tutorials/fhkbtutorial -``` +> Find a snapshot of the ontology at this stage [below](#fhkb-owl). ### 6.1 Richard and Robert’s Parents and Ancestors @@ -1190,10 +1183,7 @@ We now have some individuals with some basic object properties between individua ![camera](../images/FHKB%20figures/images/black_camera.png) -``` -There is a snapshot of the ontology as required at this point in the tutorial available -at http://owl.cs.manchester.ac.uk/tutorials/fhkbtutorial. -``` +> Find a snapshot of the ontology at this stage [below](#fhkb-owl). ### 7.1 Adding Some Data Properties for Event Years @@ -1209,10 +1199,8 @@ We can have dates for birth, death and (eventually) marriage (see Chapter 9) and ![camera](../images/FHKB%20figures/images/black_camera.png) -``` -Again, asserting birth years for all individuals can be a bit tedious. The reader -can find a convenience snapshot of the ontology at this stage at http://owl.cs.manchester.ac.uk/tutorials/fhkbtutorial -``` +> Again, asserting birth years for all individuals can be a bit tedious. Find a snapshot of the ontology at this stage [below](#fhkb-owl). + We now have an ABox with individuals with fact assertions to data indicating a birth year. We can, if we wish, also add a class restriction to the `Person` class saying that each and every instance of the class `Person` holds a data property to an integer and that this property is called ‘hasBirthYear’. As usual when deciding whether to place such a restriction upon a class, ask whether it is true that each and every instance of the class holds that property; this is exactly the same as we did for the object properties in Chapter 4. Everyone does have a birth year, even if it is not known. @@ -1363,10 +1351,7 @@ In this Chapter you will ![camera](../images/FHKB%20figures/images/black_camera.png) -``` -There is a snapshot of the ontology as required at this point in the tutorial available -at http://owl.cs.manchester.ac.uk/tutorials/fhkbtutorial -``` +> Find a snapshot of the ontology at this stage [below](#fhkb-owl). ![dragon](../images/FHKB%20figures/dragon.png) @@ -1515,10 +1500,7 @@ In this chapter you will: ![camera](../images/FHKB%20figures/images/black_camera.png) -``` -There is a snapshot of the ontology as required at this point in the tutorial available -at http://owl.cs.manchester.ac.uk/tutorials/fhkbtutorial -``` +> Find a snapshot of the ontology at this stage [below](#fhkb-owl). ![warnicon](../images/FHKB%20figures/images/WarningIcon.png) @@ -1681,10 +1663,7 @@ In this chapter you will: ![camera](../images/FHKB%20figures/images/black_camera.png) -``` -There is a snapshot of the ontology as required at this point in the tutorial available -at http://owl.cs.manchester.ac.uk/tutorials/fhkbtutorial -``` +> Find a snapshot of the ontology at this stage [below](#fhkb-owl). ### 10.1 Adding Defined Classes @@ -1823,6 +1802,22 @@ OWL 2 on its own and using it in this style, really does not work for family his | William George Bright 1901 | William | George | Bright | 1901 | Charlotte Hewett 1863 | Henry Edmund Bright 1862 | | William Rever 1870 | William | none | Rever | 1870 | not specified | not specified | + + +# FHKB OWL Files for Download + +| Chapter | FHKB snapshot | +|---------|---------------------| +| 2 | [download](../resources/fhkb/fhkb_chapter_2.owl) | +| 3 | [download](../resources/fhkb/fhkb_chapter_3.owl) | +| 4 | [download](../resources/fhkb/fhkb_chapter_4.owl) | +| 5 | [download](../resources/fhkb/fhkb_chapter_5.owl) | +| 6 | [download](../resources/fhkb/fhkb_chapter_6.owl) | +| 7 | [download](../resources/fhkb/fhkb_chapter_7.owl) | +| 8 | [download](../resources/fhkb/fhkb_chapter_8.owl) | +| 9 | [download](../resources/fhkb/fhkb_chapter_9.owl) | +| 10 | [download](../resources/fhkb/fhkb_chapter_10.owl) | + # Bibliography [1] M. Horridge and S. Bechhofer. The owl api: a java api for working with owl 2 ontologies. _Proc. of