Extending SiDIF: Difference between revisions

From BITPlan cr Wiki
Jump to navigation Jump to search
No edit summary
 
(8 intermediate revisions by the same user not shown)
Line 1: Line 1:
{{LLMHint}} - by asking Claude AI to format and explain {{Link|target=Talk:Extending_SiDIF}}
= SiDIF Extension Proposal =
= SiDIF Extension Proposal =


== 1. Statement Representations and Evolution ==
== Core Problem: Statements About Statements ==


=== 1.1 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)


=== 1.2 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:
 
=== 1.3 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:
== 2. Current SiDIF Reference Mechanism ==
 
=== 2.1 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.


=== 2.2 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.


== 3. Core Concepts and Bridging ==
== Bridging Paradigms ==
 
=== 3.1 Fundamental Elements ===
<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


=== 3.2 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>


== 4. Semantic Web Foundation ==
=== 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>


=== 4.1 Description Logic Basis ===
* Name history with temporal metadata:
OWL/Description Logic components:
* Concepts (Classes)
* Roles (Properties)
* Individuals (Instances)
 
=== 4.2 RDF/OWL Mappings ===
<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>


== 5. Design Decisions ==
== Semantic Web Integration ==


=== 5.1 Reference Keywords Options ===
=== Description Logic Foundations ===
1. Full form: subject/predicate/object
[https://en.wikipedia.org/wiki/Description_logic Description Logic] Basic concepts:
2. Short form: s/p/o
* ⊤ (top concept)
3. Alternative: subject/link/object
* ⊥ (bottom concept)
* Mappings:
** OWL/Description Logic: Concepts, Roles, Individuals
** RDF: Classes, Properties, Individuals


=== 5.2 Key Bridging Concepts ===
=== Implementation Examples ===
1. 'it' semantics bridges:
* Class hierarchy:
  * OO: self/this/me
<syntaxhighlight lang="text">
  * Semantic Web: subject reference
Concept subClassOf owl:Thing
owl:Nothing
</syntaxhighlight>


2. Statement part references enable:
* Instance relationships:
  * Metadata about relationships
<syntaxhighlight lang="text">
  * Integration with semantic web identifiers
Barack rdfType Person
  * Technology-specific bindings
</syntaxhighlight>


=== 5.3 Relationship Considerations ===
=== 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 15: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
Retrieved from "https://cr.bitplan.com/index.php?title=Extending_SiDIF&oldid=2700"