What is an Ontology?

Ontologies in CS
- We philosophers weep!
- Shared formalization of a conceptualization
- A logical theory encoded as input to an automated reasoner (or other program
Thus, an ontology (typically)
- is a collection of axioms (and other assertions)
- is connected with human intentions and understanding
- is connected to program behavior
So, the ontology language should be
- For people (epistemically adequate)
- For programs (sensibly computable)

Ontologies in CS