Events

As an expressive knowledge representation language for the Semantic Web, the Web Ontology Language (OWL) plays an important role in areas like science and commerce. However, the problem of maintaining integrity constraints arises because OWL employs the open world assumption (OWA) as well as the non-unique name assumption (NUNA). Integrity constraints (ICs) on ontologies have to be enforced; otherwise, conflicting results would be derivable from the same knowledge base.