Extending SiDIF: Difference between revisions

From BITPlan cr Wiki
Jump to navigation Jump to search
 
(4 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 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"