A representation of concept definitions that is logically derived by applying a description logic classifier to the stated view.
- Different inferred views can be derived from the same stated view by applying different rules that selectively exclude some types of assertions.
- Different inferred views may be semantically equivalent to one another provided that assertions are only excluded if they are redundant (i.e. can be inferred from assertions that are included). However, in some cases, an inferred view may not completely represent the concept definition but may serve a specific purpose.