Preserving modularity in XML encoding of description logics
Résumé
Description logics have been designed and studied in a modular way. This has allowed a methodic approach to complexity evaluation. We present a way to preserve this modularity in encoding description logics in XML and show how it can be used for building modular transformations and assembling them easily.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...