| [Date Prev] [Date Next] [Thread Prev] [Thread Next] | Indexes: Main | Date | Thread | Author |
1) You need an expressive language for ontologies, the more expressive in general
the better (with some qualification about expressive limits and tractability;
Description Logics as a KR thread has tried to find a tractable sub-First Order
Logic that is as close to FOL as you can get).
2) It's useful to have multiple targeted syntaxes, depending on your needs. In
OWL, we have an XML target (because the W3C and we build on XML and RDF/S and
these languages are increasingly popular). I think Common Logic (ISO-KIF?) has
multiple syntaxes too, no?