User:SM5POR/Ontology
Introduction
[edit]Documentation
[edit]Good read: Help:Basic membership properties
Issues
[edit]Done | Area | Listed | Issue | Question or proposal | Posted | Resolution | Resolved |
---|---|---|---|---|---|---|---|
☐ | Classes | 2020-05-29 | The entity (Q35120) root class has too many immediate subclasses to be manageable and offer a good overview of the class tree. | Class root proposal | |||
☐ | Classes | 2020-05-27 | The property (Q937228) class has too many immediate subclasses to be manageable and offer a good overview of the class tree. | Property class proposal | |||
☐ | Classes | 2020-06-16 | Subclasses of genre (Q483394) are either genre classes or specific genres, making it difficult to distinguish between the two. See Counting genres and subgenres for an overview of the situation. | Define a model ontology clarifying the property relations between form of expression, genre class, genre (Q483394), and work. | |||
☐ | Instances | 2020-05-27 | Three groups of mayors of individual counties (mayors of Camden County, New Jersey (Q50056268), mayors of Mercer County, New Jersey (Q50054512) and mayors of Hunterdon County, New Jersey (Q50056324)) are indicated as instances of the singular class of mayor of a place in New Jersey (Q42688505), which doesn't seem correct. Singular classes should have singular instances only. | ||||
☐ | Items | 2020-05-27 | The measurement scale (P1880) of goods and services (Q2897903) is set to instrumental value (Q3736009), which fails the measurement scale (Q1370617) value type constraint. | When the class structure supports it, replace instrumental value (Q3736009) with something like monetary value. | |||
☐ | Ontology | 2022-10-24 | There is some confusion over when to use instance of (P31) vs subclass of (P279). | Find a visual means of illustrating the relationship between the two properties, and suggest rules-of-thumb to help find the most appropriate property regardless of subject area. | |||
☑ | Properties | 2022-10-24 | There are seemingly redundant claims cluttering the item descriptions, making it difficult to find the most appropriate class/instance claims for a new item. | Define the ontological concept of property inheritance and categorize properties according to how they are either inherited themselves or in control of the inheritance paths. | 2022-12-07 | There is a property value hierarchy property (P6609) intended to specify which property values are inherited, and along which transitive property paths. This method of assigning values to unspecified properties must however be explicitly implemented by each application in order to take effect. | 2022-12-07 |
Class root
[edit]Class root proposal
[edit]Establish a new fundamental structure for the class tree root, moving smaller and more "mundane" classes further down into appropriate subclasses:
-
- entity (Q35120)
- object (Q488383)
- abstract entity (Q7184903)
- hypothetical entity (Q18706315)
- property (Q937228)
- comparability (Q5155608)
- quantity (Q309314)
- Discrete quantity
- Continuous quantity
- quantity (Q309314)
- Incomparable property
- Objective property
- Subjective property
- comparability (Q5155608)
- occurrence (Q1190554)
- object (Q488383)
- entity (Q35120)
(work in progress)
Property class proposal
[edit]- Create a comparable (or similar) subclass for any kind of quantitatively comparable properties, not necessarily numeric (Q3249849), whether subjective or objective.
- Make quantity (Q309314) (optionally renaming it in the process, to indicate it being limited to measurable, objective quantities) and value (Q878143) subclasses of the comparable class created.
- Make time interval (Q186081), number of entities (Q614112), metric (Q17004438), spatial scale (Q3822724), CPU bit width (Q12345701), quantity dimension (Q19110), urban population (Q30127246) and contrast ratio (Q353268) subclasses of quantity (Q309314).
- Create a subjective quantity (or similar) subclass of the comparable class exclusively for subjective comparisons such as better or less intimidating.
- Make rating (Q7295721), pricelessness (Q41308597) and greatness (Q42298454) subclasses of the subjective quantity class created.
This structure may of course be further refined and adjusted as the subclasses evolve.
Related items
[edit]- qualitative property (Q7268708)
- utility (Q466707)
- Subjective (Q7631417)
- preference (Q1416170)
- user experience (Q1047808)
- Subjective theory of value (Q1966981)
- mathematical property (Q3924032)
- property (Q1400881)
- net worth (Q1933764)
Information classes
[edit]These are interrelated and sometimes mutually confused classes of both physical and abstract items that shoukd be better defined and set apart.
In each case, every item is an instance of (P31) that metaclass, and (excluding the local class root) a subclass of (P279) another instance of (P31) the same metaclass (see the proposed class hierarchy for the current or a desired root).
Is instance of (P31) metaclass | Item examples | Local root subclass of (P279) | May be part of (P361) | Other properties | Proposed class hierarchy |
---|---|---|---|---|---|
information (Q11028) | |||||
media (Q340169) | |||||
singular form of expression |
|
||||
complex form of expression |
|
||||
genre (Q483394) | |||||
work (Q386724) |
Finding information-related metaclasses
[edit]Properties of interest:
- movement (P135)
- genre (P136)
- copyright license (P275)
- distribution format (P437)
- main subject (P921)
- media type (P1163)
- bibcode (P1300)
- intended public (P2360)
- describes a project that uses (P4510)
- representation of (P4646)
- copyright status (P6216)
- narrative motif (P6962)
- form of creative work (P7937)
- symbol of (P8058)
- has grouping (P8306)
- has sorting (P8307)
- has column (P8308)
Find information-related metaclasses
Media
[edit]Form
[edit]Genre
[edit]Counting genres and subgenres
[edit]Only a small number of all the indirect subclasses of genre (Q483394) are themselves genre classes, while many are instead actual instances of genres (including subgenres) without using the instance of (P31) property, thereby making it difficult to determine where the genre classes end and the genres begin.
Letter | Category |
---|---|
A | Immediate subclasses of genre (Q483394) |
B | Any subclass labelled "genre" in English |
C | Other direct subclasses of classes labelled "genre"; this is probably where most of the class/instance confusion begins |
D | All the remaining subclasses of classes not labelled "genre" |
Note that some subclasses may represent true genre classes without using a "genre" label, but instead "style", "type" or some similar word.
Counting works has been disabled as it typically times out.
Art
[edit]Template | Form | Genre | Theme | Style | Aspect | Format | Type |
---|---|---|---|---|---|---|---|
x |
Quantities
[edit]Volume
[edit]Class vs instance
[edit]0 | 1 | 2 | 3 | 4 |
---|---|---|---|---|
x |
Property inheritance
[edit]Reference
[edit]Troubleshooting guide
[edit]troubleshooting (Q2078905) user guide (Q1057179)
Problem | Solution |
---|---|
subclass of (P279) loop |
|
Revision history
[edit]version control (Q189439) changelog (Q255135)
Property
[edit]Philosophy
[edit]The ontological concept of property (Eigenschaft)
[edit]The mathematical concept of property (matematische Eigenschaft)
[edit]The qualitative concept of property
[edit]Business and law
[edit]The economic concept of property (Eigentum)
[edit]- property (Q1400881) Revision history, merged 2020-05-22 with
Classes
[edit]Class contents
[edit]- Find immediate subclasses of a given class (default class to investigate is the entity (Q35120) root class)
- Find subclass statements referring to a given database (default reference database is the InterPro ID (P2926))
- Find number of items, indirect subclasses or items of each subclass (default superior class to investigate is mayor (Q30185))
- Find all subclasses with number of items of a given class (default class to investigate is object form (Q207961))
Class tree extent
[edit]- Explore the depth of the class tree (currently finds 3 levels)
Ontology sonar
[edit]Class tree topology
[edit]Local class roots
[edit]- Find possible local class roots
- Compare multiple class memberships
- Find metaclass instance relations
Finding subclass loops
[edit]- Find subclass loops (currently finds loops of length up to 8)
- Resolve a subclass loop (not yet working)
Subclass anomalies
[edit]- Find abstraction level anomalies (default main class word (Q8171))
- Find redundant subclass claims (default main class name (Q82799))
- Find disambiguation pages with subclass links (working partially)
Instances
[edit]- Find self-referential instances (times out)
- Find metaclasses upwards (times out)
- Find direct instances of a given class (default class is inner planet of the Solar System (Q3504248))
Items
[edit]Finding statements about a particular subject
[edit]Finding statements referencing a particular object
[edit]Finding statements referencing a particular class of objects
[edit]Finding classless items
[edit]- Find items (not yet working)
Finding items with complex ontological relationships
[edit]Properties
[edit]Property characteristics
[edit]Property type | Example | Output |
---|---|---|
CommonsMedia
|
image (P18) | |
ExternalId
|
Wolfram Language entity code (P4839) | |
GeoShape
|
geoshape (P3896) | |
GlobeCoordinate
|
coordinate location (P625) | |
Math
|
defining formula (P2534) | |
Monolingualtext
|
title (P1476) | |
MusicalNotation
|
LilyPond notation (P6883) | |
Quantity
|
height (P2048) | |
String
|
postal code (P281) | |
TabularData
|
weather history (P4150) | |
Time
|
date of birth (P569) | |
Url
|
official website (P856) | |
WikibaseForm
|
object form (P5548) | |
WikibaseItem
|
website account on (P553) | |
WikibaseLexeme
|
combines lexemes (P5238) | |
WikibaseProperty
|
inverse property (P1696) | |
WikibaseSense
|
synonym (P5973) |
Finding property types properties
[edit]Finding property types
[edit]Property inheritance
[edit]- Finding asymmetric properties (these properties may be used for limited inheritance)
- Finding conductive properties (these properties are asymmetric and transitive, and may be used for unlimited inheritance)
Finding property qualifiers
[edit]- Find property qualifiers
- Deprecating of (P642)
- Find commonly allowed paired qualifiers
- Find properties lacking some commonly allowed qualifiers
Finding statistics about properties
[edit]Finding properties constraining the subject item to a particular class
[edit]- Finding properties constraining the subject item to a particular class (default class is dust storm (Q182878))
Property usage
[edit]Find properties
[edit]Finding property paths
[edit]Finding statements about a given property
[edit]- Query (default property is uses (P2283))
Finding classes of items being the subject of a given property
[edit]- Query (default property is uses (P2283))
Finding items being the object of multiple properties for the same subject
[edit]- Query (default properties are instance of (P31) and subclass of (P279))
Finding properties linking class and instance of another property to the same subject
[edit]- Query (default initial property is has characteristic (P1552))
Finding properties with unusual object classes
[edit]- Query (default class is dust storm (Q182878))
Finding property values of items belonging to a given class
[edit]- Query (default query is what a figure skating competition (Q2990963) uses (P2283))
Model items
[edit]- Finding classes with model items
- Finding model items for class (default class is human (Q5))
- Finding model items demonstrating specific properties (default property is has characteristic (P1552))
Finding classes of items being used as parts
[edit]- Query (not yet working)
Finding parts of a series that don't have a subject
[edit]- Query Example series is xkcd (Q13915).
References
[edit]Ranking
[edit]Deprecated rank
[edit]Reasons for deprecation
[edit]- Find unrecognized, unrelated reasons stated for deprecated rank
- Find unrecognized but related reasons stated for deprecated rank
- Find directly recognized reasons stated for deprecated rank