Insomnia, so here’s an example: http://www.paulbrownmagic.com/static/example.owl
Good thing’s about it:
- Derived from a top-ontology (BFO). This helps frame what thing’s are, prevents us from simplifying things and lying to ourselves.
- Run the reasoner and it’ll work! i.e. it infers the requested relationship.
- Pretty well defined terms, especially if you read up on BFO.
- Interesting to review what these terms actually are
Bad things:
- Just 'cos the logic works, doesn’t mean it’s true. This say’s that if Bob believes that Sally believes that he should exercise then he will. My better-half thinks the same about me, doesn’t mean I go and do it! Plus there’s an interesting distinction between the actual occurrence of doing some exercise and the general disposition to exercise, furthermore there’s the probability here too. What you might actually want to say is under these circumstances Bob is more likely to realize his disposition to exercise.
- Built quickly, likely to have philosophical errors, definitely missing some classes and some poorly thought out relationships.
- Built with a human reader friendly version of BFO, not the actual BFO…
- This file will be lost at some point, if you’re reading this in the distant future, sorry it’s gone!