Sciweavers

1663 search results - page 173 / 333
» Description Logics for Interoperability
Sort
View
SAC
2008
ACM
15 years 4 months ago
Designing semantic web services using conceptual model
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...
Martin Necasky, Jaroslav Pokorný
JWSR
2011
149views more  JWSR 2011»
14 years 11 months ago
Mediation Spaces for Similarity-Based Semantic Web Services Selection
: 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...
AIIA
2007
Springer
15 years 6 months ago
Similarity-Guided Clause Generalization
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...
234
Voted
ICDT
2009
ACM
175views Database» more  ICDT 2009»
16 years 5 months ago
Structural characterizations of schema-mapping languages
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...
Balder ten Cate, Phokion G. Kolaitis
164
Voted
FOIKS
2006
Springer
15 years 8 months ago
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
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...
Ian Horrocks, Andrei Voronkov