Difference between revisions of "Extending SiDIF"

From BITPlan cr Wiki
Jump to navigation Jump to search
 
(6 intermediate revisions by the same user not shown)
Line 2: Line 2:
 
= SiDIF Extension Proposal =
 
= SiDIF Extension Proposal =
  
== Statement Representations and Evolution ==
+
== Core Problem: Statements About Statements ==
  
=== Natural Language Statement ===
+
=== Evolution of Statement Representation ===
 +
* Natural language triple:
 
<syntaxhighlight lang="text">
 
<syntaxhighlight lang="text">
 
dad loves mom
 
dad loves mom
 
</syntaxhighlight>
 
</syntaxhighlight>
This represents the most basic, human-readable form of a statement. It contains:
 
* subject (dad)
 
* predicate (loves)
 
* object (mom)
 
  
=== Semantic Web Identifiers ===
+
* Raw Wikidata URLs:
The same triple structure with 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
  
Now each part has a unique identifier in the semantic web space. The first version shows the raw syntax, while the second version shows the actual linked URIs.
+
* Human-readable with links:
 
 
=== Human-Readable with Links ===
 
<syntaxhighlight lang="text">
 
[https://www.wikidata.org/wiki/Q76 Barack Obama] [https://www.wikidata.org/wiki/Property:P26 spouse] [https://www.wikidata.org/wiki/Q13133 Michelle Obama]
 
</syntaxhighlight>
 
 
 
 
[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]
  
Combines human readability with semantic web identifiers.
+
=== Current Reference Using 'it' ===
 
+
* Basic reference to subject:
== Current SiDIF Reference Mechanism ==
 
 
 
=== Using 'it' Keyword ===
 
 
<syntaxhighlight lang="text">
 
<syntaxhighlight lang="text">
 
dad loves mom
 
dad loves mom
 
https://www.wikidata.org/wiki/Q76 is wikidata_url of it
 
https://www.wikidata.org/wiki/Q76 is wikidata_url of it
 
</syntaxhighlight>
 
</syntaxhighlight>
'it' refers to the subject of the previous statement, bridging Object-Oriented concepts (this/self) with semantic web references.
 
  
=== Proposed Extension for Statement Parts ===
+
=== 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:
 
<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
 
https://www.wikidata.org/wiki/Q13133 is wikidata_url of object
 
https://www.wikidata.org/wiki/Q13133 is wikidata_url of object
 
</syntaxhighlight>
 
</syntaxhighlight>
Allows referencing any part of the previous statement.
 
 
== Core Concepts and Bridging ==
 
  
=== Fundamental Elements ===
+
== Bridging Paradigms ==
<syntaxhighlight lang="text">
 
Entity - Object
 
Link - relation between two objects
 
</syntaxhighlight>
 
These map to both OO and Semantic Web paradigms:
 
* OO: Objects and their relationships
 
* Semantic Web: Resources and their properties
 
  
=== Technology Integration Example ===
+
=== 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
 
# Technology binding options
 
 
Person_Sparql is sparql_impl of subject
 
Person_Sparql is sparql_impl of subject
 
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>
  
== Semantic Web Foundation ==
+
=== Real World Example: Obama Family ===
 
+
* Marriage statement with metadata:
=== Description Logic Basis ===
+
<syntaxhighlight lang="text">
OWL/Description Logic components:
+
Barack spouse Michelle
* Concepts (Classes)
+
"1992-10-03" is startTime of predicate
* Roles (Properties)
+
"Trinity United Church of Christ" is place of predicate
* Individuals (Instances)
+
</syntaxhighlight>
  
=== RDF/OWL Mappings ===
+
* Name history with temporal metadata:
 
<syntaxhighlight lang="text">
 
<syntaxhighlight lang="text">
# Class hierarchy
+
Michelle familyName "Obama"
Concept subClassOf owl:Thing    # Top concept (T with bar)
+
"married name" is role of predicate
owl:Nothing                    # Bottom concept (inverted T)
+
"1992-10-03" is startTime of predicate
  
# Instance relationship
+
Michelle familyName "Robinson"
Barack rdfType Person          # Individual -> Class relationship
+
"maiden name" is role of predicate
 +
"1964-01-17" is startTime of predicate
 +
"1992" is endTime of predicate
 
</syntaxhighlight>
 
</syntaxhighlight>
  
== Design Decisions ==
+
== Semantic Web Integration ==
  
=== Reference Keywords Options ===
+
=== Description Logic Foundations ===
# Full form: subject/predicate/object
+
[https://en.wikipedia.org/wiki/Description_logic Description Logic] Basic concepts:
# Short form: s/p/o
+
* ⊤ (top concept)
# Alternative: subject/link/object
+
* ⊥ (bottom concept)
 +
* Mappings:
 +
** OWL/Description Logic: Concepts, Roles, Individuals
 +
** RDF: Classes, Properties, Individuals
  
=== Key Bridging Concepts ===
+
=== Implementation Examples ===
# 'it' semantics bridges:
+
* Class hierarchy:
* OO: self/this/me
+
<syntaxhighlight lang="text">
* Semantic Web: subject reference
+
Concept subClassOf owl:Thing
# Statement part references enable:
+
owl:Nothing
* Metadata about relationships
+
</syntaxhighlight>
* Integration with semantic web identifiers
 
* Technology-specific bindings
 
  
=== Relationship Considerations ===
+
* Instance relationships:
 +
<syntaxhighlight lang="text">
 +
Barack rdfType Person
 +
</syntaxhighlight>
 +
 
 +
=== Technology Bindings ===
 +
* Allows 1:n relationships:
 +
** Advantages: Flexibility for different implementations
 +
** Challenges: Increased complexity management
 +
 
 +
* Example bindings:
 
<syntaxhighlight lang="text">
 
<syntaxhighlight lang="text">
# 1:n relations bring:
 
# Good: Flexibility for different tech bindings
 
# Challenge: Increased complexity
 
 
Person_Sparql is sparql_impl of subject
 
Person_Sparql is sparql_impl of subject
 
foaf is prefix of subject
 
foaf is prefix of subject
 
</syntaxhighlight>
 
</syntaxhighlight>
 +
 +
[[Category:SiDIF]]
 +
[[Category:Semantic Web]]
 +
[[Category:Knowledge Representation]]

Latest revision as of 16:51, 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

Description Logic 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