Wikidata talk:WikiProject Ontology

From Wikidata
Jump to navigation Jump to search
SpBot archives all sections tagged with {{Section resolved|1=~~~~}} after 7 days. For the archive overview, see Archive/. The latest archive is located at Archive for 2024.

Disjointness violation for photograph (Q125191)[edit]

I got a disjointness warning (this is the graph), but I have no idea how to fix it. This is the warning message:

On class entidad it is stated that the following classes, and this is a subclass of them !
abstract entity (Q7048977)   concrete object (Q4406616)

FYI —Ismael Olea (talk) 09:43, 23 April 2024 (UTC)[reply]

@Olea: this is the same issue or related, moved in the topic. author  TomT0m / talk page 09:49, 23 April 2024 (UTC)[reply]

Floors and floorings[edit]

In the last days I have tried to disentangle some confusion around these concepts; I have tried to summarize the present situation in Talk:Q217164#Floor,_flooring,_floor_covering, some more checks are welcome. --Epìdosis 21:00, 30 March 2024 (UTC)[reply]

Bimodal object — aircraft and watercraft[edit]

water-based aircraft (Q20035742) currently is a subclass of two classes listed as disjoint ([1] see the report page for reference, also for reference the disjointness statement)

I think it's worth starting a discussion and eventually drafting a page about such cases.

Currently the disjointness clause seems to imply that an aircraft cannot be a boat and vice versa. Options : k

  1. keep it that way, find a way to add exceptions
  2. Add a "multimodal vehicle/bimodal vehicle" class to the disjointness list. Make aéroplane à amerrissage (Q20035742) a subclass of it.
  3. Others ? what do you think ?

In the option 2, we could add informations about "multimodal" items add statements to add the different modes. One option could be something along the lines of :

which would mean this kind of vehicle has an aircraft mode in the displacement place, and a boat mode in the stationing place.

One problem I see with this multimodal item model : it's primarily an aircraft but if we search for aircrafts instances we would not find it. Maybe it's actually wrong to think it that way in that case because basically all aircrafts have two modes, as they do not fly all the times ! author  TomT0m / talk page 08:37, 8 April 2024 (UTC)[reply]

ping @Swpb: who added the disjointness statement and might be interested author  TomT0m / talk page 08:52, 8 April 2024 (UTC)[reply]

EDIT also relevant for amphibious automobile (Q17099122)  View with Reasonator View with SQID and water-based aircraft (Q20035742)  View with Reasonator View with SQID and Q3679469) (weird because it's both a subclass of hovercraft and vessel)

@TomT0m: or just remove the claim that they are disjoint, when clearly they are not? ArthurPSmith (talk) 15:22, 8 April 2024 (UTC)[reply]
@ArthurPSmith It's a possibility yes, but almost all vehicles except a few cases have a main use. Look at some image results on "water-based aircraft" on a search engines, if these stuffs are boats, then earth-landing planes are cars, and we probably do not want to classify them as cars.
I think the right solution is actually to create a property "lands on" or "can operate on" for planes, and remove the "subclass of" for boats. Maybe we can generalize for other cases of vehicles. author  TomT0m / talk page 15:40, 8 April 2024 (UTC)[reply]
So remove the watercraft subclass statement on water-based aircraft (Q20035742) then? That sounds reasonable. However how would one handle amphibious vehicle (Q474698) which legitimately travel both on land and water? ArthurPSmith (talk) 17:31, 8 April 2024 (UTC)[reply]
Now we're talking !
If I look at the en description for land vehicle (Q1301433) I read "vehicle mainly meant to move on land, including wheeled, tracked, and walking vehicles".
If we take that seriously, and take the converse for watercraft (Q1229765) then their intersection is empty as no vehicle can be "mainly meant" for both.
I think we should keep in mind that they are the exception, globally. One solution that keeps disjointness could be to have distinct classes for "possible" (can operate on) and "only" (unimodal).
The disjointness could be between
Unimodal items would be subclasses of their "can operate on" counterpart, "land only vehicle" subclass-of "can operate on land vehicle".
This would allow to keep the disjoint that may be useful to spot errors while creating a few new items. Hovercraft would be a subclass of multimodal vehicle naturally. Car models would just subclasses of terrestrial only vehicle so few changes actually. Having an item for multimodal vehicles make sense. author  TomT0m / talk page 19:15, 8 April 2024 (UTC)[reply]
Hi, just dropping in to point at hybrid aircraft (Q20035774) and flying car (Q1423125) ... El Grafo (talk) 13:27, 11 April 2024 (UTC)[reply]

Q125391054 subclass of (and instance of?)[edit]

Upon noticing that de:Peripherie describes not only “spatial periphery” (the concept apparently modelled by periphery (Q10950926)) but a broader meaning of something fringe as opposed to the centre, I have created a new item for this meaning, Q125391054. However, I’m unsure how to connect it to the existing ontology. For the moment I have instance of (P31)concept (Q151885) (which is very abstract) and no idea which subclass of (P279) to put. (There is a constraint telling me that the item should have a subclass of (P279), since I’m using it as subclass of (P279) on periphery (Q10950926)).

de:Peripherie gives various examples of concrete usages of the abstract term: in mathematics (circumference of a circle), geography (the periphery (Q10950926) meaning), in medicine (limbs of mammals), in political science (societies around a centre of power, in marxism), sociology (opposite of hegemony (Q182034)), computer engineering (peripheral (Q178648)), physiology (something relatively far apart from the centre of a biological object such as a cell or a body), something perspective-related in philosophy I don’t quite understand, and event technology (equipment arranged around a mixing console). I’m very unsure how to subordinate all these meanings under a singe superclass. --Data Consolidation Officer (talk) 12:01, 8 April 2024 (UTC)[reply]

It's very abstract, so it's probably high in the class tree. It's also potentially used in various abstraction context, so I'd make it a subclass of variable-order class (Q23958852).
My intuition is that it's also some kind of "parametric type" (in the programming language stuff) : it's always the boundary of something. (I don't think we really have thought this kind of stuffs through in Wikidata yet). So my intuition would be that it could be used as something like
⟨ boundary of a geometrical object ⟩ instance of (P31) View with SQID ⟨ Peripherie ⟩
of (P642) View with SQID ⟨ geometrical object ⟩
(although the "of" qualifier is deprecated, maybe a new one is required for this kind of parametric metaclass)
Using this for classes to be instances of, a true metaclass it avoid breaking barriers of abstraction, if we use as something to be a subclass of (a kind of superclass for all boundaries kind) we risk its instance of to systematically be instance of "abstract object", where seacoasts for example lives in the concrete world. author  TomT0m / talk page 16:37, 8 April 2024 (UTC)[reply]
Done. If I understand the example correctly, there should rather be an item for (the class) “boundary of a geometrical object” and individual boundaries should be instance of (P31) of that class (the replacement for of (P642) would then go with the subclass of (P279) statement of the “boundary of a geometrical object” class?). --Data Consolidation Officer (talk) 12:10, 12 April 2024 (UTC)[reply]

Forgeries, fakes, and the like[edit]

I think we don't currently have a model or properties for items that are fakes or feints, forgeries or stuffs like that. I noticed the class items for this are not well structured yet.

I also launched a property proposal :  Wikidata:Property proposal/is fake of to link the "fake" item to the class of stuff it is faking.

List of items that may be relevant:

May be relevant to the model
simulates (P12328) View with SQID, which may be also related to the proposition model for as a simulation is based on running a model of the world, weird unintended connection of two of my own proposals author  TomT0m / talk page 09:40, 12 April 2024 (UTC)[reply]

Subclasses and instances[edit]

Hi. A lot of items are both instances and subclasses of something else. I would like to know what is the current consensus on this topic. Should they be removed, or are they accepted? Cheers, Lepticed7 (talk) 11:34, 11 April 2024 (UTC)[reply]

If the stuff is the same in both cases it's very probably a mistake, if not I guess now we got several properties for metaclasses like is metaclass for (P8225) or metasubclass of (P2445) so there can be statements of both kind. author  TomT0m / talk page 11:45, 11 April 2024 (UTC)[reply]
What seems odd to me is that in tree-like representation of an ontology, the instances are generally the leaves of the tree, while the classes are branches. And what I’m looking for is to know if there are some conventions that describe those choices, which are unconventional compared to classical ontologies? Lepticed7 (talk) 12:00, 11 April 2024 (UTC)[reply]
@Lepticed7: Help:Basic membership properties describes how we think of these here on Wikidata. A class may not have any instances on Wikidata, but it generally should be something that could have real-world instances. ArthurPSmith (talk) 16:04, 11 April 2024 (UTC)[reply]
It is partly for some technical reasons that "classical" ontologies do not use classes of classes, but this is something that have some use and is doable on Wikidata. OWL introduced a technique called "punning" to be able to do that, and considering the nature of Wikidata of course it's useful.
An example, besides the one given in the references of Help:BMP this is one example in which we need it :  atoms and elements.
Atoms are the real word objects, they are all instances of the "atom" class. They are of different nature of course, and "hydrogen atom" is a subclass of all atoms, as any hydrogen atom is an atom. "Tritium" is a kind of hydrogen, so it's a subclass of hydrogen of course.
All this happens in the same tree, and all instances of some class of this tree is a real world object. Now comes elements and isotopes … we did not need those concept to classify atom. And no single atom is an isotope by itself. So we would like to express that "Hydrogen is an element" but we cannot use "subclass of" … if we did we could run into absurdities such as "the atom used on that atomic clock for sync is an element", and that would make the "element concept" a synonym for "atom" (any atom would be an element).
Classical ontologies typically don't use the "element" concept, then, it could be considered useless for application (you know what kind of element it is, that's enough, so they can afford to just use "subclass of").
But if we actually want to model the "element" concept we could use the level of "classes of classes", a "meta" level. That can be seen as an analog to the concept of "rank" in taxonomy (a taxon can be ranked "species" or "reign") that we use to "tag" levels in the second tree, the "element" level is typically the level just below the "atom" class ("hydrogen" for example). The "element" metaclass is then the (meta-class) of all the classes just below "atom". And there may be other ways to classify atom that does not follow this scheme, direct subclass which are not elements, adatom (Q352687) for example, which is not an element).
This model is consistent with the definition used in the frwiki article about elements : fr:Élément_chimique, an element is an atom "kind" and no atom is an atom kind. The elements are the classes themselves.
More references : en:Metaclass_(Semantic_Web)#References author  TomT0m / talk page 16:57, 11 April 2024 (UTC)[reply]
(oh, and if the model seems not used on Wikidata it's because there is a different notion of "element" used on enwiki especially, an element is a chemical substance, and they seem to have some kind of long going on edit war on that because that was not the case in 2021). author  TomT0m / talk page 17:06, 11 April 2024 (UTC)[reply]

Anatomical structure[edit]

(this is a « ticket » discussion, to keep a file on the problem.


Seems to be an important item with a "metaclass versus class" problem : anatomical structure (Q4936952). It's referenced in external ontologies and is both a metaclass and a first order class on Wikidata. From the talkpage : @Iwan.Aucamp, Infovarius: author  TomT0m / talk page 09:09, 16 April 2024 (UTC)[reply]

The key anatomical ontologies are uberon and FMA. Neither of those have a distinction between metaclasses and first order classes. It should be a first order class in Wikidata and has the relevant P31/P279 for that. There are however still a lot of item that use it as a metaclass that need work on them, in most of the cases where it's used there are more specific classes that would be more appropriate. anatomical structure type (Q103813670) is the relevant metaclass. ChristianKl02:43, 24 April 2024 (UTC)[reply]

Ismael Olea (Q87475754) is an instance of collective entity (Q99527517) and that is weird[edit]

By inference (or not), we have

this subclass chain explains why (at the post time).

Is there something to be done about this ?


(reported through User:TomT0m/classification.js) (Note: it's the first time I'm reporting something like this!) —Ismael Olea (talk) 14:31, 17 April 2024 (UTC)[reply]

Ismael Olea (Q87475754) is an instance of group of humans (Q16334295) and that is weird[edit]

By inference (or not), we have

this subclass chain explains why (at the post time).

Is there something to be done about this ?


(reported through User:TomT0m/classification.js)

—Ismael Olea (talk) 14:36, 17 April 2024 (UTC)[reply]

@Olea thanks for the report !
I think the problem is that "person or organisation" is not a subclass of "group", this revert of the edit by @Clemens Dulcis may have solved the problem. author  TomT0m / talk page 17:10, 17 April 2024 (UTC)[reply]

Proposal to overhaul events[edit]

https://www.wikidata.org/wiki/Wikidata:Property_proposal/event_role is part of a proposal to overhaul events. I deem it to have consequences for the Wikidata ontology so project participants may want to participate in evaluating the proposal. Peter F. Patel-Schneider (talk) 13:42, 19 April 2024 (UTC)[reply]

Archeological site / artefact is a subclass of non physical entity[edit]

This is exemplified by Temple of Ephesian Artemis (Q43018) who is both an instance of physical and non physical entity, see this graph (while the issue is not solved). A problem seems to be that "scientific proof" is a subclass of "abstract entity" somehow. author  TomT0m / talk page 11:36, 22 April 2024 (UTC)[reply]

I think the source of the problem was this edit from a month ago, which I've reverted. Clearly, not all "sources" are meta-classes. Swpb (talk) 13:53, 24 April 2024 (UTC)[reply]

Why is temporal entity (Q26907166) subclass of (P279) spatio-temporal entity (Q58415929) and not the other way around? ChristianKl02:22, 24 April 2024 (UTC)[reply]

I assume that's because of the "and/or" in the description(s) of spatio-temporal entity (Q58415929); however, the has characteristic (P1552) statements suggest that a spatio-temporal entity (Q58415929) necessarily has both spatial and temporal aspects. I guess that could be resolved by qualifying those statements with nature of statement (P5102) = often (Q28962312)... Swpb (talk) 13:37, 24 April 2024 (UTC)[reply]
Is there a good reason to have such an "and/or" item in the tree? It seems that this item has relatively few links and if we delete it we would clean up the tree a bit. ChristianKl18:46, 24 April 2024 (UTC)[reply]
I don't feel knowledgeable enough to answer that. Swpb (talk) 18:49, 24 April 2024 (UTC)[reply]

Disjointness violation for inland port (Q863915)[edit]

I got a disjointness warning (this is the graph). This is the warning message:

Disjointness violation !
On class objeto it is stated that the following classes, and this is a subclass of them !
 * artificial object (Q16686448)
 * natural object (Q1970309)

FYI. —Ismael Olea (talk) 18:17, 24 April 2024 (UTC)[reply]

port (Q44782) subclass of (P279) harbor (Q283202) seems questionable given that enWiki says "The term harbor is often used interchangeably with port, which is a man-made facility built for loading and unloading vessels and dropping off and picking up passengers." If two ports together can make a harbor it's a "has parts" or "has parts of the class" which should link them and not P279. ChristianKl18:52, 24 April 2024 (UTC)[reply]
Speaking for myself: I honestly have no idea of how to treat this :-) —Ismael Olea (talk) 20:10, 24 April 2024 (UTC)[reply]

Disjointness violation for La Cueva (Q23984985)[edit]

I got a disjointness warning (this is the graph). This is the warning message:

Disjointness violation !
On class objeto it is stated that the following classes, and this is a subclass of them !
 * artificial object (Q16686448)
 * natural object (Q1970309)

FYI. —Ismael Olea (talk) 18:42, 24 April 2024 (UTC)[reply]

What tool did you use to create the graph? ChristianKl19:02, 24 April 2024 (UTC)[reply]
I'm using the User:TomT0m/classification.js gadget. —Ismael Olea (talk) 20:07, 24 April 2024 (UTC)[reply]

Can we rename physical object (Q223557) to material object?[edit]

BFO uses the word material enity to mean something spatial that has no mass. One of the examples, it gives for immaterial entities is the nasal passage. Anatomically, the nasal passage is seen in FMA as physical and not material. BFO itself does not seem to use the word physical. I think we would reduce the amount of confusion by renaming physical object (Q223557) into "material object" as I see no good reason to use "physical" in that point of the tree. After looking a bit more into it physical substance (Q28732711) description suggests it encompases radiation but currently the radiation items at which I look don't have it in their subclass tree. Radiation seems to be another thing that's often seen as physical but not material or matter (Q35758). ChristianKl23:49, 24 April 2024 (UTC)[reply]

It seems that also non-material physical substance (Q28728673) subclass of (P279) physical substance (Q28732711) so we have essentially to areas were we consider immaterial entities physical. ChristianKl12:18, 25 April 2024 (UTC)[reply]

Let's stop to define instance of (P31) as transitive over subclass of (P279)[edit]

When it comes to anatomy, left biceps brachii (Q66526951), biceps brachii (Q201363), and muscle of anterior compartment of arm (Q66526981) and all feel like qualitatively different things. I think the best way to model this is to have a specific instance of (P31) for the types of things that biceps brachii (Q201363) is (structures that exist two times in the body) and muscle of anterior compartment of arm (Q66526981) (structures that exist one time in the body). I currently call the first thing chiral muscle organ type (Q125984341) and the second solitary muscle organ type (Q103998385). I find that this is a useful way of using instance of (P31) as this kind of different quality of being feels like it belongs to what I expect from instance of (P31). If we however see instance of (P31) as transitive over subclass of (P279) this would imply left biceps brachii (Q66526951) is a chiral muscle organ type (Q125984341).

How do you feel about the transitivity here? Do you feel like instance of (P31) should be able to be used the way I want it here in anatomy? ChristianKl11:50, 19 May 2024 (UTC)[reply]

@ChristianKl If we however see nature de l’élément (P31) as transitive over sous-classe de (P279) this would imply left biceps brachii (Q66526951) is a chiral muscle organ type (Q125984341).
I don't think so. How do you come with this conclusion ? "Transitive over" just means that if O is an instance of A and A is a subclass of B then O is an instance of B.
But if A is an instance of Meta, and B is a subclass of A … then this rule does not apply. It would apply if Meta was a subclass of some other metaclass. author  TomT0m / talk page 19:38, 19 May 2024 (UTC)[reply]
Specifying what's We currently say instance of (P31)value hierarchy property (P6609)subclass of (P279). If I misunderstood that and my usage is fine then I'm happy ;) ChristianKl21:40, 19 May 2024 (UTC)[reply]

Instances and subclasses of machine learning (Q2539)[edit]

I've encountered many instances of machine learning (Q2539). I think that's inconsistent because there is no meaning in saying that something is a "machine learning". Si I've started to explore the several cases using the following query :

#title: List of instances 
SELECT ?item ?itemLabel ?itemDescription ?instance ?instanceLabel WHERE  {
  SERVICE wikibase:label { bd:serviceParam wikibase:language "[AUTO_LANGUAGE],en". }
  wd:Q2539 ^(wdt:P279*) ?instance.
  ?item wdt:P31 ?instance. 
}
LIMIT 1000
List of instances

Yet email filtering (Q2141106) is an indirect subclass of statistical classification (Q1744628) which is a subclass of machine learning (Q2539).

Si what is wrong here?

I think that the second option is the best but maybe we could do both. PAC2 (talk) 05:36, 25 May 2024 (UTC)[reply]

A systematic approach to conditional statements[edit]

I started a discussion under the same heading over at the project chat, and it would probably benefit from the perspectives of WikiProject Ontology participants. Daniel Mietchen (talk) 16:38, 27 May 2024 (UTC)[reply]