Vocabulary Documentation

Part of Semantic Web Tutorial

These slides: http://www.w3.org/2003/Talks/0520-www-tf1-b2-vocdoc/

Documenting Classes and Properties

• consider http://www.w3.org/2000/10/swap/test/demo1/biology#Dog
  • Would a wolf qualify as a one of these?
  • How about a Dingo?
• publish a document which declares your intended meaning
• allows software to...
  • make conclusions using related terms
  • check for some kinds of errors
  • dynamically update to use and recognize new URIs

Standard Terms

• RDF Vocabulary Description Language 1.0: RDF Schema: rdfs:subClassOf, rdfs:label, ...
• OWL Web Ontology Language: owl:FunctionalProperty etc.
• OWL Guide Appendix lists all 50

Informal Documentation

• rdfs:comment -- unstructured documentation
• rdfs:label easier-to-read name
• rdfs:seeAlso -- untyped links.

:CanisFamiliaris 
  rdfs:comment """The class of animals designated 
               Canis familiaris (domestic dog).  This
               includes all the dog breeds, but
               not wolves.""";
  rdfs:label "Canis familiaris";
  rdfs:seeAlso <http://www.agrobiologicals.com/glossary/G3089.htm>.

Synonyms

• two URIs mean the same thing:

  :Pat owl:sameAs :Patrick.

• everything true of :Pat was also true of :Patrick and everything true of :Patrick was true of :Pat.
• This is what N3 means with "="

Class equivalence

• same class membership:

  :Dog owl:equivalentClass :CanisFamiliaris.

• identical thing; membership as well as rdfs:label and other properties:

  :Dog owl:sameAs :CanisFamiliaris.

Cardinality: many-to-one

• many to one: owl:FunctionalProperty; e.g.

  :mother a owl:FunctionalProperty.

• used to infer sameness:
  • if...

    :sam :mother :jackie.
    :sam :mother :jacqueline.

  • ... then

    :jackie = :jacqueline.

Cardinality: one-to-many

• if...

  contact:mailbox a owl:InverseFunctionalProperty.
  :jacqueline contact:mailbox <mailto:j@example.org>.
  :jackie contact:mailbox <mailto:j@example.org>.

• ... then

  :jackie = :jacqueline.

Different and Disjoint

• maybe :jackie and :jacqueline are different people; what we said about :sam was a mistake
• we can say they're different:

  :jackie owl:differentFrom :jacqueline.

• OWL consistency checkers can find this inconsistency

Class Hierarchies

:Man s:subclassOf :Human .
:YoungMan s:subclassOf :Man .

:CanisFamiliarisDingo 
  owl:subClassOf :CanisFamiliaris;   # Dingos are Dogs!
  rdfs:seeAlso
   <http://www.naturalworlds.org/wolf/canis/Canis_familiaris_dingo.htm>.

:CanisRufus a owl:Class;
  owl:subClassOf :Canis;
  owl:disjointFrom :CanisFamiliaris;     # Wolves are not Dogs!
  rdfs:label "Red Wolf";
  rdfs:comment """As of 1999 there were about 300 individuals 
               of this endangered species""";
  rdfs:seeAlso <http://druidry.org/obod/endangered/redwolf.html>.

Domain, Range

:father s:domain :Human; s:range :Man.
:Sara :father :Alan.
______________________________________
:Sara a :Human.  :Alan a :Man.