craigtrim@gmail.comMay, 2013

A conclusion reached on the basis of evidence and reasoning

◦ All men are mortal◦ Socrates is a man◦ Therefore, Socrates is mortal.

Transitive Property Functional Property Inverse Functional Property Symmetric Property Asymmetric Property Reflexive Property Irreflexive Property Property Chains

Inference that two nodes are the same Functional Property Inverse Functional Property

Inference of a relationship between two unrelated nodes Transitive Property Property Chains

Inference of an additional relationship between two related nodes Symmetric Property

Inference of an additional relationship of one node back to itself Reflexive Property

Prevents an Inference Asymmetric Property Irreflexive Property

Windows hasVersion Windows XPWindows XP hasVersion Windows XP

SP2Windows hasVersion Windows XP SP2

Bob Smith hasMother Sara SmithBob Smith hasMother Sally Smythe

Sara Smith owl:sameAs Sally Smythe

Bob Smith hasId 123-45-6789Robert Smythe hasId 123-45-6789

Bob Smith owl:sameAs Robert Smythe

Tim siblingOf JimJim siblingOf Tim

Peter knows JimBobPeter knows Peter

John III hasFather John JRJohn JR hasFather John SRJohn III hasGrandfather John SR

power on hasSynonym turn onturn on hasSynonym switch onpower on hasSynonym switch onswitch on hasSynonym turn onswitch on hasSynonym power onturn on hasSynonym power on

Gordon Jr isRelated Gordon SrGordon Sr isRelated HaroldGordon Jr isRelated Gordon JrGordon Jr isRelated HaroldHarold isRelated Gordon SrHardold isRelated Gordon JrHarold isRelated HaroldGordon Sr isRelated Gordon SrGordon Sr isRelated Gordon Jr

If A is part of B and B is part of C, then A is part of C

A is part of A

if A is part of B and A != B then B is not part of A

1. OWL 2.0 Primer. 11 Dec 2012. W3C. http://www.w3.org/TR/owl2-primer/

2. Allemang, Dean; Hender, James. Semantic Web for the Working Ontologist, 2nd Edition. Elsevier, 2011. Book.

3. OWL 2 Web Ontology Language RDF-Based Semantics (Second Edition). 11 Dec 2012. W3C.http://www.w3.org/TR/owl-rdf-based-semantics

4. AsymmetricProperty. 29 April 2009. semanticweb.org.http://owl.semanticweb.org/page/New-Feature-AsymmetricProperty-001-RDFXML

5. Rector, Alan; Welty, Chris. Simple part-whole relations in OWL Ontologies. 11 Aug 2005. W3C.http://www.w3.org/2001/sw/BestPractices/OEP/SimplePartWhole/