User contributions
From phenoscape
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 19:38, 29 January 2009 (diff | hist) . . (+584) . . Novel reasoning strategies
- 19:10, 29 January 2009 (diff | hist) . . (+14) . . OBD Reasoner (→Novel inference procedures)
- 19:10, 29 January 2009 (diff | hist) . . (-2) . . Novel reasoning strategies
- 19:10, 29 January 2009 (diff | hist) . . (-17) . . OBD Reasoner (→The Mabee rule or the problem with absence of features)
- 19:09, 29 January 2009 (diff | hist) . . (+195) . . OBD Reasoner
- 19:02, 29 January 2009 (diff | hist) . . (+2,875) . . N Novel reasoning strategies (New page: Potential strategies to implement novel inference procedures introduced in the OBD Reasoner page. These comprise: the Balhoff ru...)
- 18:56, 29 January 2009 (diff | hist) . . (+155) . . OBD Reasoner (→The problem with absence of features)
- 16:25, 29 January 2009 (diff | hist) . . (-870) . . OBD Reasoner (→The Balhoff rule)
- 16:23, 29 January 2009 (diff | hist) . . (+14) . . OBD Reasoner (→The Balhoff rule)
- 22:09, 28 January 2009 (diff | hist) . . (-129) . . Queries to be implemented in the future (→Query)
- 20:36, 28 January 2009 (diff | hist) . . (+84) . . Queries (→Performance documentation plans)
- 20:35, 28 January 2009 (diff | hist) . . (+20) . . Queries (→Anatomical Entity Services)
- 20:28, 28 January 2009 (diff | hist) . . (-75) . . Queries (→Summary)
- 20:26, 28 January 2009 (diff | hist) . . (+476) . . Queries (→Performance documentation plans)
- 20:22, 28 January 2009 (diff | hist) . . (+20) . . Queries (→Performance documentation plans)
- 20:21, 28 January 2009 (diff | hist) . . (+551) . . Queries (→Performance documentation plans)
- 20:15, 28 January 2009 (diff | hist) . . (-10,342) . . Queries to be implemented in the future
- 20:12, 28 January 2009 (diff | hist) . . (-1) . . Queries for Phenoscape UI demo'ed at SICB, Boston in Jan 2009 (→Query details) (current)
- 20:11, 28 January 2009 (diff | hist) . . (+24) . . Queries for Phenoscape UI demo'ed at SICB, Boston in Jan 2009 (→Query details)
- 20:11, 28 January 2009 (diff | hist) . . (+18) . . Queries for Phenoscape UI demo'ed at SICB, Boston in Jan 2009 (→Query details)
- 20:09, 28 January 2009 (diff | hist) . . (-32) . . Queries for Phenoscape UI demo'ed at SICB, Boston in Jan 2009
- 20:07, 28 January 2009 (diff | hist) . . (-3,738) . . Queries for Phenoscape UI demo'ed at SICB, Boston in Jan 2009 (→Summary)
- 20:07, 28 January 2009 (diff | hist) . . (0) . . Queries (→Querying strategy for the SICB prototype)
- 20:06, 28 January 2009 (diff | hist) . . (-1,555) . . Queries to be implemented in the future (→Summary)
- 20:06, 28 January 2009 (diff | hist) . . (+225) . . Queries (→Proposed querying strategy for the ASIH prototype)
- 20:03, 28 January 2009 (diff | hist) . . (+1,286) . . Queries (→Querying strategies for the ASIH prototype)
- 19:45, 28 January 2009 (diff | hist) . . (+2,334) . . Queries (→Anatomical Entity Services)
- 19:41, 28 January 2009 (diff | hist) . . (+1,749) . . Queries (→Anatomical Entity Services)
- 04:19, 28 January 2009 (diff | hist) . . (-814) . . OBD Reasoner
- 04:17, 28 January 2009 (diff | hist) . . (-23) . . OBD Reasoner (→A brief discussion on the pros and cons of existential and universal quantification)
- 02:15, 28 January 2009 (diff | hist) . . (+744) . . OBD Reasoner (→A brief discussion on the pros and cons of existential and universal quantification)
- 02:06, 28 January 2009 (diff | hist) . . (+21) . . OBD Reasoner (→Upside down A's (<math>\forall</math>) and double arrows (<math>\Rightarrow</math>) translated)
- 02:05, 28 January 2009 (diff | hist) . . (+72) . . OBD Reasoner
- 02:02, 28 January 2009 (diff | hist) . . (-353) . . OBD Reasoner (→Upside down A's (<math>\forall</math>) and double arrows (<math>\Rightarrow</math>) translated)
- 01:58, 28 January 2009 (diff | hist) . . (+353) . . OBD Reasoner (→Upside down A's (<math>\forall</math>) and double arrows (<math>\Rightarrow</math>) translated)
- 01:55, 28 January 2009 (diff | hist) . . (+491) . . OBD Reasoner (→Notation)
- 01:38, 28 January 2009 (diff | hist) . . (+43) . . OBD Reasoner (→Upside down A's (<math>\forall</math>) and double arrows (<math>\Rightarrow</math>) translated)
- 20:04, 22 January 2009 (diff | hist) . . (+54) . . WG:PhenoScape monthly conference call (→Jan. 22, 2009 (2:00 pm Eastern time))
- 19:47, 22 January 2009 (diff | hist) . . (+4) . . OBD Reasoner (→''is_a'' Relation Reflexivity)
- 17:49, 22 January 2009 (diff | hist) . . (-1) . . OBD Reasoner (→Upside down A's (<math>\forall</math>) and double arrows (<math>\Rightarrow</math>) translated)
- 17:47, 22 January 2009 (diff | hist) . . (+19) . . OBD Reasoner (→Upside down A's (<math>\forall</math>) and double arrows (<math>\Rightarrow</math>) translated)
- 17:46, 22 January 2009 (diff | hist) . . (+2) . . OBD Reasoner (→Upside down A's (<math>\forall</math>) and double arrows (<math>\Rightarrow</math>) translated)
- 17:46, 22 January 2009 (diff | hist) . . (+25) . . OBD Reasoner (→Upside down A's (<math>\forall</math>) and double arrows (<math>\Rightarrow</math>) translated)
- 17:45, 22 January 2009 (diff | hist) . . (-1) . . OBD Reasoner (→Upside down A's (<math>\forall</math>) and double arrows (<math>\Rightarrow</math>) translated)
- 17:45, 22 January 2009 (diff | hist) . . (+489) . . OBD Reasoner (→Upside down A's (<math>\forall</math>) and double arrows (<math>\Rightarrow</math>) translated)
- 17:36, 22 January 2009 (diff | hist) . . (-21) . . OBD Reasoner (→Upside down A's (<math>\forall</math>) and double arrows (<math>\Rightarrow</math>) translated)
- 16:59, 22 January 2009 (diff | hist) . . (-116) . . OBD Reasoner (→Upside down A's (<math>\forall</math>), wrong sided E's (<math>\forsome</math>), and double arrows (<math>\Rightarrow</math>) translated)
- 16:57, 22 January 2009 (diff | hist) . . (+3) . . OBD Reasoner (→Upside down A's (<math>\forall</math>), wrong sided E's (<math>\some</math>), and double arrows (<math>\Rightarrow</math>) translated)
- 16:57, 22 January 2009 (diff | hist) . . (-5) . . OBD Reasoner (→Upside down A's (<math>\forall</math>), wrong sided E's (<math>\atleast</math>), and double arrows (<math>\Rightarrow</math>) translated)
- 16:56, 22 January 2009 (diff | hist) . . (+1,635) . . OBD Reasoner
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
