Re: Disjoint classes from Lorenz Buehmann on 2018-03-06 (public-lod@w3.org from March 2018)

From: Lorenz Buehmann <buehmann@informatik.uni-leipzig.de>
Date: Tue, 6 Mar 2018 11:43:30 +0100
To: public-lod@w3.org
Message-ID: <cb55692b-afb3-1dc3-5a9e-cb60cbdae7de@informatik.uni-leipzig.de>

"Improve" or "prove" ?

Without instances? If you're using an OWL reasoner, you can check for
logical disjointness, i.e. there is a set of axioms from which this
entailment can be derived.

> how I can prove that Person class and Place class of DBpedia are disjoint
What means "prove"? Load the DBpedia schema and check via an OWL reasoner.


On 06.03.2018 10:38, Olivier rozin wrote:
> Hello everybody,
>
> I am looking for a way to improve that 2 classes are disjoint without
> taking into account the instances. In other words, how I can prove
> that Person class and Place class of DBpedia are disjoint?
>
> Thanks a lot for your help!
> Olivier
>

Received on Tuesday, 6 March 2018 10:43:59 UTC