Difference between revisions of "Extending SiDIF"

From BITPlan cr Wiki
Jump to navigation Jump to search
Line 31: Line 31:
 
* Challenge: How to reference different parts of a statement?
 
* Challenge: How to reference different parts of a statement?
 
* Options:
 
* Options:
 +
** Using it/link/other
 
** Using subject/predicate/object (full)
 
** Using subject/predicate/object (full)
 
** Using s/p/o (short)
 
** Using s/p/o (short)
** Using subject/link/object (alternative)
 
  
 
=== Proposed Solution ===
 
=== Proposed Solution ===
Line 84: Line 84:
 
=== Description Logic Foundations ===
 
=== Description Logic Foundations ===
 
* Basic concepts:
 
* Basic concepts:
** T mit Balken (top concept)
+
** (top concept)
** Bottom concept (umgedrehtes T)
+
** ⊥ (bottom concept)
 
* Mappings:
 
* Mappings:
 
** OWL/Description Logic: Concepts, Roles, Individuals
 
** OWL/Description Logic: Concepts, Roles, Individuals

Revision as of 16:48, 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 it/link/other
    • Using subject/predicate/object (full)
    • Using s/p/o (short)

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:
    • ⊤ (top concept)
    • ⊥ (bottom concept)
  • 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