search

sarabjotanand / owltools

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

redundancy checking for relationships #22

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Oort removes redundant SubClass axioms between named classes - good.

We also want to remove other redundant axioms the primary example being 
subclass of somevaluesfrom over transitive properties. This is best illustrated 
in obo - the marked line should be removed.

Not trivial to do this using an OWL reasoner as these are not named classes. 
Best implemented via OWLGraphWrapper?

--//--

ontology: test

[Term]
id: X:1
relationship: part_of X:2
relationship: part_of X:3 ! this is redundant

[Term]
id: X:2
relationship: part_of X:3

[Term]
id: X:3

[Typedef]
id: part_of
is_transitive: true

Original issue reported on code.google.com by cmung...@gmail.com on 2 Dec 2011 at 8:50