Most modern organizations have implemented intranets for communication within the organization itself. Recently drastic changes have occurred on the supply side of the technology ...
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...