Zobrazeno 1 - 7
of 7
pro vyhledávání: '"W. Marco Schorlemmer"'
Publikováno v:
Digital.CSIC. Repositorio Institucional del CSIC
instname
instname
This paper is a contribution to the formalisation of Thagard's coherence theory. The term 'coherence' is defined as the quality or the state of cohering, especially a logical, orderly, and aesthetically consistent relationship of parts. A coherent se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e3606292947d632837b78b06052e6124
https://doi.org/10.1093/jigpal/jzp074
https://doi.org/10.1093/jigpal/jzp074
Publikováno v:
Digital.CSIC. Repositorio Institucional del CSIC
instname
instname
Ontology alignment foundations are hard to find in the literature. The abstract nature of the topic and the diverse means of practice make it difficult to capture it in a universal formal foundation. We argue that such a lack of formality hinders fur
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::86ba28e964037f4efb1a1cbeb5cf3411
https://doi.org/10.4018/jswis.2007040103
https://doi.org/10.4018/jswis.2007040103
Autor:
Oliver Kutz, Roberto Confalonieri, W. Marco Schorlemmer, Manfred Eppe, Ewen Maclean, Enric Plaza
Publikováno v:
Logic Programming and Nonmonotonic Reasoning ISBN: 9783319232638
LPNMR
LPNMR
We present a framework for conceptual blending – a concept invention method that is advocated in cognitive science as a fundamental, and uniquely human engine for creative thinking. Herein, we employ the search capabilities of ASP to find commonali
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d3eea9383bce143b5f32dd9fb54b6d75
https://doi.org/10.1007/978-3-319-23264-5_26
https://doi.org/10.1007/978-3-319-23264-5_26
Autor:
W. Marco Schorlemmer, Yannis Kalfoglou
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540219996
ESWS
ESWS
We discuss approaches to semantic heterogeneity and propose a formalisation of semantic interoperability based on the Barwise-Seligman theory of information flow. We argue for a theoretical framework that favours the analysis and implementation of se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9e71acfde93e8544529c1feb85f6354f
https://doi.org/10.1007/978-3-540-25956-5_4
https://doi.org/10.1007/978-3-540-25956-5_4
Autor:
Yannis Kalfoglou, W. Marco Schorlemmer
Publikováno v:
On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE ISBN: 9783540001065
CoopIS/DOA/ODBASE
CoopIS/DOA/ODBASE
As ontologies become ever more important for semanticallyrich information exchange and a crucial element for supporting knowledge sharing in a large distributed environment, like the Web, the demand for sharing them increases accordingly. One way of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2e200d2a2e0b32a62c27fa8801167498
https://doi.org/10.1007/3-540-36124-3_72
https://doi.org/10.1007/3-540-36124-3_72
Publikováno v:
Flexible Query Answering Systems ISBN: 9783540650829
FQAS
FQAS
In previous work we presented a diagrammatic syntax for logic programming which clearly ‘resembles’ the semantics of predicates as relations, i.e. sets of tuples in the Universe of Discourse. This paper shows diagrams as an alternative formal not
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d98d6ffbf0ff1826317f2c56bbf6a9c7
https://doi.org/10.1007/bfb0055988
https://doi.org/10.1007/bfb0055988
Autor:
W. Marco Schorlemmer
Publikováno v:
Algebraic Methodology and Software Technology ISBN: 9783540654629
AMAST
AMAST
Although there exist logics that extend the expressiveness of order-sorted equational logic using additional binary relations besides equality in their logical theories, standard equational rewriting is still the foundation of their operational seman
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9b2ddfa8d25f86f1af10e285779fe70c
https://doi.org/10.1007/3-540-49253-4_15
https://doi.org/10.1007/3-540-49253-4_15