Difference between revisions of "Extending SiDIF"
Jump to navigation
Jump to search
Line 2: | Line 2: | ||
= SiDIF Extension Proposal = | = SiDIF Extension Proposal = | ||
− | == | + | == Core Problem: Statements About Statements == |
− | === | + | === Evolution of Statement Representation === |
− | + | * Natural language triple: | |
− | * | ||
− | |||
− | |||
− | |||
− | |||
<syntaxhighlight lang="text"> | <syntaxhighlight lang="text"> | ||
dad loves mom | dad loves mom | ||
</syntaxhighlight> | </syntaxhighlight> | ||
− | + | * Raw Wikidata URLs: | |
− | |||
<syntaxhighlight lang="text"> | <syntaxhighlight lang="text"> | ||
https://www.wikidata.org/wiki/Q76 https://www.wikidata.org/wiki/Property:P26 https://www.wikidata.org/wiki/Q13133 | https://www.wikidata.org/wiki/Q76 https://www.wikidata.org/wiki/Property:P26 https://www.wikidata.org/wiki/Q13133 | ||
</syntaxhighlight> | </syntaxhighlight> | ||
+ | * Same URLs as active links: | ||
https://www.wikidata.org/wiki/Q76 https://www.wikidata.org/wiki/Property:P26 https://www.wikidata.org/wiki/Q13133 | https://www.wikidata.org/wiki/Q76 https://www.wikidata.org/wiki/Property:P26 https://www.wikidata.org/wiki/Q13133 | ||
− | + | * Human-readable with links: | |
− | |||
− | |||
− | |||
− | |||
[https://www.wikidata.org/wiki/Q76 Barack Obama] [https://www.wikidata.org/wiki/Property:P26 spouse] [https://www.wikidata.org/wiki/Q13133 Michelle Obama] | [https://www.wikidata.org/wiki/Q76 Barack Obama] [https://www.wikidata.org/wiki/Property:P26 spouse] [https://www.wikidata.org/wiki/Q13133 Michelle Obama] | ||
− | == Current | + | === Current Reference Using 'it' === |
− | + | * Basic reference to subject: | |
− | |||
− | |||
− | |||
<syntaxhighlight lang="text"> | <syntaxhighlight lang="text"> | ||
dad loves mom | dad loves mom | ||
Line 40: | Line 28: | ||
</syntaxhighlight> | </syntaxhighlight> | ||
− | === | + | === Need for Statement Part References === |
− | + | * Challenge: How to reference different parts of a statement? | |
+ | * Options: | ||
+ | ** Using subject/predicate/object (full) | ||
+ | ** Using s/p/o (short) | ||
+ | ** Using subject/link/object (alternative) | ||
+ | === Proposed Solution === | ||
+ | * Example using full form: | ||
<syntaxhighlight lang="text"> | <syntaxhighlight lang="text"> | ||
+ | Barack spouse Michelle | ||
https://www.wikidata.org/wiki/Q76 is wikidata_url of subject | https://www.wikidata.org/wiki/Q76 is wikidata_url of subject | ||
1992-10-03 is date of predicate | 1992-10-03 is date of predicate | ||
Line 49: | Line 44: | ||
</syntaxhighlight> | </syntaxhighlight> | ||
− | == | + | == Bridging Paradigms == |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
+ | === Object-Oriented to Semantic Web Bridge === | ||
+ | * 'it' keyword bridges: | ||
+ | ** OO concepts (self/this/me) | ||
+ | ** Semantic Web references | ||
+ | * Indirection levels: | ||
<syntaxhighlight lang="text"> | <syntaxhighlight lang="text"> | ||
Person isA Concept | Person isA Concept | ||
Line 68: | Line 56: | ||
http://foaf/... is prefix_url of subject | http://foaf/... is prefix_url of subject | ||
foaf is prefix of subject | foaf is prefix of subject | ||
− | |||
Barack1950 isA Person | Barack1950 isA Person | ||
"Barack" is firstname of subject | "Barack" is firstname of subject | ||
</syntaxhighlight> | </syntaxhighlight> | ||
− | == | + | === Real World Example: Obama Family === |
+ | * Marriage statement with metadata: | ||
+ | <syntaxhighlight lang="text"> | ||
+ | Barack spouse Michelle | ||
+ | "1992-10-03" is startTime of predicate | ||
+ | "Trinity United Church of Christ" is place of predicate | ||
+ | </syntaxhighlight> | ||
+ | |||
+ | * Name history with temporal metadata: | ||
+ | <syntaxhighlight lang="text"> | ||
+ | Michelle familyName "Obama" | ||
+ | "married name" is role of predicate | ||
+ | "1992-10-03" is startTime of predicate | ||
+ | |||
+ | Michelle familyName "Robinson" | ||
+ | "maiden name" is role of predicate | ||
+ | "1964-01-17" is startTime of predicate | ||
+ | "1992" is endTime of predicate | ||
+ | </syntaxhighlight> | ||
− | === | + | == Semantic Web Integration == |
− | |||
− | |||
− | |||
− | |||
− | === | + | === Description Logic Foundations === |
− | + | * Basic concepts: | |
+ | ** T mit Balken (top concept) | ||
+ | ** Bottom concept (umgedrehtes T) | ||
+ | * Mappings: | ||
+ | ** OWL/Description Logic: Concepts, Roles, Individuals | ||
+ | ** RDF: Classes, Properties, Individuals | ||
+ | === Implementation Examples === | ||
+ | * Class hierarchy: | ||
<syntaxhighlight lang="text"> | <syntaxhighlight lang="text"> | ||
Concept subClassOf owl:Thing | Concept subClassOf owl:Thing | ||
owl:Nothing | owl:Nothing | ||
+ | </syntaxhighlight> | ||
+ | |||
+ | * Instance relationships: | ||
+ | <syntaxhighlight lang="text"> | ||
Barack rdfType Person | Barack rdfType Person | ||
</syntaxhighlight> | </syntaxhighlight> | ||
− | == | + | === Technology Bindings === |
− | + | * Allows 1:n relationships: | |
− | + | ** Advantages: Flexibility for different implementations | |
− | * | + | ** Challenges: Increased complexity management |
− | |||
− | |||
− | |||
− | |||
− | ** | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | ** | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
+ | * Example bindings: | ||
<syntaxhighlight lang="text"> | <syntaxhighlight lang="text"> | ||
Person_Sparql is sparql_impl of subject | Person_Sparql is sparql_impl of subject |
Revision as of 10:59, 28 January 2025
⚠️ LLM-generated content notice: Parts of this page may have been created or edited with the assistance of a large language model (LLM). The prompts that have been used might be on the page itself, the discussion page or in straight forward cases the prompt was just "Write a mediawiki page on X" with X being the page name. While the content has been reviewed it might still not be accurate or error-free. - by asking Claude AI to format and explain Talk:Extending_SiDIF
SiDIF Extension Proposal
Core Problem: Statements About Statements
Evolution of Statement Representation
- Natural language triple:
dad loves mom
- Raw Wikidata URLs:
https://www.wikidata.org/wiki/Q76 https://www.wikidata.org/wiki/Property:P26 https://www.wikidata.org/wiki/Q13133
- Same URLs as active links:
https://www.wikidata.org/wiki/Q76 https://www.wikidata.org/wiki/Property:P26 https://www.wikidata.org/wiki/Q13133
- Human-readable with links:
Barack Obama spouse Michelle Obama
Current Reference Using 'it'
- Basic reference to subject:
dad loves mom
https://www.wikidata.org/wiki/Q76 is wikidata_url of it
Need for Statement Part References
- Challenge: How to reference different parts of a statement?
- Options:
- Using subject/predicate/object (full)
- Using s/p/o (short)
- Using subject/link/object (alternative)
Proposed Solution
- Example using full form:
Barack spouse Michelle
https://www.wikidata.org/wiki/Q76 is wikidata_url of subject
1992-10-03 is date of predicate
https://www.wikidata.org/wiki/Q13133 is wikidata_url of object
Bridging Paradigms
Object-Oriented to Semantic Web Bridge
- 'it' keyword bridges:
- OO concepts (self/this/me)
- Semantic Web references
- Indirection levels:
Person isA Concept
Person_Sparql is sparql_impl of subject
http://foaf/... is prefix_url of subject
foaf is prefix of subject
Barack1950 isA Person
"Barack" is firstname of subject
Real World Example: Obama Family
- Marriage statement with metadata:
Barack spouse Michelle
"1992-10-03" is startTime of predicate
"Trinity United Church of Christ" is place of predicate
- Name history with temporal metadata:
Michelle familyName "Obama"
"married name" is role of predicate
"1992-10-03" is startTime of predicate
Michelle familyName "Robinson"
"maiden name" is role of predicate
"1964-01-17" is startTime of predicate
"1992" is endTime of predicate
Semantic Web Integration
Description Logic Foundations
- Basic concepts:
- T mit Balken (top concept)
- Bottom concept (umgedrehtes T)
- Mappings:
- OWL/Description Logic: Concepts, Roles, Individuals
- RDF: Classes, Properties, Individuals
Implementation Examples
- Class hierarchy:
Concept subClassOf owl:Thing
owl:Nothing
- Instance relationships:
Barack rdfType Person
Technology Bindings
- Allows 1:n relationships:
- Advantages: Flexibility for different implementations
- Challenges: Increased complexity management
- Example bindings:
Person_Sparql is sparql_impl of subject
foaf is prefix of subject