Re: [protege-user] Enumerated Classes and Puns: TBox or ABox?

My five pence:

The formal definition is as follows:

Tbox - axioms of the form in Tables 1,3-9.

Abox - axioms of the form in Table 10.

Tables see OWL 2 Web Ontology Language Direct Semantics (Second Edition)
<https://www.w3.org/TR/owl2-semantics/> or OWL 2 Functional Style operators
from HOL point of view
<https://www.researchgate.net/publication/336363623_OWL_2_Functional_Style_operators_from_HOL_point_of_view>
.

If MDB rewrites his examples in OWL2 Functional style we can classify them
properly.

If we compare with FOL or HOL, a constant of the theory is a very important
term but it goes to Abox.

If in the ontology we store a theory and a structure that satisfies this
theory, then the data axioms (tables 3, 7–9) should probably be separated
into Dbox (narrowing Tbox)⛈️

Alex


пт, 15 авг. 2025 г. в 01:03, Michael DeBellis <[email protected]>:

> I've seen a few users in the past ask about ways to separate TBox from
> ABox and I've wanted to do that myself. For me it is mostly to be able to
> keep using Protege even when the amount of data is so large that it isn't
> practical to load the complete graph into Protege.
>
> I've been trying to write some SPARQL to do this and there are two issues
> I was wondering about: Enumerated Classes and Puns. Should these be in the
> TBox or ABox? Conceptually, it seems to me that in both cases these are
> about the Terminology not data so they belong in the TBox, but I think
> technically since they are still instances they probably go in the ABox.
>
> E.g., in my version of the Pizza tutorial there is an enumerated class
> called Spiciness with the definition: {Hot, Medium, Mild}. Those values
> aren't data, they are ways to tag Pizzas into different categories along
> the Spiciness dimension. Also, for the use cases I have in mind, I would
> definitely want those to be included in the excerpt from a big knowledge
> graph that I wanted to load into Protege, because what I want to do is view
> and possibly edit the model without the data and the model won't be correct
> without the individuals that define any enumerated classes.
>
> Similarly for puns. Yes, they are instances and they do hold data but the
> data isn't for any specific individual it can represent all sorts of things
> like metadata or default values but in all use cases that I can think of it
> seems to me the puns belong in the TBox but my guess is that the official
> answer would be they are instances and instances go in the ABox.
>
> Actually, as I think about it, this could come up in other ways too. E.g.,
> once I had classes that were organized based on the state they were in.
> E.g., classes like California_Data, Illionois_Data and they had axioms like
> "has_state value California" or if we define an Adult as a Person whose age
> is equal to or greater than the xsd:decimal 18 those definitions and the
> numbers should also be in the TBox, even though normally an xsd:decimal
> would be in the ABox.
>
> 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