# Re: OWL reasoning with numbers

From: Mikael Pesonen <mikael.pesonen@lingsoft.fi>
Date: Mon, 18 Oct 2021 11:58:47 +0300
To: Franconi Enrico <franconi@inf.unibz.it>

Message-ID: <006ddb96-097b-6163-93e1-dd70c99fc82c@lingsoft.fi>
```
Of course, replacing

SubClassOf:            :hasAge only xsd:nonNegativeInteger[>=0, <=17]

with

EquivalentTo:            :hasAge only xsd:nonNegativeInteger[>=0, <=17]

solved the issue. Thank you!

On 15/10/2021 17.37, Franconi Enrico wrote:
> This is because Lamprocles is not necessarily a Child.
> You need to state that anybody with an age between 0 and 17 is a Child, for example by stating that Child is equivalent (rather that just a subclass) to minors.
> --e.
>
>> On 15 Oct 2021, at 16:13, Mikael Pesonen <mikael.pesonen@lingsoft.fi> wrote:
>>
>> Hi,
>>
>> I have following definitions (Manchester syntax)
>>
>> # TBox --------------------------------------------------------------------
>>
>> Class: :Child
>>      DisjointUnionOf:    :Boy, :Girl
>>      SubClassOf:            :hasAge only xsd:nonNegativeInteger[>=0, <=17]
>>
>> Class: :Male
>> Class: :Female
>>
>> Class: :Person
>>      DisjointUnionOf:    :Male, :Female
>>
>> Class: :Boy
>>      EquivalentTo:        :Child AND :Male
>> Class: :Girl
>>      EquivalentTo:        :Child AND :Female
>>
>> DataProperty: :hasAge
>>      Domain:                owl:Thing
>>      Range:                xsd:nonNegativeInteger
>>      Characteristics:    Functional
>>
>> #ABox --------------------------------------------------------------------
>>
>> Individual: :Lamprocles
>>      Types:                :Male
>>      Facts:                :hasAge "14"^^xsd:nonNegativeInteger
>>
>>
>> I am trying to infer following
>>
>> Individual: :Lamprocles
>>      Types:    :Boy
>>
>> Should that be possible, or is there some error in my thinking? Robot reasoner tool doesn't give explanation to this with any of the supported reasoners (HermiT, ELK...).
>>
>> Other basic stuff works, such as
>> Individual: :Lamprocles
>>      Types:    :Person
>>
>>
>>

--
Lingsoft - 30 years of Leading Language Management

www.lingsoft.fi

Speech Applications - Language Management - Translation - Reader's and Writer's Tools - Text Tools - E-books and M-books

Mikael Pesonen
System Engineer

e-mail: mikael.pesonen@lingsoft.fi
Tel. +358 2 279 3300

Time zone: GMT+2

Helsinki Office
EtelĂ¤ranta 10
FI-00130 Helsinki
FINLAND

Turku Office