Preserving modularity in XML encoding of description logics
Abstract
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.
Origin : Files produced by the author(s)
Loading...