- Lot of R&D is going on:
- improve the inference algorithms and implementations
- improve scalability
- reasoning with OWL Full
- temporal & spatial reasoning
- fuzzy logic
- better modularization (import part of ontologies)
- procedural attachments
- open world and non-unique-name assumptions; in OWL:
- if something cannot be proven, it might still be true
- two individuals with different names might be identical
- it is o.k. on the Web, but might be a problem for applications
- …
- They usually happen outside of W3C, though
- W3C is not a research entity…