Giters

opencaesar / owl-adapter

The OML adapter for OWL

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

minor code cleanup

StevenJenkinsJPL opened this issue · comments

commented

Two minor tweaks:

  1. Transitive reduction should occur before root at universal in bundle closure. Rooting at universal preserves reduction; in principle it's simpler this way.
  2. Code for OWL Class Expression of a Difference duplicated code from Intersection. It's cleaner to convert to Intersection first and then convert.
commented

Fixed in 148720ab6ec24ccdb1c276782cc036fcb2a183f3.