W3C home > Mailing lists > Public > semantic-web@w3.org > October 2021

OWL reasoning with numbers

From: Mikael Pesonen <mikael.pesonen@lingsoft.fi>
Date: Fri, 15 Oct 2021 17:13:27 +0300
To: semantic-web@w3.org
Message-ID: <e689f95f-15f1-4227-e48b-5ee732cf5030@lingsoft.fi>

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
Received on Friday, 15 October 2021 14:14:43 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:46:10 UTC