LoaWiki:MixedDomains

From LoaWiki

An example of an anti-pattern: mixed domains create intersections potentially generating inconsistencies. In the following examples, several varieties of this anti-pattern are presented.

In this example, a super-simple ontology contains a relation with a domain defined on two classes (A and B) that are disjoint, so that it causes inconsistency. Changing the domain to (A or B) resolves the problem.

http://www.loa-cnr.it/ontologies/Antip/incodomains.owl

In this example, an ontology derived from a MOF (Level 2) schema has collected property domains in a way that causes inconsistency if two classes included in the domain intersection are declared disjoint:

http://www.loa-cnr.it/ontologies/Antip/owl11_inco.owl

In this example, a similar situation appears because a universal restriction violates a range by restricting on a disjoint class. Enlarging the domain with a union axiom resolves the problem.

http://www.loa-cnr.it/ontologies/Antip/incorestriction.owl

In this example, a similar situation appears because an assertion violates a range by asserting the property on an individual from a disjoint class. Enlarging the domain with a union axiom resolves the problem.

http://www.loa-cnr.it/ontologies/Antip/incofact.owl