1663 search results - page 27 / 333 » Description Logics for Interoperability |
120
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
The aim of this paper is to show how we can handle the Recognising Textual Entailment (RTE) task by using Description Logics (DLs). To do this, we propose a representation of natur...
134
click to vote
IFIP
2000
Springer
15 years 5 months ago
2000
Springer
We are developing scientific software component technology to manage the complexity of modern, parallel simulation software and increase the interoperability and re-use of scientif...
120
click to vote
ICEIS
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
90
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
100
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem be...