Description Logics are a well-known formalism used in artificial intelligence. We present an approach where a Description Logic is used as an intuitive modelling language. Unlike many other modelling methods, this provides a sound semantic basis for modelling. We indicate that the database implementation is effective and unambiguous, since there is a direct mapping between our formalism and dependencies in the relational model. We also give an example applying the method to the Semantic Web.
展开▼