Με βάση τα προηγμένα δομικά στοιχεία της OWL, μπορεί ένα μοντέλο να ορίσει μια ασυνέπεια—δηλαδή το μοντέλο να είναι λογικά ασυνεπές.
