[email protected], 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/
Top Related