比如"我"是person类的一个个体，我现在没有孩子，那应该理解成"我"的"hasChild"属性映射到空呢，还是理解成"我"没有haschild这个属性呢？

要回答这个问题，首先我们应明确：
何谓“我现在没有孩子”（1楼）
何谓"实例是否具有某个属性" (4楼)

这里有两种理解：
（1）“没有“或“是否具有“，指的是知识库中__没有__或__不存在___
（2）客观的理解，即客观地看“是否应当“具有

我采取（1）

我在3楼的回答没有说清楚，实际上我说”没有hasChild“指的是知识库中没有明确指出hasChild与某个个体关联。

我们来看一下OWL Semantics & Abstract Syntax中对allvaluesfrom的解释：

restriction(p allValuesFrom(r))  的语义是：{x ∈ O | <x,y> ∈ ER(p) implies y ∈ EC(r)}  

这里符号比较多，我重新表述一下：{x∈所有个体的集合|   三元组（x, p, y) 成立 --> y是r的一个实例 }  ，注意，这里的 --->  是逻辑蕴含

也就是说，如果明确说明 a isA person, 而且 a hasChild b那么 b isA person。
如果 没有明确说明 是否 a isA person，那么 结果不一定。