Describir: Philosophy for Computers: Some Explorations in Philosophical Modeling.