There are emerging technologies such as SAWSDL or WSMO that extend the current Web Services technologies to so called Semantic Web Services by combining the structural and semanti...
: Semantic Web Services (SWS) aim at the automated discovery, selection and orchestration of Web services on the basis of comprehensive, machine-interpretable semantic descriptions...
Stefan Dietze, Alessio Gugliotta, John Domingue, M...
Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one descript...
Stefano Ferilli, Teresa Maria Altomare Basile, Nic...
Schema mappings are declarative specifications that describe the relationship between two database schemas. In recent years, there has been an extensive study of schema mappings a...
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...