COROR: A COmposable Rule-entailment Owl ... - Defeasible Logic
COROR: A COmposable Rule-entailment Owl ... - Defeasible Logic
COROR: A COmposable Rule-entailment Owl ... - Defeasible Logic
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
An example<br />
(?v owl:someValuesFrom ?w), (?v owl:onProperty ?p), (?u ?p ?x), (?x rdf:type ?w) (?u rdf:type ?v)<br />
Fact base<br />
Facts<br />
Alpha network<br />
v someValuesFrom w v onProperty p x type w u p x<br />
v = v<br />
Beta network<br />
w = w<br />
x = x<br />
p = p<br />
Fire