1. CSE 428 Semantic Web Topics OWL Jeff Heflin Lehigh University

2. Ontology Header ]> My Ontology An example ontology...

3. Equality/Inequality Two URIs refer to distinct individuals Two URIs refer to the same individual.

4. … Sets of Distinct Individuals The URIs #Bob, #Sue and #Mary all refer to distinct individuals.

5. All Values From A Band is a subclass of the set of entities which only have members that are Musicians

6. Some Values From Every Band has at least one member who is a Singer

7. Has Value A Guitarist is a subclass of the set of entities which play at least one instrument that is a Guitar.

8. 1 Minimum Cardinality Parent is exactly the set of entities which have at least one child.

9. Intersection and Union A Father is exactly a Parent who is also Male. Every Person is either Male or Female.

10. Containers 10 #Parent #Male rdf:nil rdf:List #Father owl:intersectionOf rdf:type rdf:first rdf:rest rdf:type

11. Complement Man is every Person who is not a Woman.

12. Enumerated Classes PrimaryColor has exactly three instances: Red, Blue and Yellow.

13. Ontology Versioning

14. OWL 2: Property Chains The hasGrandparent property is exactly the composition of the hasParent property with itself. In other words, someone’s grandparent is the parent of their parent.

15. OWL 2: Negative Assertions States the triple #heflin foaf:knows #obama is false