- From: Mikael Pesonen <mikael.pesonen@lingsoft.fi>
- Date: Mon, 18 Oct 2021 11:58:47 +0300
- To: Franconi Enrico <franconi@inf.unibz.it>
- Cc: "semantic-web@w3.org" <semantic-web@w3.org>
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 Kauppiaskatu 5 A FI-20100 Turku FINLAND
Received on Monday, 18 October 2021 08:59:06 UTC