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
[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/