search

linikujp / owltools

Automatically exported from code.google.com/p/owltools
0 stars 0 forks source link

Oort: bad smell check: inferred A SubClassOf B when there is an asserted A SubClassOf R some B #62

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
WHERE
   ASSERTED A SubClassOf R some B
    and
   INFERRED A SubClassOf B
Either issue a warning, or add extra info the the "NEW INFERRED" line in the 
reasoner report

E.g.

NEW INFERRED A SubClassOf B [warning: A SubClassOf R some B asserted]

Original issue reported on code.google.com by cmung...@gmail.com on 15 May 2013 at 4:30

GoogleCodeExporter commented 9 years ago 
Implemented a method and added it to OORT and assert-inferences, see r1280 for 
details.

Original comment by HDie...@lbl.gov on 15 May 2013 at 9:07