Wikidata:WikiProject Reasoning/nl
Purpose
Dit WikiProject heeft als doel om de mogelijkheid te onderzoeken om conclusies te trekken uit Wikidata-inhoud. Hoe kan de gemeenschap specificeren wat moet worden afgeleid? Hoe kunnen deze gevolgtrekkingen worden berekend door hulpmiddelen? Hoe moeten de berekende gevolgtrekkingen worden gebruikt?
Participants
The participants listed below can be notified using the following template in discussions:{{Ping project|Reasoning}}
- Markus Krötzsch
- Svavar Kjarrval
- TomT0m
- Emw
- Bovlb
- Peter F. Patel-Schneider
- Daniel Mietchen
- Akorenchkin (Maximilian Marx)
- YULdigitalpreservation
- Jsamwrites (John Samuel)
- Waldyrious
- Malore
- David L Martin (David Martin)
- Arlo Barnes (Arlo James Barnes)
- alonsopaz23 (Leopoldo Alonso Paz Hernández)
- AWesterinen (Andrea Westerinen)
Motivation
De spouse (P26) van Douglas Adams (Q42) was Jane Belson (Q14623681). Dit betekent duidelijk dat, omgekeerd, de spouse (P26) van Jane Belson (Q14623681) Douglas Adams (Q42) was. Dit is een eenvoudig voorbeeld van een geval waarin een verklaring (over Jane Belson (Q14623681)) kan worden afgeleid van een andere (over Douglas Adams (Q42)). Het zou geweldig zijn als we hulpmiddelen zouden kunnen bouwen die dergelijke conclusies trekken, bijvoorbeeld om ons te waarschuwen wanneer informatie ontbreekt of tegenstrijdig is.
Dit kan alleen werken als wij (de Wikidata-gemeenschap) ergens documenteren welke conclusies getrokken moeten worden. We weten dat spouse (P26) aanleiding zou moeten geven tot de gevolgtrekking hierboven, maar waar staat dit eigenlijk op Wikidata? In feite vinden we voor spouse (P26) de informatie dat het symmetrisch is in de verklaring op Property:P26 dat een <instance of (P31):symmetric property (Q18647518)>. Deze informatie staat ook op de overlegpagina in de vorm van een constraint sjabloon dat symmetrie aangeeft. Helaas vertelt dit sjabloon ons niets over de kwalificaties. De spouse (P26)-verklaring van Douglas Adams (Q42) heeft bijvoorbeeld kwalificaties start time (P580) en end time (P582). Het is duidelijk dat de spouse (P26) van Jane Belson (Q14623681) dezelfde kwalificaties met dezelfde waarden moet gebruiken. Dit wordt nergens opgehelderd.
Daarom hebben we een manier nodig om meer precies te verduidelijken welke afleidingen geldig zijn. Dit zal niet alleen het externe gebruik ("door een of andere machine") helpen maar het zal ook helpen om onze eigen aannames over het gebruik van onze eigenschappen te documenteren.
Voorgestelde aanpak
Dit is een complex probleem dat niet in één stap opgelost kan worden. De voorgestelde oplossingen moeten in verschillende ronden worden verfijnd totdat deze naar verwachting werkt. Een algemeen idee kan echter als volgt worden gegeven:
- De gemeenschap moet regels voor inferentie op de wiki specificeren.
- Elke regel moet op één pagina staan, met een speciale uitleg en een discussie.
- De regels zelf moeten in een vast formaat worden gegeven, bijvoorbeeld met behulp van sjablonen, zodat hulpmiddelen deze kunnen uitpluizen en gebruiken. (Het zal niet mogelijk zijn om alle relevante regels met verklaringen op de eigenschappagina's te specificeren, dus het is beter om ze in een uniforme vorm op een andere wiki-pagina te hebben; er kunnen altijd links van eigenschapspagina's zijn).
- Externe hulpmiddelen zullen de regels van de wiki lezen, inferenties berekenen en er gebruik van maken, afhankelijk van hun doel. Sommige regels kunnen alleen voor kwaliteitscontrole zijn, andere kunnen worden gebruikt om externe toepassingen te verrijken zoals Reasonator, andere kunnen worden gebruik gemaakt om afleidingen te berekenen die door bots terug moeten worden toegevoegd aan Wikidata.
Welke "regels van inferentie"?
De grote vraag is om te weten te komen hoe men de beste regels van inferentie kunt schrijven die veel use-cases van Wikidata kunnen bedienen. We beginnen met het verzamelen van de use-cases.
- Use-cases: voorbeelden van regels die we mogelijk willen hebben
Hoe regels voor inferentie uitdrukken/opslaan/bespreken/beheren?
We moeten werken met regels op de wiki. Er zijn veel mogelijke ideeën over hoe dit het beste is te doen. Een deel hiervan kan al worden besproken zonder de exacte mogelijkheden van de beoogde regels te kennen.
- WikiProject_Reasoning/Rule format: hoe een regel te schrijven in Wikidata (sjablonen? verklaringen? ...)