11
#lod4h Publishing and Using Linked Open Data Richard J. Urban, Ph.D. School of Library and Information Studies Florida State University [email protected] @musebrarian

Publishing and Using Linked Open Data - Day 5

Embed Size (px)

DESCRIPTION

Beyond Linked Data - Reasoning and the Semantic Web

Citation preview

Page 1: Publishing and Using Linked Open Data - Day 5

#lod4h

Publishing and Using Linked Open Data

Richard J. Urban, Ph.D.

School of Library and Information StudiesFlorida State [email protected]@musebrarian

Page 2: Publishing and Using Linked Open Data - Day 5

#lod4h

January 11, 2013Friday’s Schedule

• 9:00-10:45 am Class Session Beyond Linked Data: Reasoning and the Semantic Web

• 10:45 am- 11:00 break

• 11:00-11:45 Class Session: Open Project Studio

• Noon- 1:45 pm Lunch (on your own)

• 1:45-2:30 pm Class Wrap-Up: Linked Open Data for the Humanities:

Next Steps?

• 2:30-2:45 pm Break

• 2:45-3:45 pm Show and Tell

• 3:45-4:00 pm Closing Ceremony and Announcements

Page 3: Publishing and Using Linked Open Data - Day 5

#lod4h

“An ontology is an explicit specification of a conceptualization.” (Gruber)

DERI Using Ontologies http://www.deri.org/fileadmin/documents/DERI-TR-2003-10-29.pdf

Page 4: Publishing and Using Linked Open Data - Day 5

#lod4h

OWL Versions

• OWL Full– Allows most kinds of assertions, but not computationally

complete.

• OWL Description Logics (OWL DL)– As expressive as possible why maintaining computational

completion/decidability.– Based in Description Logics

• OWL Lite– owl:disjointWith, unionOf, and others not allowed.– Cardinality limited– Equivalence limited to class identifiers– Not much easier than OWL DL

Page 5: Publishing and Using Linked Open Data - Day 5

#lod4h

Class axioms

A B

unionOf intersection

A

complement

A B

B

Page 6: Publishing and Using Linked Open Data - Day 5

#lod4h

Class axioms

BA

BA

subclassOf equivalence

BA

disjoint

Page 7: Publishing and Using Linked Open Data - Day 5

#lod4h

Property Types

• Functional– A person can have only one spouse.

• Inverse– hasChild is inverse of hasParent

• Inverse-Functional– Links domains and ranges.

The object of a biologicalMotherOf is a women.

• Transitivity– Chianti, Tuscany and Italy are regions, and Chianti is a

subregion of Tuscany, and Tuscany is a subregion of Italy, then Chianti is also a subregion of Italy.

• Symmetric– If Jack is married to Jill, then Jill is married to Jack

Page 8: Publishing and Using Linked Open Data - Day 5

#lod4h

Identity

• owl:sameAsTwo resources are equivalent resources

• owl:differentThantwo resources are different resources

Page 9: Publishing and Using Linked Open Data - Day 5

#lod4h

OWL Reasoners

• Racer• FaCT • HermiT

• Some reasoning examples

Page 10: Publishing and Using Linked Open Data - Day 5

#lod4h

Beyond OWL

• Semantic Web Rule Language (SWRL)http://www.w3.org/Submission/SWRL/

• Based on Horn logic instead of Description Logic

Page 11: Publishing and Using Linked Open Data - Day 5

#lod4h

So what?

• Collection/Item Metadata Relationships research.http://goo.gl/FQldG