A Solution for the Man-Man Problem in the Family History Knowledge Base

The Family History Knowledge Base (FHKB) was presented at OWLED in 2008. The FHKB uses a rich object property hierarchy, including many OWL 2 features, to derive many entailments on some 450 individuals representing the Stevens family. In the ABox, only parent relationships and some sibling relationships (either isSisterOf or isBrotherOf) are asserted. Using a sparse assertion of brother or sister relationships, together with information about gender, other sibling relationships should be able to be inferred. The inability to do this in OWL has been described as the ‘Man-Man’ problem, and various workarounds have been discussed. We describe a new solution to this issue, implemented in the reasoner FaCT++. This solution allows to capture axioms such as ‘My male siblings are my brothers’, and we have added them to the FHKB. The number of entailments about, for instance, sibling relationships increases significantly without increasing the number of asserted facts about members of...

• Type: Conference
• Year: 2009
• Where: SEMWEB
• Authors: Dmitry Tsarkov, Ulrike Sattler, Robert Stevens
• Keywords: Internet Technology, Rich Object Property, SEMWEB 2009, Sibling Relationships, Stevens Family