First page Back Continue Last page Overview Graphics
Difficulties with OWL Full
Expressive, but not expressive enough
Inference procedures not well worked out
Semantics are non-traditional
- Some common metamodeling schemes (e.g., UML) are stratified
- Have to reinvent a lot
No complete implementation
- Not clear what strategies are best
Notes: