methylation-specific polymerase chain reaction unsatisfiable when continuant disjoint from occurrent is added as an axiom

obi-ontology / obi

The Ontology for Biomedical Investigations

http://obi-ontology.org

Creative Commons Attribution 4.0 International

74 stars 24 forks source link

methylation-specific polymerase chain reaction unsatisfiable when continuant disjoint from occurrent is added as an axiom #718

Open obi-bot opened 9 years ago

obi-bot commented 9 years ago

The offending part of the axiom is: (has_specified_input some 'binding complex 3D structure determination assay')

The problem is that 'binding complex 3D structure determination assay' is a process but the range of has_specified_input is continuant.

Reported by: alanruttenberg

Original Ticket: obi/obi-terms/734

obi-bot commented 9 years ago

status: open --> accepted
assigned_to: Philippe Rocca-Serra

Original comment by: jamesaoverton

obi-bot commented 9 years ago

This was discussed on the 2015-01-26 call. We agreed with Alan that the has_specified _input axiom must be wrong. It's not clear what material was intended to be the input.

We're assigning it to Philippe, as the term editor.

Original comment by: jamesaoverton