Re: OWL reasoning with numbers https://lists.w3.org/Archives/Public/semantic-web/2021Oct/0025.html Class: :Child SubClassOf: :hasAge only xsd:nonNegativeInteger[>=0, <=17] といったTBoxを用いてIndividual: :Lamprocles Facts: :hasAge "14"^^xsd:nonNegativeIntegerがChildと推論されないのはなぜ？→サブクラスではなくEquivalentToが必要