OXDBS: extension of a native XML database system with validation by consistency checking of OWL-DL ontologies

Native XML database systems provide mature technology for persisting XML data and documents. Ontologies are often represented as XML-based documents like OWL-DL ontologies which allow for semantic consistency checking by formal description logic. Artificial intelligence provides reasoners as IT-support for consistency checking. Currently there exists no native XML database system which integrates logic reasoning for semantic consistency as addition to syntactic schema validation. The OXDBS project integrates a reasoner into a native XML database system, thus, allowing to assert consistency of ontological data at the most basic tier in an application environment.