Re: [protege-user] Bottom Object and Data properties?

Thanks!

On Mon, Nov 17, 2025 at 6:32 PM Balhoff, Jim via protege-user <
[email protected]> wrote:

> Yes, they are both in here: https://www.w3.org/TR/owl2-direct-semantics/
>
> Try asserting a range of owl:Nothing for an object property, and if you
> run HermiT in Protégé you will see that property is equivalent to
> owl:bottomObjectProperty.
>
> On Nov 17, 2025, at 8:41 PM, Michael DeBellis <[email protected]>
> wrote:
>
> I've been writing up some extended documentation for OWL and Protege.
> ChatGPT just told me something I want to double check. I was working on
> some basic SPARQL queries to do manipulations like add labels to classes
> and properties and I wondered: is there an equivalent "bottom" for object
> and data properties that is analogous to owl:Nothing for classes? ChatGPT
> says that there is but that most tools (and I think Protege is like this)
> don't bother to show it the way they show owl:Nothing. Just wanted to
> verify that this is correct and that owl:bottomObjectProperty and
> owl:bottomDataProperty exist but aren't shown in Protege. (I think there is
> no equivalent for Annotation Properties because there is no need, the only
> reason you need those is for reasoning and annotation props aren't seen by
> the reasoner).
>
> Michael
> https://www.michaeldebellis.com/blog
> _______________________________________________
> protege-user mailing list
> [email protected]
> https://mailman.stanford.edu/mailman/listinfo/protege-user
>
>
> _______________________________________________
> protege-user mailing list
> [email protected]
> https://mailman.stanford.edu/mailman/listinfo/protege-user
>

_______________________________________________
protege-user mailing list
[email protected]
https://mailman.stanford.edu/mailman/listinfo/protege-user