Rules & Ontologies OWL 2 RL & SWRL Description Logic ... - LPIS
Rules & Ontologies OWL 2 RL & SWRL Description Logic ... - LPIS
Rules & Ontologies OWL 2 RL & SWRL Description Logic ... - LPIS
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Example SW<strong>RL</strong> <strong>Rules</strong>:ReclassificationExample SW<strong>RL</strong> <strong>Rules</strong>:Property Value Assignment4-29Man(?m) → Person(?m)– Possible in <strong>OWL</strong> - subclassOf relation– Some rules are <strong>OWL</strong> syntactic sugarPerson(?m) hasSex(?m,male) → Man(?m)– Possible in <strong>OWL</strong> – hasValue (sufficient) restriction– Not all such reclassifications are possible in <strong>OWL</strong><strong>Rules</strong> & <strong>Ontologies</strong>A Semantic Web Primer, 3rd Edition4-30hasParent(?x, ?y) hasBrother(?y, ?z)→ hasUncle(?x, ?z)– Property chaining– Possible in <strong>OWL</strong> 2 - Not possible in <strong>OWL</strong> 1.0Person(?p) hasSibling(?p,?s) Man(?s)→ hasBrother(?p,?s)– Not possible in <strong>OWL</strong><strong>Rules</strong> & <strong>Ontologies</strong>A Semantic Web Primer, 3rd EditionExample SW<strong>RL</strong> <strong>Rules</strong>:Named IndividualsExample SW<strong>RL</strong> <strong>Rules</strong>:Built-insPerson(Fred) hasSibling(Fred, ?s) Man(?s)→ hasBrother(Fred, ?s)Person(?p) hasAge(?p,?age) swrlb:greaterThan(?age,17)→ Adult(?p)• Built-insins dramatically increase expressivity– most rules are not expressible in <strong>OWL</strong> 1– Some built-ins can be expressed in <strong>OWL</strong> 24-31<strong>Rules</strong> & <strong>Ontologies</strong>A Semantic Web Primer, 3rd Edition4-32<strong>Rules</strong> & <strong>Ontologies</strong>A Semantic Web Primer, 3rd Edition8
Change language