CSE 428 Semantic Web Topics OWL Jeff Heflin Lehigh University

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

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

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

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

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

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

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

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

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

Complement Man is every Person who is not a Woman.

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

Ontology Versioning

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.

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