2004 · 25 citations · 18 references
ComputingComputer ScienceFormal MethodsKnowledge RepresentationLogicFormal OntologyFormal SemanticsKnowledge Base DesignOntology DesignOntology EngineeringPredicate LogicHorn Clause LogicOntological AnalysisOntologiesOntology FormalizationOntology Reasoning
C106T polymorphism increased the risk to develop retinopathy in Jordanian Type 2 diabetic patients. T allele of <i>ALR2</i> was associated with DR. The severity of DR did not show an association with this polymorphism.
18
Logical foundations of object-oriented and frame-based languages
Michael Kifer, Georg Lausen, James C. Wu · Journal of the ACM · 1995 · 1.5K citations · Full text
Computing, Computer Science, Logic +14
A Taxonomy of Part‐Whole Relations
Morton Winston, Roger Chaffin, Douglas J. Herrmann · Cognitive Science · 1987 · 876 citations
A more expressive formulation of many sorted logic
AnthonyG. Cohn · Journal of Automated Reasoning · 1987 · 112 citations