My favorites | Sign in
Project Home Downloads Wiki Issues Source
Search
for
OGMSAxioms  
DL axioms for OGMS core classes
Featured
Updated Jul 18, 2011 by albertgo...@gmail.com

Description logic axioms for OGMS core classes:

TODO: Decide which restrictions are necessary and sufficient and which are just necessary

Core Classes

disease:

'disease course':

  • realizes ONLY disease
  • has_participant SOME organism

disorder:

  • (part_of SOME 'extended organism') OR (contained_in SOME 'extended organism')

extended organism:

  • organism AND (part_of SOME organism) AND (contained_in SOME organism)

diagnosis:

  • TODO: The output of: 'planned process' AND (has_specified_input SOME 'clinical picture') AND (has_specified_output SOME 'diagnostic statement')
  • We need to decide whether to assert what 'diagnosis' is_about?

syndrome:


Sign in to add a comment
Powered by Google Project Hosting