1. Dr. Jim Bowring Computer Science Department College of Charleston CSIS 690 (633) May Evening 2009 Semantic Web Principles and Practice Class 7: 3 June 2009

2. Class 7: Roadmap Announcements and Assignments Questions SWWO Chapter 7 Protégé, Pellet, Ice Cream

3. RDFS-Plus Authors propose RDFS-Plus based on industry surveys RDFS plus selected resources from OWL

4. Inverse P owl:hasInverseOf Q. x P y. ==> y Q x.

5. Challenge: Integrating Data How to merge signedTo and borrows given that they don’t share domains and ranges? (vs. checkedOut and borrows) :signedTo owl:inverseOf :signedOut. ==> :signedOut rdfs:subPropertyOf :hasPossession. :borrows rdfs:subPropertyOf :hasPossession.

6. Alternate Union solution :signedTo rdfs:subPropertyOf :possessedBy. :borrows rdfs:subPropertyOf :hasPossession. :possessedBy owl:inversOf :hasPossession. Discussion: In modeling a domain which of these solutions do you choose?

7. Challenge: Use Modeling Language to extend self Using AAA: myOwl:subClassOf owl:inverseOf rdfs:superClassOf

8. Challenge: Symmetry bio:married owl:inverseOf bio:married. OR bio:married rdf:type owl:SymmetricProperty. owl:inverseOf owl:inverseOf owl:inverseOf. OR owl:inverseOf rdf:type owl:SymmetricProperty.

9. Challenge: Transitivity P rdf:type owl:TransitiveProperty. X P Y. Y P Z. ==> X P Z. Parents and Ancestors :hasParent rdfs:subPropertyOf :hasAncestor. :hasAncestor rdf:type owl:TransitiveProperty.

10. Challenge: Managing a Workflow Workflow = network of dependencies Example: recipe for making ice cream, etc. :dependsOn owl:inverseOf :enables. For any step, how do we find the pre- or post- chain of dependencies? :dependsOn rdfs:subPropertyOf :hasPrerequsite. :hasPrerequsite rdf:type owl:TransitiveProperty. :enables rdfs:subPropertyOf :prerequisiteFor. :prerequisiteFor rdf:type owl:TransitiveProperty.

11. Challenge: Managing Workflows :dependsOn rdfs:subPropertyOf :neighborStep. :enables rdfs:subPropertyOf :neighborStep. :neighborStep rdfs:subPropertyOf :inSameRecipe. :inSameRecipe rdf:type owl:TransitiveProperty. AND :hasPrerequisite rdfs:subPropertyOf :otherStep. :prerequisiteFor rdfs:subPropertyOf :otherStep.

12. Challenge: Equivalence X rdfs:subClassOf Y. Y rdfs:subClassOf X. OR X owl:equivalentClass Y. NOTE: owl:equivalentClass rdfs:type owl:SymmetricProperty. owl:equivalentClass rdfs:subPropertyOf rdfs:subClassOf. SAME logic for owl:equivalentProperty

13. Challenge: Equivalent Individuals URI1owl:sameAs URI2. NOTE P rdf:type owl:FunctionalProperty. X P A. X P B. ==> A owl:sameAs B.

14. Challenge: Equivalent Individuals P rdf:type owl:InverseFunctionalProperty A P X. B P X. ==> A owl:sameAs B. How to assert unique identification numbers? :hasIDNo rdfs:domain :Student. :hasIDNo rdfs:range xsd:Integer. :hasIDNo rdf:type owl:FunctionalProperty :hasIDNo rdf:type owl:InverseFunctionalProperty.

15. RDFS-Plus extras owl:DatatypeProperty vs owl:ObjectProperty owl:Class rdfs:subClassOf rdfs:Class.