inference using owl 2.0 semantics
DESCRIPTION
The purpose of properties is to enable inference. For all the explicit information that has been modeled, what information can be implied? RDFS provides a very limited set of inference capabilities. The Web Ontology Language (OWL) provides more elaborate constraints on how information can be specified. A subset of these constraints are discussed in this presentation.TRANSCRIPT
![Page 1: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/1.jpg)
[email protected], 2013
![Page 2: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/2.jpg)
A conclusion reached on the basis of evidence and reasoning
◦ All men are mortal◦ Socrates is a man◦ Therefore, Socrates is mortal.
![Page 3: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/3.jpg)
Transitive Property Functional Property Inverse Functional Property Symmetric Property Asymmetric Property Reflexive Property Irreflexive Property Property Chains
![Page 4: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/4.jpg)
Inference that two nodes are the same Functional Property Inverse Functional Property
![Page 5: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/5.jpg)
Inference of a relationship between two unrelated nodes Transitive Property Property Chains
![Page 6: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/6.jpg)
Inference of an additional relationship between two related nodes Symmetric Property
![Page 7: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/7.jpg)
Inference of an additional relationship of one node back to itself Reflexive Property
![Page 8: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/8.jpg)
Prevents an Inference Asymmetric Property Irreflexive Property
![Page 9: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/9.jpg)
Windows hasVersion Windows XPWindows XP hasVersion Windows XP
SP2Windows hasVersion Windows XP SP2
![Page 10: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/10.jpg)
Bob Smith hasMother Sara SmithBob Smith hasMother Sally Smythe
Sara Smith owl:sameAs Sally Smythe
![Page 11: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/11.jpg)
Bob Smith hasId 123-45-6789Robert Smythe hasId 123-45-6789
Bob Smith owl:sameAs Robert Smythe
![Page 12: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/12.jpg)
Tim siblingOf JimJim siblingOf Tim
![Page 13: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/13.jpg)
![Page 14: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/14.jpg)
Peter knows JimBobPeter knows Peter
![Page 15: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/15.jpg)
![Page 16: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/16.jpg)
John III hasFather John JRJohn JR hasFather John SRJohn III hasGrandfather John SR
![Page 17: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/17.jpg)
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
![Page 18: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/18.jpg)
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
![Page 19: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/19.jpg)
If A is part of B and B is part of C, then A is part of C
![Page 20: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/20.jpg)
A is part of A
![Page 21: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/21.jpg)
if A is part of B and A != B then B is not part of A
![Page 22: Inference using owl 2.0 semantics](https://reader035.vdocuments.site/reader035/viewer/2022062510/5495f5dfb47959654d8b4e89/html5/thumbnails/22.jpg)
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/