User:SM5POR/Ontology
Introduction
editDocumentation
editGood read: Help:Basic membership properties
Issues
editDone | 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
editClass root proposal
editEstablish 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
editThese 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
editProperties 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
editForm
editGenre
editCounting genres and subgenres
editOnly 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
editTemplate | Form | Genre | Theme | Style | Aspect | Format | Type |
---|---|---|---|---|---|---|---|
x |
Quantities
editVolume
editClass vs instance
edit0 | 1 | 2 | 3 | 4 |
---|---|---|---|---|
x |
Property inheritance
editReference
editTroubleshooting guide
edittroubleshooting (Q2078905) user guide (Q1057179)
Problem | Solution |
---|---|
subclass of (P279) loop |
|
Revision history
editversion control (Q189439) changelog (Q255135)
Property
editPhilosophy
editThe ontological concept of property (Eigenschaft)
editThe mathematical concept of property (matematische Eigenschaft)
editThe qualitative concept of property
editBusiness and law
editThe economic concept of property (Eigentum)
edit- property (Q1400881) Revision history, merged 2020-05-22 with
Classes
editClass 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
editClass tree topology
editLocal 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
editFinding statements about a particular subject
editFinding statements referencing a particular object
editFinding statements referencing a particular class of objects
editFinding classless items
edit- Find items (not yet working)
Finding items with complex ontological relationships
editProperties
editProperty characteristics
editProperty 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
editFinding property types
editProperty 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
editFinding 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
editFind properties
editFinding property paths
editFinding 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
editRanking
editDeprecated rank
editReasons 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