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...
Walking is becoming increasingly popular as a leisure activity across Europe. Outdoor equipment has modernized, gained flexibility and lost weight. GPS devices are gaining popular...
In this paper, we attempt to study and investigate ontology development and maintenance frameworks from a domain-centric point of view. By frameworks we mean the structures which ...
The research reported upon in this paper aims at reducing errors in both the requirements engineering and the system specification phase of software development, by means of system...
Though programming languages and programming styles evolve with remarkable speed today, there is no such evolution in the field of program documentation. And although there exist ...