A Family History Knowledge Base in OWL 2
Robert Stevens, Nicolas Matentzoglu, Ulrike Sattler, Margaret Stevens · Research Explorer (The University of Manchester) · 2014
Abstract. This paper presents a challenging Family History Knowledge Base (FHKB) authored in OWL 2 DL. Originally, the FHKB was de-signed to act as a tool for education, especially about OWL 2’s features and the use of automated reasoners. As a result, the FHKB has been constructed to maximise use of inference. For individuals representing people, only genealogical assertions on parentage and sparse assertions of siblinghood are given explicitly. All other genealogical inferences are driven by a rich property hierarchy, property characteristics and subprop-erty chains. A rich collection of entailments are generated, but reasoners struggle to handle a version with all of Robert’s known relatives. 1