Rule Extraction in Combining Description Logics with DL-safe Rules
Zhagn Ku · 2005
Although the ontology languages like OWL include a relatively rich set of class constructors, it provides much weaker constructors for roles. One way to overcome this expressive limitation of OWL would be to extend it with rules. Motik presented a decidable combination of SHIQ(D)with rules, where decidability is due to restricting the rules to so-called DL-safe ones. In the paper, an approach for extracting new DL-safe rules is proposed. The approach makes use of the disjunctive constructor in SHIQ(D)to satisfy some kinds of rules with disjunction in their antecedents. And the new rules are DL-safe ones too.